-
libcork
A simple, easily embeddable cross-platform C library
C ★ 383 3y agoExplain → -
expression-problem-rust
Exploring the "expression problem" in Rust
Rust ★ 49 3y agoExplain → -
libpush ▣
An arrow-based parser combinator library for C
C ★ 39 16y agoExplain → -
graffle-export
Command-line utility for exporting OmniGraffle documents
Shell ★ 25 9y agoExplain → -
varon-t
C implementation of Disruptor queues
C ★ 23 4y agoExplain → -
dotfiles
GitHub Codespaces setup
Shell ★ 15 3y agoExplain → -
libcorkipset
A small C helper library for storing sets of IPv4 and IPv6 addresses
C ★ 10 4y agoExplain → -
dotfiles-base
Simple shell-based dotfiles manager
Shell ★ 8 4y agoExplain → -
dotfiles-public
Public dotfiles
Ruby ★ 7 1d agoExplain → -
cudd
Colorado University Decision Diagram package
C ★ 6 16y agoExplain → -
avro-examples
A handful of documented examples of using the Avro C API
C ★ 6 13y agoExplain → -
jemalloc
Clone of the standalone jemalloc library
C ★ 6 14y agoExplain → -
cppcsp2
Clone of Kent C++CSP2 project
★ 5 18y agoExplain → -
buzzy
OS-agnostic package builder
C ★ 5 8y agoExplain → -
bowsprit
Statistics counters in C
C ★ 5 4y agoExplain → -
jpwsafe
Git mirror of jpwsafe: Java clone of PasswordSafe
★ 5 17y agoExplain → -
csp-models
FDR via Docker and various interesting CSP models
Shell ★ 4 4y agoExplain → -
libhwm
A C library for “high-water mark” buffers
C ★ 4 16y agoExplain → -
clogger
A C logging library based on Python's logbook
C ★ 4 6y agoExplain → -
cabal
Haskell Cabal build system
Haskell ★ 4 17y agoExplain → -
presentations
Presentations that I've given
TeX ★ 3 1mo agoExplain → -
clj-bdd
Binary decision diagrams in Clojure
Clojure ★ 3 12y agoExplain → -
dcreager.net
The source for dcreager.net
HTML ★ 2 3mo agoExplain → -
fleet
Lightweight concurrency and parallelism library
C ★ 2 12y agoExplain → -
croissant
Pastry peer-to-peer overlay network, in C
C ★ 2 10y agoExplain → -
gitx ⑂
A gitk clone for OS X
Objective-C ★ 2 17y agoExplain → -
homedir ⑂
Public home directory files
Perl ★ 2 17y agoExplain → -
home
My home directory
Emacs Lisp ★ 2 14y agoExplain → -
revelation
Git mirror of the Revelation GNOME password manager
★ 2 17y agoExplain → -
hst ⑂
An open-source refinement checker for the CSP process algebra
C++ ★ 2 17y agoExplain → -
lua-zmq ⑂
Lua zeromq2 binding
C ★ 2 14y agoExplain → -
deploy-gitorious ⑂
Fabric deployment script for gitorious
Python ★ 2 15y agoExplain → -
salsa ⑂
A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
★ 1 1y agoExplain → -
bbolt ⑂
An embedded key/value database for Go.
★ 1 1y agoExplain → -
stuffed-records-go
Stuffed Records in Go
Go ★ 1 1y agoExplain → -
assert_float_eq ⑂
Assertions for floating-point equality.
★ 1 1y agoExplain → -
recipes
Some recipes that I like
★ 1 11y agoExplain → -
PRMLT ⑂
Matlab code of machine learning algorithms in book PRML
★ 1 6y agoExplain → -
mlua-tree-sitter
Adds `ltreesitter` Lua bindings to `mlua`-managed Lua environments
Rust ★ 1 2y agoExplain → -
controlled-option
Custom Option type with explicit control over niches and memory layout
Rust ★ 1 4y agoExplain → -
oh-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.
Shell ★ 1 13y agoExplain → -
network-error-logging ⑂
No description.
HTML ★ 1 7y agoExplain → -
waf-test
Test cases for waf bugs that I discover
C ★ 1 16y agoExplain → -
janus ⑂
Vim distribution
VimL ★ 1 14y agoExplain → -
avro ⑂
Mirror of Apache Avro
Java ★ 1 11y agoExplain → -
homebrew ⑂
Packaging system for Mac OS X 10.5 and above; heavy optimisations, no redundant packages and a bonus beer theme
Ruby ★ 1 14y agoExplain → -
jekyll ⑂
Jekyll is a blog-aware, static site generator in Ruby
Ruby ★ 1 17y agoExplain → -
luajit
Fork of LuaJIT for patch submissions
C ★ 1 14y agoExplain → -
kateanddoug.com
Wedding website
Ruby ★ 1 15y agoExplain → -
show-gravatar ⑂
RoundCube plugin to display sender gravatar in each mail
PHP ★ 1 14y agoExplain → -
swanson-lang ⑂
Swanson language
★ 1 14y agoExplain → -
lua-llthreads ⑂
Low-Level threads(pthreads or WIN32 threads) for Lua.
C ★ 1 14y agoExplain → -
jansson ⑂
C library for encoding, decoding and manipulating JSON data
C ★ 1 13y agoExplain → -
pyzmq ⑂
Py0MQ: Python bindings for zeromq
C ★ 1 15y agoExplain → -
virtualenv
Clone of the virtualenv project
Python ★ 1 16y agoExplain → -
ports
A local MacPorts repository
★ 1 16y agoExplain → -
agentsview ⑂
Local-first session intelligence and analytics for coding agents, supporting Claude Code, Codex, and more than 20 other agents. Also: 100x faster replacement for ccusage!
★ 0 3d agoExplain → -
typing ⑂
Python static typing home. Hosts the documentation and a user help forum.
★ 0 12d agoExplain → -
redis-rs ⑂
Redis library for rust
★ 0 1y agoExplain → -
testify ⑂
A toolkit with common assertions and mocks that plays nicely with the standard library
★ 0 2y agoExplain → -
stack-graphs ⑂
Rust implementation of stack graphs
★ 0 2y agoExplain → -
ltreesitter ⑂
Standalone tree sitter bindings for the Lua language
★ 0 2y agoExplain → -
rust-lua53 ⑂
Lua 5.3 bindings for Rust
★ 0 2y agoExplain → -
rapid ⑂
Rapid is a Go library for property-based testing that supports state machine ("stateful" or "model-based") testing and fully automatic test case minimization ("shrinking")
Go ★ 0 3y agoExplain → -
ccan ⑂
The C Code Archive Network
★ 0 3y agoExplain → -
rational-trees
Encoding trees using rational numbers and continued fractions
Rust ★ 0 4y agoExplain → -
requests ⑂
A simple, yet elegant, HTTP library.
Python ★ 0 4y agoExplain → -
cbindgen ⑂
A project for generating C bindings from Rust code
★ 0 5y agoExplain → -
tree-sitter ⑂
An incremental parsing system for programming tools
★ 0 2y agoExplain → -
tree-sitter-test ⑂
No description.
JavaScript ★ 0 5y agoExplain → -
ts-arena
An efficent, thread-safe arena allocator for Rust
Rust ★ 0 5y agoExplain → -
agate ⑂
Very simple server for the Gemini hypertext protocol
★ 0 5y agoExplain → -
proptest-attr-macro
A procedural attribute macro for writing Rust proptest tests
Rust ★ 0 5y agoExplain → -
rs-static-context
Static contexts in Rust
Rust ★ 0 5y agoExplain → -
code-nav-tests
Code navigation tests
Python ★ 0 6y agoExplain → -
quickcheck ⑂
QuickCheck for Rust (with shrinking).
Rust ★ 0 7y agoExplain → -
libcork.io
libcork.io website
HTML ★ 0 7y agoExplain → -
rs-reporting-api
Rust support for Reporting API and Network Error Logging
Rust ★ 0 7y agoExplain → -
typename ⑂
Stable alternative to Rust's type_name intrinsic.
Rust ★ 0 7y agoExplain → -
rust-cc-linking
Testing C/C++ linking from Rust
Rust ★ 0 7y agoExplain → -
rust ⑂
Empowering everyone to build reliable and efficient software.
Rust ★ 0 7y agoExplain → -
homebrew-grpc
Several pinned versions of GRPC
Ruby ★ 0 7y agoExplain → -
gRPC-haskell ⑂
Haskell gRPC support
Haskell ★ 0 7y agoExplain → -
fetch ⑂
Fetch Standard
HTML ★ 0 8y agoExplain → -
reporting ⑂
Out-of-band Reporting
HTML ★ 0 7y agoExplain → -
fastavro ⑂
Fast Avro for Python
Python ★ 0 11y agoExplain → -
web-platform-tests ⑂
Test suites for Web-platform specs — including WHATWG, W3C, and others
HTML ★ 0 7y agoExplain → -
certificate-transparency-go ⑂
Auditing for TLS certificates, Go code.
Go ★ 0 8y agoExplain → -
nel-collector ⑂
No description.
Go ★ 0 7y agoExplain → -
nel-reporter-java ⑂
Network Error Logging (NEL) Java Reporter
Java ★ 0 8y agoExplain → -
buzzy-core
Core package descriptions for Buzzy
★ 0 8y agoExplain → -
specref ⑂
An open-source, community-maintained database of Web standards & related references.
JavaScript ★ 0 8y agoExplain → -
c-template ⑂
A template for C projects
CMake ★ 0 8y agoExplain → -
privateer
Manage a directory of YAML configuration files
C ★ 0 12y agoExplain → -
yardarm
Run-time type information for C
C ★ 0 13y agoExplain → -
visit_struct ⑂
A miniature reflection library for C++11
C++ ★ 0 9y agoExplain → -
curl ⑂
Curl is a tool and libcurl is a library for transferring data with URL syntax, supporting FTP, FTPS, HTTP, HTTPS, GOPHER, TFTP, SCP, SFTP, TELNET, DICT, LDAP, LDAPS, FILE, IMAP, SMTP, POP3, RTSP and RTMP. libcurl offers a myriad of powerful features
C ★ 0 10y agoExplain → -
swanson ⑂
Swanson language framework
CSS ★ 0 10y agoExplain → -
aur-fdr
FDR3 refinement checker — Arch AUR package
Shell ★ 0 11y agoExplain → -
Dockerfiles ⑂
Some Dockerfiles
★ 0 11y agoExplain → -
rest_navigator ⑂
A python library for interacting with HAL+JSON APIs
★ 0 12y agoExplain → -
copse ⑂
Continuation-passing-style (CPS) in C
Assembly ★ 0 12y agoExplain → -
vim-puppet ⑂
Puppet niceties for your Vim setup
VimL ★ 0 13y agoExplain →
No repos match these filters.