Stars
An experimental operating system fully written in Rust, with a unikernel design, cooperative scheduling and a security model based on WASM sandboxing.
A open source reimplementation of Google's Tensor Processing Unit (TPU).
Collection of extracted System Prompts from popular chatbots like ChatGPT, Claude & Gemini
Asynchronous streams for Rust using async & await notation
Local Deep Research achieves ~95% on SimpleQA benchmark (tested with GPT-4.1-mini) and includes benchmark tools to test on your own setup. Searches 10+ sources - arXiv, PubMed, GitHub, web, and you…
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Build your own 'AirTags' 🏷 today! Framework for tracking personal Bluetooth devices via Apple's massive Find My network.
Free, simple, fast interactive diagrams for any GitHub repository
Hunt down social media accounts by username across social networks
Turso Database is a project to build the next evolution of SQLite.
Applied offensive security with Rust - https://kerkour.com/black-hat-rust
An open-source Mathematica Kernel. This repository contains the Python modules for WL Built-in functions, variables, core primitives, e.g. Symbol, a parser to create Expressions, and an evaluator t…
Bananas🍌, Cross-Platform screen 🖥️ sharing 📡 made simple ⚡.
The Ethereum Improvement Proposal repository
Command-line sampling profiler for macOS, Linux, and Windows
LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.
A cross-platform `addr2line` clone written in Rust, using `gimli`
Envision a future where every student can read all the code of a teaching operating system.
Jeff Dean's latency numbers plotted over time
Assignments for COMP SCI 839 from UW-Madison in Fall 2023
List of bugs found in distributed protocols
BlockSim: An Extensible Simulation Tool forBlockchain Systems