Convert your ascii diagram scribbles into happy little SVG

a structural diff that understands syntax 🟥🟩

Hash-based Diffing for AST's

A re-implementation of weeder using HIE files

A Haskell project template that uses Nix and comes with cabal-install, ghcid, ormolu, haskell-language-server and more.

Fast and easy notes taking oriented markup language.

Language agnostic project bootstraper

Browse Hackage from the terminal

Like grep, but uses tree-sitter grammars to search

Your AI powered musical pokedex, Plex for music

A tree-sitter based AST difftool to get meaningful semantic diffs

Find broken links in text documents

Animations of lambda term reduction sequences

Diffing of (expression) trees.

Simple software to manage a tree of projects

😎 The open-source, Haskell-built video editor for GIF makers.

a small .pdf management tool with a command-line UI

Trustix: Distributed trust and reproducibility tracking for binary caches [maintainer=@adisbladis]

👮 Haskell PVP adviser

A modern commutative diagram editor for the web.

Python library for quantum circuit rewriting and optimisation using the ZX-calculus

IDE support for the functional logic programming language Curry

Manage your NixOS packages and configuration via a simple, intuitive UI

An automatic declarative ASCIInema recorder

This repo is the new home of Proof General

A graphical interactive proof assistant designed for education

A package Index for agda libraries

apkg - package manager for Agda

Fragment-based code distribution!

Language server implementation for neuron