Comparative Artifact Performance Evaluation

Cardano end-to-end testing framework for Haskell APIs

The Plutus language implementation and tools

Haskell to C compiler via Categorifier

Interpret Haskell programs into any cartesian closed category.

Nat, Fin, Vec

A command line tool that leverages GHC API for generation of etags (Emacs) and ctags (Vim, VSCode with ctagsx etc.) for efficient code navigation (jump to definition).

GitHub Action: Run hlint

Refactor Haskell source files

Haskell-C++ Foreign Function Interface Generator

Agda is a dependently typed programming language / interactive theorem prover.

Haskell source code suggestions

Min-max priority queue, also known as double-ended priority queue.

Resources for learning and using recursion schemes.

Nix and Haskell in production

Haskell solutions to ACM-ICPC problems

experiment with distributed-closure

Wailing into the primordial ooze of category theory

apply merkle-type hash annotations to arbitrary recursive data structures as defined using recursion schemes

A few variants of multimaps.

Extra Haskell functions

Repo for counting stars and contributing. Press F to pay respect to glorious developers.

Tasty meal of Dhall

Yet another … yet another recursion scheme library for Haskell

Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.

Lightweight, modular, and extensible library for functional programming.

Elegant theme for Jekyll.