Highlights
- Pro
Starred repositories
Empowering everyone to build reliable and efficient software.
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell!
A markup-based typesetting system that is powerful and easy to learn.
A terminal workspace with batteries included
Actix Web is a powerful, pragmatic, and extremely fast web framework for Rust.
A full featured, fast Command Line Argument Parser for Rust
Flowistry is an IDE plugin for Rust that helps you focus on relevant code.
It's a New Kind of Wrapper for Exposing LLVM (Safely)
(Rust) Coloring terminal so simple you already know how to do it !
Parsing Expression Grammar (PEG) parser generator for Rust
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
Normalization by evaluation for Martin-Löf Type Theory with dependent records
PyQIR is a set of APIs for generating, parsing, and evaluating Quantum Intermediate Representation (QIR).
Rust procedural macro to associate constants with enum variants.
Make your gcc error message more readable with 100 lines of code