A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust

Source code to the 1995 DOS roguelike game Alphaman

A schema-based binary format for efficiently encoding trees of data

Open source, local, and self-hosted Amazon Echo/Google Home competitive Voice Assistant alternative

A tiny, efficient fuzzy search that doesn't suck

Single C file, Realtime CPU/GPU Profiler with Remote Web Viewer

Small but complete dynamic Forth Interpreter/Compiler for and in WebAssembly

Cross-platform window management and OS integration library for Java

Java bindings for Skia

High fidelity benchmark runner

🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧

Rewrite of breakpad dump_syms tools in Rust

Character raster based editor, useful for ASCII art and diagrams

◦◦◦ Ellipsis is a package manager for dotfiles.

JSON for Modern C++

openc2e

This is an operational transform type replacement for ottypes/json0

Google's Operations Research tools:

A native binding generator for the Scala language.

Yet another JSON library for Scala

A list of tech coops and resources concerning tech coops and worker owned cooperatives in general.

Create UIImage / NSImage instances with NSString and ASCII art

Manage state with finesse

Speak to your editor.

Port of Box2D to JavaScript using Emscripten

sleuth.vim: Heuristically set buffer options

Cataclysm - Dark Days Ahead. A turn-based survival game set in a post-apocalyptic world.

Let's do Bash right!

A Blender script to procedurally generate 3D spaceships