Repos
52
Stars
625
Forks
58
Top Language
Haskell
Loading contributions...
Top Repositories
Code challenges to solve with Haskell
A Haskell blog
A tutorial on how Agda infers things
Observational Type Theory as an Agda library
A library for doing generic programming in Agda
Dependently typed Algorithm M and friends
Repositories
52Observational Type Theory as an Agda library
Code challenges to solve with Haskell
A tutorial on how Agda infers things
A Haskell blog
A library for doing generic programming in Agda
A dependently typed type checker for a TT with intervals
Dependently typed Algorithm M and friends
Some basic category theory
Automatic testing of Haskell programs.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
Experiments with effect systems
Agda is a dependently typed programming language / interactive theorem prover.
No description provided.
A toy supercompiler for STLC with numbers and lists
A tiny tool that takes output of `htmlize` and turns it into a markdown text consumable by `pandoc`
No description provided.
An automated TAGS generator for emacs for easier traversal of haskell code
Composable monadic short-circuiting streaming folds
No description provided.
No description provided.
A command for Emacs to regress or "undo" a region back through its Git history
NixOps deployment configuration library for IOHK devops
No description provided.
No description provided.
Principled and efficient binary serialization