libcork. A simple, easily embeddable cross-platform C library
383expression-problem-rust. Exploring the "expression problem" in Rust
49libpush. An arrow-based parser combinator library for C
39graffle-export. Command-line utility for exporting OmniGraffle documents
25varon-t. C implementation of Disruptor queues
23dotfiles. GitHub Codespaces setup
15libcorkipset. A small C helper library for storing sets of IPv4 and IPv6 addresses
10dotfiles-base. Simple shell-based dotfiles manager
8dotfiles-public. Public dotfiles
7cudd. Colorado University Decision Diagram package
6jemalloc. Clone of the standalone jemalloc library
6avro-examples. A handful of documented examples of using the Avro C API
6bowsprit. Statistics counters in C
5cppcsp2. Clone of Kent C++CSP2 project
5jpwsafe. Git mirror of jpwsafe: Java clone of PasswordSafe
5buzzy. OS-agnostic package builder
5cabal. Haskell Cabal build system
4csp-models. FDR via Docker and various interesting CSP models
4clogger. A C logging library based on Python's logbook
4libhwm. A C library for “high-water mark” buffers
4presentations. Presentations that I've given
3clj-bdd. Binary decision diagrams in Clojure
3dcreager.net. The source for dcreager.net
2hst. An open-source refinement checker for the CSP process algebra
2gitx. A gitk clone for OS X
2home. My home directory
2deploy-gitorious. Fabric deployment script for gitorious
2fleet. Lightweight concurrency and parallelism library
2homedir. Public home directory files
2croissant. Pastry peer-to-peer overlay network, in C
2lua-zmq. Lua zeromq2 binding
2revelation. Git mirror of the Revelation GNOME password manager
2bbolt. An embedded key/value database for Go.
1network-error-logging. HTML
1janus. Vim distribution
1recipes. Some recipes that I like
1jansson. C library for encoding, decoding and manipulating JSON data
1controlled-option. Custom Option type with explicit control over niches and memory layout
1assert_float_eq. Assertions for floating-point equality.
1show-gravatar. RoundCube plugin to display sender gravatar in each mail
1mlua-tree-sitter. Adds `ltreesitter` Lua bindings to `mlua`-managed Lua environments
1stuffed-records-go. Stuffed Records in Go
1swanson-lang. Swanson language
1PRMLT. Matlab code of machine learning algorithms in book PRML
1luajit. Fork of LuaJIT for patch submissions
1salsa. A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
1lua-llthreads. Low-Level threads(pthreads or WIN32 threads) for Lua.
1oh-my-zsh. A community-driven framework for managing your zsh configuration. Includes 40+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, macports, etc), over 80 terminal themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.
1pyzmq. Py0MQ: Python bindings for zeromq
1