Robert Jacobson's repositories
Levenshtein
A Blazingly Fast Damerau–Levenshtein Edit Distance Function (UDF) for MySQL
SpaceCadet
Space Cadet Keyboard Schematic and PCB
ContinuationPassingStyle
An implementation of Compiling with Continuations by Andrew W. Appel in Rust.
diophantine
Solver for systems of linear diophantine equations
glom
☄️ Python's nested data operator (and CLI), for all your declarative restructuring needs. Got data? Glom it! ☄️
KeyboardPCBs
Digital reproductions of vintage mechanical keyboard PCBs
mathics-core
An open-source Mathematica. This repository contains the Python modules for WL Built-in functions, variables, core primitives, e.g. Symbol, a parser to create Expressions, and an evaluator to execute them.
mod2
Independent implementation of the pattern matching algorithms in Maude written in parallel to Mod. Unlikely to be useful to anyone else.
PigPug
Building-in Equational Theories by G. D. Plotkin, describing the Pig-Pug algorithm for pattern matching
Pratt
A generic Pratt parsing library.
qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
Randa
An implementation of the Miranda programming language in Rust.
RestorationResources
Tools and resources for the restoration of vintage lab test equipment.
rljacobson
R&D-oriented computer scientist, mathematician, and software engineer with broad experience. I have particular interests in compilers, math modeling, algorithms, math software.
RustPatterns
Patterns and Gotchas for Rust
scryer-prolog
A modern Prolog implementation written mostly in Rust.
SnDjVu
monorepo for SnDjVu's Rust code, website, etc.
WrapToColumn
An IntelliJ plugin that wraps text