Stars
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
Dependent type checker using normalisation by evaluation
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
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
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
Generic sign up sheet web application, intended for simplifying supervision scheduling.