An imperative language for quantitative information flow.

Dear ImGui: Bloat-free Immediate Mode Graphical User interface for C++ with minimal dependencies

Verified Wasm runtime

Wasm SpecTec specification tools

A work-in-progress structure editor for the cooltt proof assistant.

Generating Library definitions from Theory Expressions

Construct: Declarative data structures for python that allow symmetric parsing and building

Archive of the ES4 reference interpreter that was a work-in-progress when ES4 was cancelled.

A functional programming language based on algebraic effects and their handlers.

Optional types for Prolog

λλλλ Lennart Augustsson's λ-calculus cooked four ways

SML The Living Language

Integration of MathJax, KaTeX and Asymptote with scribble, to typeset math in Racket documentation

Toy typechecker for Insanely Dependent Types

A prototype of a pure Elm text editor, forked from work of Sydney Nemzer.

A dependently typed actor framework for haskell.

The Granule Project Website

A collection of resources for learning type theory.

A small self-contained alternative to readline and libedit

Simple CQRS example

Repository for the Compose :: Melbourne 2016 Haskell Workshop

A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety

A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety

The official Sublime Text 4 package for the Rust Programming Language

OpenGL Mathematics (GLM)

A script for downloading course material (video's, pdfs, quizzes, etc) from coursera.org

A minimal scripting and data language for Rust.

A collection of dynamic D bindings to C libraries, useful for multimedia and game development.

Go bindings for SDL

My fork of scala (includes the llvm backend)