-
EPFL
- Italy
- @GiacomoFenzi
Highlights
- Pro
Stars
Empowering everyone to build reliable and efficient software.
A cross-platform, OpenGL terminal emulator.
A curated list of Rust code and resources.
👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++
Rust / Wasm framework for creating reliable and efficient web applications
Development repository for the Triton language and compiler
A bunch of links to blog posts, articles, videos, etc for learning Rust
A super-easy, composable, web server framework for warp speeds.
Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3
Command-line sampling profiler for macOS, Linux, and Windows
An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all inputs.
Project Wycheproof tests crypto libraries against known attacks.
C library for prototyping and experimenting with quantum-resistant cryptography
A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
⌥ AI Coding agent for the terminal — hash-anchored edits, optimized tool harness, LSP, Python, browser, subagents, and more
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
A small macro for defining lazy evaluated static variables in Rust.