Robert Jacobson

JLCPCBBasicLibrary. JLCPCB Basic Library of SMT parts for their SMT Assembly service - Hard to find English language version.

FoxySheep. Compiler Technologies for Mathematica/Wolfram Language.

Levenshtein. A Blazingly Fast Damerau–Levenshtein Edit Distance Function (UDF) for MySQL

lifetimes. A lifetime inference algorithm for the Rust programming language written in Soufflé.

SpaceCadet. Space Cadet Keyboard Schematic and PCB

MathLine. A textual front end to Mathematica.

loris. A term rewriting and computer algebra system

WAM. Let's write an automated theorem prover! A series of increasingly sophisticated automated theorem provers realized as Prolog-like language implementations using Warren's Abstract Machine.

PillowData. Parse and analyze the data that the sleep tracking app Pillow exports.

TIOFPL. The Implementation of Functional Programming Languages typeset in LaTeX

smurd. The Tardis Keyboard: Empros Systems International's Operation Control Keyboard Computer for The National Grid

Complex-Analysis-with-Computer-Algebra. Mathematica

Elsix. Elsix: An implementation of L6, Bell Laboratories’ Low-Level Linked List Language (work in progress)

Mod. A RIIR for Maude's state-of-the-art pattern matching algorithms

lorislib. Powerful pattern matching engine in Rust.

ContinuationPassingStyle. An implementation of Compiling with Continuations by Andrew W. Appel in Rust.

SuperScaler. A fork of Waifu2x-Extension-GUI.

PigPug. Building-in Equational Theories by G. D. Plotkin, describing the Pig-Pug algorithm for pattern matching

loris_cli. A term rewriting system and computer algebra system

mod2gc. Garbage collecting allocator for graph nodes.

Dotfiles. Dotfiles managed with yadm.

BayesTesting. An interactive demonstration of how varying the specificity, sensitivity, and infection rate for a test for a disease affects a variety of performance metrics.

LogicalFoundations. Software Foundations Volume 1: Logical Foundations in ePub format

Miranda. Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6.

CLionPreferences. Templates, preferences, live templates, etc., for CLion.

ANTLRMathExpr. An ANTLR4 sandbox for studying problems that arise when trying to write a parser for simple math expressions.

conformalpp. C++ version of a conformal mapping visualization.

MPIBrot. A distributed Mandelbrot fractal generator.

ixa. Rust

tiny_logger. Tiny logging library featuring colored output, adjustable verbosity levels, thread-safe logging streams, and channels.

mod2. Independent implementation of the pattern matching algorithms in Maude.

Randa. An implementation of the Miranda programming language in Rust.