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

DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc

Liquid Types For Haskell

Bluespec Compiler (BSC)

Resource gathering + programming game

Exercism exercises in Haskell.

Haskell library for the Microsoft Language Server Protocol

Where Lions Roam: RISC-V on the VELDT

A graphical interactive proof assistant designed for education

A formal semantics of the RISC-V ISA in Haskell

Haskell bindings for MLIR

💂‍♂️ Lightweight pure validation based on Applicative and Selective functors

Notes and handouts from OPLSS 2018

Utility monad stack to be used in servant

A Haskell to Coq compiler that represents effectful programs with the free monad

Template repo for theorem proving in Liquid Haskell

Normalization by Evaluation for Embedded Domain-specific Languages

Untitled PL Card Game

An error-tolerant live programming environment (my Master's thesis)

YieldFSM, a DSL for describing finite state machines in Clash

Dataflow DSL, using Symmetric Monoidal Categories

Coinduction in Liquid Haskell