Stars
A collection of type-based library search algorithms
Demo for high-performance type theory elaboration
Haskell library for (left, right) zero monoids and backtracking with cut
Functional choreographic programming in Haskell
Using Haskell's type system to guarantee commutativity.
Go get tested! Github Actions matrix generator for your haskell projects' CI
Library of categories, with categorical constructions on them
Existential witnesses, singletons, and classes for operations on GHC TypeLits
Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
Set up a GHC API session for various Haskell Projects
A community-driven collection of documentation for Haskell error messages and warnings
A project to share on artificial life(Alife in short). It is essentially cellular automata but you could find also L-systems, swarm intelligence, physic simulations, etc.
An axiom-free formalization of category theory in Coq for personal study and practical work
GHC Whole Program Compiler and External STG IR tooling
An easy to use, cross platform, GUI library for writing Haskell applications.