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/dotfiles-2.0
jbaum98/alacritty
A cross-platform, GPU-accelerated terminal emulator
jbaum98/Android-Password-Store
Android application compatible with ZX2C4's Pass command line application
jbaum98/ChugBot
A website that assigns campers to activities using a modified version of the stable marriage problem
jbaum98/community-edition
Free and Open Source messaging and emailing app that combines common web applications into one.
jbaum98/CompCert
The CompCert formally-verified C compiler
jbaum98/coq-ext-lib
A library of Coq definitions, theorems, and tactics.
jbaum98/cos426_final_project
jbaum98/demorgans
jbaum98/ext4-rs
Read files directly from ext4 filesystem images
jbaum98/files
jbaum98/flycheck
Modern on the fly syntax checking for GNU Emacs
jbaum98/go-billy
The missing interface filesystem abstraction for Go
jbaum98/iosevka-cdn
jbaum98/leveling
Leveling system for CRB
jbaum98/multiset_choose
jbaum98/nix
Nix, the purely functional package manager
jbaum98/nixos-installer-rockpro64
jbaum98/nixpkgs
Nix Packages collection
jbaum98/nixpkgs-mozilla
mozilla related nixpkgs (extends nixos/nixpkgs repo)
jbaum98/nocargo
[alpha] Build Rust crates with Nix Build System.
jbaum98/pprintpp
pprint++: a drop-in replacement for pprint that's actually pretty
jbaum98/python-threading-processing
jbaum98/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
jbaum98/ruma-events
Serializable Rust types for the events in the Matrix specification.
jbaum98/scaphandre-flake
A nix flake for Scaphandre, the electrical power consumption metrology agent
jbaum98/sphinx-typlog-theme
A sphinx theme by Typlog
jbaum98/verified_bzip2
jbaum98/VST
Verified Software Toolchain
jbaum98/wip-pinebook-pro
More information on the Unofficial NixOS Wiki