The Lobster Programming Language

The property-based testing library for Python

A C++/Rust interop tool

LSP Client for Emacs implemented as a module using rust.

A modern Prolog implementation written mostly in Rust.

An open source personal productivity platform built on Markdown, turbo charged with the scripting power of Lua

A collection of array rotation algorithms.

A digital logic designer and circuit simulator.

Digital logic design tool and simulator

Slides from talks that I give

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

Record Query - A tool for doing record analysis and transformation

3024 color scheme for Xfce 4 Terminal

A FUSE filesystem that allows tools like gdb to look up debug info files via HTTP

Code examples that accompany the MDN WebAssembly documentation — see https://developer.mozilla.org/en-US/docs/WebAssembly.

Hosting read-only SQLite databases on static file hosters like Github Pages

The Void source packages collection

A Compiler for the Popr Language

A statically typed concatenative systems programming language.

Turn static CLI commands into TUIs with ease

Multitree-based personal task manager

Git-based decentralized issue management

Progressive enhancement for HTML

The only public framework for developing applications with native refresh support for Remarkable Tablet

build-once run-anywhere c library

Ergonomic Command Mode for Emacs

Provides org-mode like hide and show for hideshow.el

A better Emacs *help* buffer