An open-source remote desktop application designed for self-hosting, as an alternative to TeamViewer.

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

A markup-based typesetting system that is powerful and easy to learn.

A simple, fast and user-friendly alternative to 'find'

Fullstack app framework for web, desktop, and mobile.

Create book from markdown files. Like Gitbook but implemented in Rust

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

Rust GUI components for building fantastic cross-platform desktop application by using GPUI.

An interpreter for Rust's mid-level intermediate representation

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

Cap'n Proto for Rust

Rust implementation of the Ethereum Virtual Machine.

A toolbox for zkSNARKs on Ethereum

Key remapper for X11 and Wayland

Cairo is the first Turing-complete language for creating provable programs for general computation.

A neovim plugin to run lines/blocs of code (independently of the rest of the file), supporting multiples languages

Creusot helps you prove your code is correct in an automated fashion.

Noir is a domain specific language for zero knowledge proofs

A toolkit for polynomial IOPs (PIOPs)

Incremental computation through constrained memoization.

3D fluid simulation experiments in Rust, using WebGPU-rs (WIP)

symbolic execution engine for Rust

A collaborative environment for formal, interoperable, conceptual modeling