jsalzbergedu
Hi, I am Jacob Salzberg, a Computer Science second year PhD Student at NYU.
NY, NY (USA)
Pinned Repositories
.emacs.d-windows
An emacs config for windows
.stumpwm.d
My stumpwm config
DrCCTProf
DrCCTProf is a fine-grained call path profiling framework for binaries running on ARM and X86 architectures.
etoile-emacs
A modular emacs config based on the straight package manager
jsalzbergedu.github.com
My website and blog
LowLevelConnectFour
Connect Four in a low level language (forth) along with some other forth scripts
pegreg
Compiler that goes from a regular subset of PEG to FSTs.
permutgen
Generate levels for a fedd game
pseudocode-mode
A major and minor mode for pseudocode syntax highlighting
rdxmk
A small set of tools for redox development in Gnu Emacs.
jsalzbergedu's Repositories
jsalzbergedu/etoile-emacs
A modular emacs config based on the straight package manager
jsalzbergedu/.stumpwm.d
My stumpwm config
jsalzbergedu/Binning
Binning for amortized improvements to CF
jsalzbergedu/realgud-mobdebug
mobdebug module for realgud. mobdebug is a remote lua debugger
jsalzbergedu/DrCCTProf
DrCCTProf is a fine-grained call path profiling framework for binaries running on ARM and X86 architectures.
jsalzbergedu/jsalzbergedu.github.com
My website and blog
jsalzbergedu/pegreg
Compiler that goes from a regular subset of PEG to FSTs.
jsalzbergedu/permutgen
Generate levels for a fedd game
jsalzbergedu/asmexmpl-drcctlib_instr_analysis
Assembler - based tests for drcctlib_instr_analysis
jsalzbergedu/blinkenlights
Static Analyses for C99 based on the theory of Abstract Interpretation
jsalzbergedu/example_kani
Example of kani included in a crate.
jsalzbergedu/FEDD2017
Team (Michael Le, Qihao Lu, Wenyu Chang, and Jacob Salzberg) FEDD Project 2017. Run by zipping and renaming to fedd.sb2
jsalzbergedu/fst-fast
A fast, embeddable fst library (in progress)
jsalzbergedu/fst-fast-system
C library for fst fast.
jsalzbergedu/graph.lua
Graph library from lua.
jsalzbergedu/heartbot
Add hearts to every message, a la groupme.
jsalzbergedu/iris-tutorial
jsalzbergedu/journal
A programming journal
jsalzbergedu/jss9879
Webpage for NYU
jsalzbergedu/kani
Kani Rust Verifier
jsalzbergedu/lua-lambda-emacs
Overlays certain anonymous functions with lambdas in emacs
jsalzbergedu/lua-repl
A Lua REPL implemented in Lua for embedding in other programs
jsalzbergedu/Math-CS-Exercise-Compendium
A math and CS exercises compendium in LaTeX. Skews towards math and CS useful for formal methods.
jsalzbergedu/mobdebug-emacs
Wrapper to make using mobdebug easy to use from realgud, which uses absolute pathnames
jsalzbergedu/pset-template
Latex teplate for psets. Stripped down from luke xuan's.
jsalzbergedu/realgud
The Grand "Cathedral" Debugger rewrite
jsalzbergedu/stacked-borrows
A model of stacked borrows for code instrumentation and verification
jsalzbergedu/TAPL
Little Exercises and tidbits from TAPL here and there
jsalzbergedu/themes
A megapack of themes for GNU Emacs.
jsalzbergedu/xdg-desktop-portal-guix
Guix definitions for XDG desktop portal (For use with flatpak.) WIP