A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.

Easy, repeatable testing of CLI programs/commands

Noether programming language

A fresh take on a low-level build system API.

Formalization of a fully grounding type inference algorithm for the HDM system

The FLS

Code for formalised verification of mathematical proofs in paraconsistent logics

3D CAD application

A Racket optics library including a match-like DSL for immutable updates

A functional programming language which does not require the heap at run-time.

A mechanisation of Wasm in Isabelle.

Simple implementation of stack to SSA IR lowering

Ocaml kernel for Jupyterlite

A minimal specification for purl aka. a package "mostly universal" URL, join the discussion at https://gitter.im/package-url/Lobby

Fast char sets

Nez Parser for Python

pegtree - A PEG Parser Generator with Tree Annotation

JSKIDPIX v1.0.2021

A curious book about OCaml: logic (types), algebra (values), computation (rewrite semantics), functions (lambda calculus), constraints, monads, expression.

GTK integration for Servo

ML-style type inference in Prolog

A type/term synthesiser for the simply typed lambda calculus

A radical OCaml build system

TagSpaces is an offline, open source, document manager with tagging support

An embeddable Lua 2.5 interpreter implemented in OCaml

recursive regular expressions

Code and Materials for an interactive online course on Logic (part of Strathclyde's CS208 Logic and Algorithms module)

A tangible interface for virtual things