Robert Jacobson's repositories

lifetimes

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

Language:RustStargazers:23Issues:2Issues:0

MathLine

A textual front end to Mathematica.

Language:C++License:BSD-2-ClauseStargazers:11Issues:0Issues:0

PillowData

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

Language:Jupyter NotebookLicense:MITStargazers:5Issues:4Issues:0
Language:MathematicaLicense:MITStargazers:4Issues:0Issues:0

smurd

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

Language:HTMLStargazers:4Issues:0Issues:0

Guru-NB

Sage Notebook

Language:PythonStargazers:2Issues:0Issues:0

ANTLRMathExpr

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

Language:ANTLRStargazers:1Issues:0Issues:0

CLionPreferences

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

Stargazers:1Issues:0Issues:0

MPIBrot

A distributed Mandelbrot fractal generator.

Language:C++Stargazers:1Issues:0Issues:0

SphericalPhotoGlobe

Mathematica code to create a physical globe from a spherical photo.

Language:MathematicaStargazers:0Issues:3Issues:1

asm-x64-macos

Experiments in x86-64 assembly on macOS

Language:AssemblyLicense:MITStargazers:0Issues:0Issues:0

C2R2

Rewrites a complex-valued function f(x+iy) as a function from R^2 to R^2, i.e., without i.

Language:CMakeLicense:MITStargazers:0Issues:0Issues:0

ClangFormatStyle

My .clang-format file.

License:MITStargazers:0Issues:0Issues:0

CompilerResources

Curated list of resources on Compilers, Interpreters and Runtimes

License:NOASSERTIONStargazers:0Issues:0Issues:0
Language:HTMLStargazers:0Issues:0Issues:0

conformalpp

C++ version of a conformal mapping visualization.

Language:C++Stargazers:0Issues:0Issues:0

dmc

Digital Mars C and C++ Compiler

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

easy-pdk-programmer-software

Easy PDK programmer for PADAUK microcontroller

License:GPL-3.0Stargazers:0Issues:0Issues:0
License:GPL-3.0Stargazers:0Issues:0Issues:0

GortonDigital

A revival of a 20th century interwar typeface.

Stargazers:0Issues:0Issues:0

Guru

A graphical front end to the Sage computer algebra system.

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

mcs-4

4004 CPU and MCS-4 family chips

Stargazers:0Issues:0Issues:0

OrthogonalProjection

A (modified) orthogonal projection of the upper-half sphere from an equirectangular image. Includes a Tone/Color balance algorithm.

Language:C++Stargazers:0Issues:0Issues:0

plt

λΠ Programming Language Theory

Language:CSSStargazers:0Issues:0Issues:0

prattle

A Pratt parser/parser generator written in Rust.

Language:RustStargazers:0Issues:0Issues:0

tardis

An implementation of the Kaleidoscope keyboard firmware for the Empros "Tardis" Opterations Keyboard.

Language:C++Stargazers:0Issues:0Issues:0

UltraViolet-Spectrum-Enhancer

UltraViolet Spectrum Enhancer

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

uTmax

uTmax Linux GUI program for the uTracer3 Thermionic Valve Tester

Stargazers:0Issues:0Issues:0

visual6502

Transistor level 6502 Hardware Simulation in Javascript

Stargazers:0Issues:0Issues:0

YaccMathExpr

A yacc/bison sandbox for studying problems that arise when trying to write a parser for simple math expressions.

Language:BisonStargazers:0Issues:0Issues:0