Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

Modern C++ Programming Course (C++03/11/14/17/20/23/26)

Give Claude Code a memory that evolves with your codebase. Hooks automatically capture sessions, the Claude Agent SDK extracts key decisions and lessons, and an LLM compiler organizes everything in…

Rust-first L3 limit order book backtesting engine with Python bindings for market microstructure research.

GreyScript toolkit for Grey Hack written in TS.

Svelte wrapper for chart.js

Next-gen, Pusher-compatible, open-source WebSockets server. Simple, fast, and resilient. 📣

Step-by-step guide on how to create a GPG key on keybase.io, adding it to a local GPG setup and using it with Git and GitHub.

Comfortably monitor your Internet traffic 🕵️‍♂️

FastAI with TensorRT on Jetson Nano

Rust RPC framework with high-performance and strong-extensibility for building micro-services.

An open source, self-hosted implementation of the Tailscale control server

Penumbra Color Theme

Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one

Containers for machine learning

Linux io_uring based c++ 20 coroutine library

Web and API based SMTP testing

Appwrite® - complete cloud infrastructure for your web, mobile and AI apps. Including Auth, Databases, Storage, Functions, Messaging, Hosting, Realtime and more

Unified querying, transformation, and modification of JSON, TOML, YAML, XML, INI, HCL, KDL and CSV.

Devpill.me - A Public Good Blockchain Development Guide

The canonical spec for ulid

Learning Rust By Practice, narrowing the gap between beginner and skilled-dev through challenging examples, exercises and projects.

Awesome list of open-source startup alternatives to well-known SaaS products 🚀

🚀 Free resources you may use to promote your next startup

Low-code backend platform. Manage database on spreadsheet-like UI and build cloud functions workflows in JS/TS, all in your browser.

Hurl, run and test HTTP requests with plain text.

A bittorrent client in Rust

📚 Learn to write an embedded OS in Rust 🦀

Xplorer, a customizable, modern file manager

📺(tv) Tidy Viewer is a cross-platform CLI csv pretty printer that uses column styling to maximize viewer enjoyment.