Pinned Repositories
CompCert
The CompCert formally-verified C compiler
bencode.rs
Bencoding parser in Rust using Nom
crossword-scraper
Scrape crossword puzzles from a wayback site
dotfiles-2.0
linuxbrew
A fork of Homebrew for Linux
matlabd
Run Matlab as a daemon in the background, sending it commands through a FIFO
ps-chart
Proto-semitic chart
stackedit-theme
tikkun.sh
Creates a sheet to help learn Torah readings
nixpkgs
Nix Packages collection & NixOS
jbaum98's Repositories
jbaum98/bencode.rs
Bencoding parser in Rust using Nom
jbaum98/crossword-scraper
Scrape crossword puzzles from a wayback site
jbaum98/matlabd
Run Matlab as a daemon in the background, sending it commands through a FIFO
jbaum98/ps-chart
Proto-semitic chart
jbaum98/tikkun.sh
Creates a sheet to help learn Torah readings
jbaum98/.dotfiles
Collection of dotfiles
jbaum98/bauer
An Emacs+Nix IDE
jbaum98/bidict
Efficient, Pythonic bidirectional map data structures and related functionality.
jbaum98/cleo
Cleo allows you to create beautiful and testable command-line interfaces.
jbaum98/crouton
Chromium OS Universal Chroot Environment
jbaum98/discorders
jbaum98/evil
The extensible vi layer for Emacs.
jbaum98/exercism
Exercism solutions
jbaum98/fcf
Foundational Cryptography Framework for machine-checked proofs of cryptography.
jbaum98/flycheck-haskell
Improved Haskell support for Flycheck
jbaum98/google-music-scripts
A CLI utility for interacting with Google Music. https://google-music-scripts.readthedocs.io/
jbaum98/gopher-lua
GopherLua: VM and compiler for Lua in Go
jbaum98/helm-hoogle
Use helm to navigate query results from Hoogle
jbaum98/isc2017-guide
A bunch of helpful stuff for ISC 2017
jbaum98/melpa
Recipes and build machinery for the biggest Emacs package repo
jbaum98/nix-emacs
Integration between Emacs and Nix to make Emacs startup super fast.
jbaum98/nix-tests
A scratchpad for small experimental things I am doing with Nix.
jbaum98/nom
Rust parser combinator framework
jbaum98/pollen
book-publishing system in Racket
jbaum98/range-idea
jbaum98/remacs
Rust :heart: Emacs
jbaum98/rust-lisp
jbaum98/scalpel
A high level web scraping library for Haskell.
jbaum98/sharing-list
jbaum98/tic-tac-toe-ai