Beast code in Giters

G. Allais's repositories

Formalizing nbe in agda

Total Logic-Less Templating Library

Language:IdrisGPL-3.012 3 3

A self-contained repo for the ILLWiL paper

Language:Agda600

An emacs mode for MiniAgda

Language:Emacs Lisp3 40

Implementation of Sparse Matrices in Ocaml using Batteries

Language:OCaml200

A Generic Treatment of Syntaxes with Binding in Haskell

Language:HaskellGPL-3.0200

An excuse to have a bit of fun with the Haskell X11 bindings

Language:HaskellGPL-2.0100

Language:Haskell100

Solutions to problems found on /r/dailyprogrammer

Language:HaskellMIT100

Unofficial set of LaTeX classes, styles, and knick-knacks aimed at use within the University of St Andrews.

100

Arithmetic on unsigned integers, in Haskell

Language:HaskellMIT100

A TextMate bundle for the Agda language

NOASSERTION000

Playing with advanced Data Types in Agda

Language:Agda000

A Haskell-based manager for delicious recipes

Language:HaskellGPL-3.0000

Simplified Observational Type Theory

Language:OCaml000

Language:Agda000