Open source video conferencing app powered by LiveKit. Built with Django and React.

A collaborative note taking, wiki and documentation platform that scales. Built with Django and React.

A LaTeX Class for Informatics theses at The University of Edinburgh

A core language and API for dependently typed languages

Lightweight Testing of Persistent Amortized Time Complexity in the Credit Monad

Book of Elementary Functional Algorithms and Data structures

⏰ PL conference deadline countdowns

mimalloc is a compact general purpose allocator with excellent performance.

The Ott tool for writing definitions of programming languages and calculi

A brainfuck compiler, written in sed

Command-line JSON processor

10 papers that all PhD students in programming languages ought to know, for some value of 10

A purely functional programming language with first class types

Alternative algorithm for algebraic subtyping.

A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.

OCaml plus Jane Street extensions

Coz: Causal Profiling

Suite for benchmarking malloc implementations.

Enso Analytics is a self-service data prep and analysis platform designed for data teams.

Improves the known complexity of online lowest common ancestor search to O(log h) persistently, and without preprocessing

Very controlled natural language tactics for Lean

Coq library for handling names

File Diff using the Patience Diff algorithm. https://opensource.janestreet.com/patdiff/

Prototype type inference engine

Counterexamples in Type Systems

Koka language compiler and interpreter

Malfunctional Programming