Stars
A computer science textbook
A native, user-mode, multi-process, graphical debugger.
Remove unused Rust dependencies with this one weird trick!
DuckLake is an integrated data lake and catalog format
A GitHub Action that implements smart caching for rust/cargo projects
A framework for writing performant and reliable networked services.
Tinder with artworks. Semester project written in Jetpack Compose
Cargo subcommand for viewing LLVM optimization remarks.
This is an online course where you can learn and master the skill of low-level performance analysis and tuning.
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
A language server for Zig supporting developers with features like autocomplete and goto definition
🦀 The ultimate search extension for Rust
AeroSpace is an i3-like tiling window manager for macOS
A Rust crate for cooking up terminal user interfaces (TUIs) 👨🍳🐀 https://ratatui.rs
The financial transactions database designed for mission critical safety and performance.
A static, type inferred and embeddable language written in Rust.
VSCode extension that is designed to help automate writing of Coq proofs.
A terminal workspace with batteries included
Empowering everyone to build reliable and efficient software.
A set of exercises for deliberate Git Practice
Master programming by recreating your favorite technologies from scratch.
Find out what takes most of the space in your executable.
The Patterns of Scalable, Reliable, and Performant Large-Scale Systems
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...