jan-ferdinand
Follow
Stars
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.
A new markup-based typesetting system that is powerful and easy to learn.
💥 Blazing fast terminal file manager written in Rust, based on async I/O.
A Rust crate for cooking up terminal user interfaces (TUIs) 👨🍳🐀 https://ratatui.rs
Learn to write Rust procedural macros [Rust Latam conference, Montevideo Uruguay, March 2019]
High-velocity, monorepo-scale workflow for Git
A memory safe implementation of sudo and su.
A query engine for any combination of data sources. Query your files and APIs as if they were databases!
A Rust implementation of Glidesort, my stable adaptive quicksort/mergesort hybrid sorting algorithm.
Attribute macro to require that the compiler prove a function can't ever panic
A language-agnostic "shebang interpreter" that enables you to write scripts in compiled languages.
Remove unused Rust dependencies with this one weird trick!
A grep-like tool which understands source code syntax and allows for manipulation in addition to search
intentrace is strace with intent, it goes all the way for you instead of half the way. intentrace is currently in beta
🏃♂️💨 GPU accelerated STARK prover built on @arkworks-rs
A STARK-based VM focused on code reuse, performance, and modularity
Productivity improvements for Rust ecosystem: warnings are skipped until errors are fixed, LSP-independent Neovim integration, etc.
Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.
Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
comparing the performance of different zero-knowledge proof libraries