Universal markup converter

A Dependently Typed Functional Programming Language

Cryptol: The Language of Cryptography

Command-line benchmark tool

Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations

My xmonad config for Ubuntu versions from 20.04 all the way back to 12.04! Including package list, config files, and instructions.

Python backend for Idris (generates Python source, not bytecode).

Experimental Malfunction backend for Idris

Cryptography that's easy to digest (NaCl/libsodium bindings)

Examples of a simple parser written in both Parsec and Happy/Alex

Resurrecting Lennart Augustsson's implementation of Cayenne

Idris to Serpent back end for Ethereum smart contracts

OCaml back end for Idris

Mary is the successor of Marx, a content delivery and assessment engine based on markdown and git

Low level Haskell bindings to Minion