A modern proof language

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

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…

Agda is a dependently typed programming language / interactive theorem prover.

💥💻💥 A data-parallel functional programming language

Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)

Crucible is a library for symbolic simulation of imperative programs

A cellular automaton for studying self-modifying agents which are embedded in their environment

A C compiler written in Haskell

Universal macro preprocessor

decision theory automaton