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. ⚡

Natural Number Game

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

Universal Basic Chat

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.

A minimalist design exploration

bluetooth mesh chat, IRC vibes

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

A small and fast async runtime for Rust

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

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