Pinned Repositories
FoxySheep
Compiler Technologies for Mathematica/Wolfram Language.
JLCPCBBasicLibrary
JLCPCB Basic Library of SMT parts for their SMT Assembly service - Hard to find English language version.
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é.
loris
A term rewriting and computer algebra system
Mod
A RIIR for Maude's state-of-the-art pattern matching algorithms
SamplePooling
A note on the minimum number of tests required for sample pooling to detect COVID-19 infection
smurd
The Tardis Keyboard: Empros Systems International's Operation Control Keyboard Computer for The National Grid
SpaceCadet
Space Cadet Keyboard Schematic and PCB
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.
rljacobson's Repositories
rljacobson/Levenshtein
A Blazingly Fast Damerau–Levenshtein Edit Distance Function (UDF) for MySQL
rljacobson/SpaceCadet
Space Cadet Keyboard Schematic and PCB
rljacobson/Mod
A RIIR for Maude's state-of-the-art pattern matching algorithms
rljacobson/TIOFPL
The Implementation of Functional Programming Languages typeset in LaTeX
rljacobson/Dotfiles
Dotfiles managed with yadm.
rljacobson/Miranda
Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6.
rljacobson/ContinuationPassingStyle
An implementation of Compiling with Continuations by Andrew W. Appel in Rust.
rljacobson/diophantine
Solver for systems of linear diophantine equations
rljacobson/glom
☄️ Python's nested data operator (and CLI), for all your declarative restructuring needs. Got data? Glom it! ☄️
rljacobson/jasper2
Full-featured Jekyll port of Ghost's default theme Casper v2 👻
rljacobson/KeyboardPCBs
Digital reproductions of vintage mechanical keyboard PCBs
rljacobson/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.
rljacobson/Maude
Language based on Rewriting Logic
rljacobson/mod2
Independent implementation of the pattern matching algorithms in Maude written in parallel to Mod. Unlikely to be useful to anyone else.
rljacobson/OldRadio
A catalog of old radio dramas.
rljacobson/PigPug
Building-in Equational Theories by G. D. Plotkin, describing the Pig-Pug algorithm for pattern matching
rljacobson/Pratt
A generic Pratt parsing library.
rljacobson/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
rljacobson/Randa
An implementation of the Miranda programming language in Rust.
rljacobson/RestorationResources
Tools and resources for the restoration of vintage lab test equipment.
rljacobson/rigging
A casual implementation of the Sail ISA specification language.
rljacobson/rljacobson
R&D-oriented computer scientist, mathematician, and software engineer with broad experience. I have particular interests in compilers, math modeling, algorithms, math software.
rljacobson/rljacobson.github.io
Blog
rljacobson/rust
Empowering everyone to build reliable and efficient software.
rljacobson/RustPatterns
Patterns and Gotchas for Rust
rljacobson/saucepan
Data structures for tracking source spans, locations in source code
rljacobson/scryer-prolog
A modern Prolog implementation written mostly in Rust.
rljacobson/SLPJ_READING
rljacobson/SnDjVu
monorepo for SnDjVu's Rust code, website, etc.
rljacobson/WrapToColumn
An IntelliJ plugin that wraps text