A modern Prolog implementation written mostly in Rust.

The knowledge tinkerer's notebook

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

A collection of out-of-tree LLVM passes for teaching and learning

Pure programming language

A case study on viable techniques for vanilla web development.

Linux tool to show progress for cp, mv, dd, ... (formerly known as cv)

A Git porcelain inside Kakoune