Stars
A cozy terminal clubhouse for developers. Lofi beats, casual games, chat, and tech news, all via SSH.
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.
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 network 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
Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one
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
Rust By Practice will evolve into Origin.
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.
📚 Learn to write an embedded OS in Rust 🦀
Xplorer, a customizable, modern file manager