WIP COSMIC terminal emulator

Proving System For VEX

An implementation of the Language Server Protocol for LaTeX

A generative music and visual system whose components are all NFTs

MLS protocol

MLS architecture

The formally verified crypto library for Rust

Rust implementation of the Messaging Layer Security (MLS) protocol

A new bootable USB solution.

Proxmox VE Helper-Scripts (Community Edition)

Prometheus / OpenMetrics client library in Rust

Rust reflection, serialization, deserialization, pretty printing, etc. — the last proc macro you should need

Golang SDK for Anthropic's Claude Code - A Go wrapper for the command line claude code agent

A collection of crates, tools, and documentation for the Rust programming language.

Noir grammar for tree-sitter.

Rust crate to generate and verify proofs for Noir circuits

Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.

Celestia -> EVM bridge

Payy

Secure and optimized communication layer for rollups using EigenDA.

let's make qr codes

A SNARK using towers of binary fields, implemented in Rust .

A verifiable supercomputer

Cross-platform Rust rewrite of the GNU coreutils