Hide content and notifications from this user.
Contact Support about this user's behavior.
Learn you an Agda (and achieve enlightenment)
Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.
A small tetris clone in Rust
my hakyll-powered website
Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll
Composition trees for arbitrary monoids.
A library for patches (diffs) on vectors: composable, mergeable and invertible
Link to preprints for ICFP'16 and co-located events
Model Examples, Example Models
Agda is a dependently typed programming language / interactive theorem prover.
High level, generic library for interrogative user interfaces in Haskell
A wiki based on firm theoretical foundations
The Agda standard library
"Stable Hackage," tools for creating a vetted set of packages from Hackage.
Utilities for memoizing haskell functions
Small, decidable sets in Agda, with nice equational reasoning.
Agda library for structurally-typed records.
A little agda layer for spacemacs
An 8-hour project, writing an interactive untyped lambda calculus interpreter/rewriter in elm.
An intensely interactive, graphical theorem prover based on natural deduction
A book based on course notes written over the years for a UNSW PL course
Well-typed, minimalist web-framework for GHC Haskell
A beginner's theorem prover
Formalisation of The GHC Team's OutsideIn(X) in Agda.
operational transforms based collaborative editing server written all in literate haskell
composable monadic random value generators
2d game creation library for Haskell
Haskell port of the SFont Library