Stars
Haptic input knob with software-defined endstops and virtual detents
A simple utility application to trigger haptic feedback when tapping Touch Bar.
Pony is an open-source, actor-model, capabilities-secure, high performance programming language
The fastest and simplest library for SQLite3 in Node.js.
Redirect `.idk` domains using Wikipedia
LibreSSL Portable itself. This includes the build scaffold and compatibility layer that builds portable LibreSSL from the OpenBSD source code. Pull requests or patches sent to [email protected] are …
Small portable multiple-precision unsigned integer arithmetic in C
Repository for the book "Crafting Interpreters"
Brat is a little language for people who don't like to be told what to do.
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switch…
A WeeChat script for Slack.com. Supports threads and reactions, synchronizes read markers, provides typing notification, etc..
ripgrep recursively searches directories for a regex pattern while respecting your gitignore
The CompCert formally-verified C compiler
Minimalist Self-hosted Image Service for user submitted images in your app
Frustrated that OS X doesn't have a simple software keyboard debouncer. Here's my hack.
Arbitrary precision integer and rational arithmetic library
PEG parser combinators using operator overloading without macros.
Tools for concurrent programming in Rust
🐠 Babel is a compiler for writing next generation JavaScript.
Proving leftpad correct two-dozen different ways
A cryptographically verifiable code review system for the cargo (Rust) package manager.