This is your work, valued
vim-rtags. Vim bindings for rtags, llvm/clang based c++ code indexer.
vim-vde. Plugin to make Vim an IDE.
refinny.rs. Finite State Machines for Rust
ptcpdump. Process-aware, eBPF-based tcpdump
xdpcap. tcpdump like XDP packet capture
rust. Empowering everyone to build reliable and efficient software.
hardenedBSD-stable. HardenedBSD stable repo. Installer images built from this repo: http://installer.hardenedbsd.org/
smack. SMACK Software Verifier and Verification Toolchain
crochet. Build FreeBSD images for RaspberryPi, BeagleBone, PandaBoard, and others.
Probabilistic-Programming-and-Bayesian-Methods-for-Hackers. aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probabilistic programming with a computation/understanding-first, mathematics-second point of view. All in pure Python ;)
