Dromedary is an experimental subset of OCaml, using constraint-based type inference!

Bolt is a language with in-built data-race freedom!

An open source Prolog interpreter in JavaScript

Plugin for formatting Haskell source code

Dependent type checker using normalisation by evaluation

Functional programming with fewer indirections

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

Set up a GHC API session for various Haskell Projects

Fake dependent types in Haskell using singletons

MetaDL: Datalog analyzing Datalog, Java or any language of your choice

Normalise GHC.TypeLits.Nat equations

A dependently typed programming language, a successor to Idris

Haskell source code suggestions

A modern Prolog implementation written mostly in Rust.

A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.

📓 Flexible and configurable modern #Haskell logging framework

Agda programming with holes

An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.

OCaml code for Compiler Construction course at University of Cambridge

Code. Music. Live.

Generic sign up sheet web application, intended for simplifying supervision scheduling.