RISC-V out-of-order core for education and research purposes

A collaborative bibliography of work related to the theory and practice of computational effects

Documentation for the Fram programming language

Fram compiler, written in Fram programming language

A Coq library with shallow embedding of step-indexed domain specific logic

An experimental programming language that combines effect handlers and implicit parameters

Pure Haskell commonmark parsing library, designed to be flexible and extensible

A typeface designed for source code

DEPRECATED - Mozilla's new typeface, used in Firefox OS

The official Vim repository

A cross-platform, OpenGL terminal emulator.