IIR Hilbert filter: short, dependency-free, header-only C++

A TUI for the Jujutsu version control system

Visual Studio Code extension for interacting with texpresso

TUI multiline fuzzy document finder

Notes on OCaml debugging and performance

Very WIP static analysis for Lua

A derivation explorer and logger for menhir parser

Opensource Rust driver for various AR glasses

A PDF parser and validator

A GLFW binding for OCaml.

Open source, cross-platform, user-mode tablet driver

Publish annotated bibliographies

SDK for building cross-platform desktop apps in ANSI-C

Easy and efficient encrypted backups.

A statically-typed, functional typesetting system

A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR

drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of…

OCaml bindings for raylib and raygui

An open world adventure and dungeon crawling game

A static analyzer for Java, C, C++, and Objective-C

ReHp

Minimal cross-platform LSP wrapper for merlin

Research prototype tool for modular formal verification of C, Rust and Java programs

Game and tools oriented refactored version of GLU tesselator.

Work on modular implicits

Emacs client for statistical memory profiler

Z-Machine interpreter for Android

Coq Protocol Playground with Se(xp)rialization of Internal Structures.

Prof. Spacetime