Collection of Idris tests and demonstration programs

Bamboo see https://github.com/cornellblockchain/bamboo

A Lem formalization of EVM and some Isabelle/HOL proofs

Implementations of various type systems in OCaml.

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…

A docker container for hacking on the Haskell GHC compiler

Vim-fork focused on extensibility and usability

surround.vim: Delete/change/add parentheses/quotes/XML-tags/much more with ease

Syntax highlighting for VIM

Sorts an array by downloading snippets from StackOverflow. Inspired by http://xkcd.com/1185/. I'm sorry.