rljacobson

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.

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.

loris

A term rewriting and computer algebra system

Elsix

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

SuperScaler

A fork of Waifu2x-Extension-GUI.

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

loris_cli

A term rewriting system and computer algebra system

SamplePooling

A note on the minimum number of tests required for sample pooling to detect COVID-19 infection

codemap

A data structure for tracking source code positions, inspired by the type in rustc's libsyntax.

defaultmap

A defaultmap for rust

easy-pdk-programmer-hardware

Easy PDK programmer for PADAUK microcontroller. EDA, schematic, gerber, bom, housing stl, firmware

grmtools

Rust grammar tool libraries and binaries

hashable_rc

Rust - Hashable wrappers for reference countings.

Hermes

Compact macOS Pandora client that doesn’t use Flash

imageproc

Image processing operations

IterestingThings

Interesting things curated by Robert Jacobson organized by year

Kaleidoscope

Fork of Kaleidoscope Keyboard Firmware for Project SMURD

Lesk

A spiritual descendent of Michael Lesk's scanner generator lex written in Rust and modern technologies.

library

Research library of the ##dependent IRC channel

menhir-example

A complete example of how to use menhir_logos.

menhir_runtime

Updated runtime for menhir-rs, split out as a separate crate.

nom

Rust parser combinator framework

slint

Slint is a toolkit to efficiently develop fluid graphical user interfaces for any display: embedded devices and desktop applications. We support multiple programming languages, such as Rust, C++ or JavaScript.

SLPJ_READING

TardisFirmware

Firmware to drive a custom scanner for the Empros "TARDIS" keyboard.

website

this is the code for the sagemath.org website

z3

The Z3 Theorem Prover

ZSAT

RIIR for the z3 SAT solver.