🌴 Empowering everyone to build reliable and efficient smart contracts.

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

Lightning-fast and Powerful Code Editor written in Rust

Ergonomic and modular web framework built with Tokio, Tower, and Hyper

Build fast web applications with Rust.

Generate any location from the real world in Minecraft Java Edition with a high level of detail.

A lightweight, memory-protected, message-passing kernel for deeply embedded systems.

A CLI tool to convert your codebase into a single LLM prompt with source tree, prompt templating, and token counting.

The easiest & fastest way to run customized and fine-tuned LLMs locally or on the edge

A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

The Halo2 zero-knowledge proving system

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

An efficient, secure cryptocomputer

Research prototype tool for modular formal verification of C and Java programs

A Rust library for polynomial commitments

Shoggoth is a peer-to-peer network for publishing and distributing open-source Artificial Intelligence

Rust crypto library for data privacy tools

A Rust/WASM implementation of homotopy.io

A Nix template for full-stack web apps in Rust using Leptos

An Rust implementation of FROST: Flexible Round-Optimised Schnorr Threshold signatures using the Ristretto group

An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.

Anonymous Credential Exchange 2.0

An OCaml clone (for now)