Starred repositories
A hyper-relational knowledge base with content-addressable storage, built on Prolog, SQLite, and C.
A free-floating 2D Canvas for processing multiple PDF files simultaneously
Create elegant graphics with the Grammar of Graphics for Typst.
Fast and memory efficient c++ flat hash table/map/set
Lore is a next-generation, open source version control system
SymEngine is a fast symbolic manipulation library, written in C++
Universal Rust multiplexer with a typed SDK — drive any CLI or TUI app from code. Native on Linux, macOS, and Windows.
The Mercury logic programming system.
Chaos Monkey is a resiliency tool that helps applications tolerate random instance failures.
>99.5% KaTeX syntax coverage. LaTeX math renderer in pure Rust. No JavaScript, no WebView, no DOM. One Rust core → iOS, Android, Flutter, Web, PNG. C ABI · WASM · Server-side PNG/SVG.
cuda-oxide is an experimental Rust-to-CUDA compiler that lets you write (SIMT) GPU kernels in safe(ish), idiomatic Rust. It compiles standard Rust code directly to PTX — no DSLs, no foreign languag…
Modern C++ Programming Course (C++03/11/14/17/20/23/26)
Collections of awesome neovim plugins.
Framework and Language for Neurosymbolic Programming.
Simple, powerful, and fast logging for Python.
Drogon: A C++14/17/20 based HTTP web application framework running on Linux/macOS/Unix/Windows
A valgrind mirror with latest macOS support
A Git-compatible VCS that is both simple and powerful
A native, user-mode, multi-process, graphical debugger.
A curated list of Multiplayer Game Network Programming Resources
A jq clone focussed on correctness, speed, and simplicity
Fast, accurate & comprehensive text measurement & layout
Google Chromium, sans integration with Google