Highlights
- Pro
Lists (3)
Sort Name ascending (A-Z)
Stars
A menagerie of cute implementations of modern typechecking algorithms
Blazing fast, instant realtime GraphQL APIs on all your data with fine grained access control, also trigger webhooks on database events.
Ghidra is a software reverse engineering (SRE) framework
A Rust crate that provides hard-to-misuse rigid body transforms (aka "spatial math") for engineers with other things to worry about than linear algebra.
🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL. Supports PostgreSQL, MySQL, and SQLite.
The best way to write secure and reliable applications. Write nothing; deploy nowhere.
A Lean formalization of the theory of oracle computability and Turing degrees via partial recursive functions
A tool for creating and running Linux containers using lightweight virtual machines on a Mac. It is written in Swift, and optimized for Apple silicon.
Move and resize windows on macOS with keyboard shortcuts and snap areas
Horizontal scaling for PostgreSQL with automatic sharding.
A fully asynchronous, futures-based Kafka client library for Rust based on librdkafka
Mastering Poker with Deep CFR: Building an AI for 6-Player No-Limit Texas Hold’em
A project to digitalise results from physics into Lean.
2D and 3D physics engines focused on performance.
A high-performance distributed file system designed to address the challenges of AI training and inference workloads.
Modern, idiomatic, well documented abstract algebra for Rust
Track personal Bluetooth devices via Apple's "Find My" network using OpenHaystack and Macless-Haystack with tools written in Go/TinyGo. No Apple hardware required!
👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
Recipes to scale inference-time compute of open models
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
High-performance, well-tested & documented core libraries for Ethereum, in Rust
An extremely fast Python package and project manager, written in Rust.
Rust / Wasm framework for creating reliable and efficient web applications