jsalzbergedu Goto Github PK

.emacs.d

My .emacs.d

.emacs.d-windows

An emacs config for windows

.stumpwm.d

My stumpwm config

asmexmpl-drcctlib_instr_analysis

Assembler - based tests for drcctlib_instr_analysis

binning

Binning for amortized improvements to CF

blinkenlights

Static Analyses for C99 based on the theory of Abstract Interpretation

book

The Redox book

calc_center

A website I'm making as part of a calc project

capnproto-java

Cap'n Proto in pure Java

chez-moi

Personal stumpwm config

cookiecutter-c-makefile

A cookiecutter for c projects with makefiles

cookiecutter-emacs-ui

An emacs UI for cookeicutter

dap-mode

Debug Adapter Protocol for Emacs

dependentconnectfour

Connect Four with dependent types

desktop-config

A fork of lepisma's cfg; desktop configuratin files

drcctprof

DrCCTProf is a fine-grained call path profiling framework for binaries running on ARM and X86 architectures.

elisp-checkstyle

A thin wrapper around checkstyle for emacs

emacs-gradle-mode

minor mode for emacs to run gradle from emacs and not have to go to a terminal

etoile-emacs

A modular emacs config based on the straight package manager

etoile-nixos

My nixos configuration

fedd2017

Team (Michael Le, Qihao Lu, Wenyu Chang, and Jacob Salzberg) FEDD Project 2017. Run by zipping and renaming to fedd.sb2

feddprojectlewisstructures

flycheck-google-cpplint

Google C++ Style checker for Flycheck

flycheck-vera

A flycheck checker for vera++

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.

hello-cli

Just trying to see if I can manage github from my linux box

hello-rust

Trying to learn rust