Lists (3)
Stars
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
Production ready toolkit to run AI locally
A no-limit Texas hold'em river solver using CFR variants
A Zola theme embracing minimalism, focusing on clean CSS while steering clear of resource-heavy JavaScript. Immerse yourself in a seamless user experience, powered by lightning-fast load times. ⚡
Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀
Gossip-based service discovery (and more) for large distributed systems.
Rust GUI components for building fantastic cross-platform desktop application by using GPUI.
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
PostgreSQL connection pooler, load balancer and database sharder.
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.
Cross-platform realtime MIDI processing in Rust.
Modern, idiomatic, well documented abstract algebra for Rust