Universal markup converter

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

Cryptol: The Language of Cryptography

Tensors and neural networks in Haskell

Haskell LLVM JIT Compiler Tutorial

The SAW scripting language.

A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell

The adventures of a Haskell compiler

Haskell JIT

MicroC example compiler for Stephen Edward's PLT class, but in Haskell

Arithmetic circuits for zero knowledge proof systems

Galois RISC-V ISA Formal Tools

The SAW core language.

A Gallina compiler with C++17 as an intermediate representation

A library for disassembling x86-64 binaries.

The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde

The LLVM Symbolic Simulator, part of SAW.

A Haskell implementation of the tiger compiler