Stars
A hands-on tutorial: from pressing the power button to understanding Amazon Machine Images at the byte level
A personal knowledge management and sharing system for VSCode
TLA+ language support for Visual Studio Code
An interpreter for Rust's mid-level intermediate representation
Run compilers interactively from your web browser and interact with the assembly
A jq clone focussed on correctness, speed, and simplicity
commandline tools for slicing and dicing JSON records.
The Organization for Transformative Works (OTW) - Archive Of Our Own (AO3) Project
OWASP Juice Shop: Probably the most modern and sophisticated insecure web application
Source code for Code Like a Pro in Rust
Bug-tracking for Jeff's algorithms book, notes, etc.
Create book from markdown files. Like Gitbook but implemented in Rust
HTTP routing and request-handling library for Rust that focuses on ergonomics and modularity
Distributed transactional key-value database, originally created to complement TiDB
Virtual whiteboard for sketching hand-drawn like diagrams
A secure embedded operating system for microcontrollers
Pure-Rust traits and utilities for constant-time cryptographic implementations.
This repository contains several applications, demonstrating the Meltdown bug.
A command-line productivity tool powered by AI large language models like GPT-5, will help you accomplish your tasks faster and more efficiently.
Power CLI and Workflow manager for LLMs (core package)