A web app that generates code for efficiently approximating mathematical functions of one variable.

A reactive Python kernel for Jupyter notebooks.

[wip] Deep Learning Compiler based on Polyhedral Compiler and Light-weight IRs based on Optimizing Pattern Matcher

Template engine for ISO Prolog, based on Jinja and Tera

A formal consistency proof of Quine's set theory New Foundations

Turn Clojure data structures into SQL

The original source code of Microsoft GW-BASIC from 1983

Parser, code model, interpreter and navigable browser for the original Xerox Smalltalk-80 v2 sources and virtual image file

Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native code.

Transportation planning and traffic simulation software for creating cities friendlier to walking, biking, and public transit

A tiny, powerful and declarative wrapper around keyboard bindings in JavaScript

GUI written in Python to parse OSM (OpenStreetMap) files and render them onscreen. Layers may be toggled on/off and drawing may be customized.

Sed Lisp -- a lisp interpreter in GNU sed

A project to map out the relations between different equational theories of Magmas.

Android Interoperability for the Apple Watch

A fast usermode x86 and x86-64 emulator for Arm64 Linux

Free and open-source map hosting solution with custom styles for websites and apps, using OpenStreetMap data

A libre lightweight streaming front-end for Android.

HOL4 mode for VSCode

An experiment in hermetic, reproducible build systems

Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness,…

Match compilation algorithm in OCaml

Fearless hardware design

Intermediate Language (IL) for Hardware Accelerator Generators

A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.

CLOG - The Common Lisp Omnificent GUI