Jacob Salzberg's repositories
etoile-emacs
A modular emacs config based on the straight package manager
.stumpwm.d
My stumpwm config
realgud-mobdebug
mobdebug module for realgud. mobdebug is a remote lua debugger
DrCCTProf
DrCCTProf is a fine-grained call path profiling framework for binaries running on ARM and X86 architectures.
jsalzbergedu.github.com
My website and blog
pegreg
Compiler that goes from a regular subset of PEG to FSTs.
asmexmpl-drcctlib_instr_analysis
Assembler - based tests for drcctlib_instr_analysis
blinkenlights
Static Analyses for C99 based on the theory of Abstract Interpretation
example_kani
Example of kani included in a crate.
FEDD2017
Team (Michael Le, Qihao Lu, Wenyu Chang, and Jacob Salzberg) FEDD Project 2017. Run by zipping and renaming to fedd.sb2
fst-fast
A fast, embeddable fst library (in progress)
fst-fast-system
C library for fst fast.
graph.lua
Graph library from lua.
heartbot
Add hearts to every message, a la groupme.
kani
Kani Rust Verifier
lua-lambda-emacs
Overlays certain anonymous functions with lambdas in emacs
lua-repl
A Lua REPL implemented in Lua for embedding in other programs
Math-CS-Exercise-Compendium
A math and CS exercises compendium in LaTeX. Skews towards math and CS useful for formal methods.
mobdebug-emacs
Wrapper to make using mobdebug easy to use from realgud, which uses absolute pathnames
pset-template
Latex teplate for psets. Stripped down from luke xuan's.
realgud
The Grand "Cathedral" Debugger rewrite
stacked-borrows
A model of stacked borrows for code instrumentation and verification
stumpwm-contrib
Extension Modules for StumpWM
TAPL
Little Exercises and tidbits from TAPL here and there
themes
A megapack of themes for GNU Emacs.
xdg-desktop-portal-guix
Guix definitions for XDG desktop portal (For use with flatpak.) WIP