Parsing, analyzing, and comparing source code across many languages

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

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

💥💻💥 A data-parallel functional programming language

Haskell to VHDL/Verilog/SystemVerilog compiler

🕵️ Haskell STatic ANalyser

A powerful but simple library for measuring the performance of Haskell code.

An interpreter for learning and exploring pure λ-calculus

A domain-specific language for state machines.

a functional programming language with algebraic effects and handlers

The theory of groups

Comparing Haskell effect systems for ergonomics and speed

A simple set of io-uring bindings in Haskell

Minimise haskell imports, make exports explicit