expect-test

🌴 Empowering everyone to build reliable and efficient smart contracts.

A cat(1) clone with wings.

A terminal workspace with batteries included

A Rust compiler front-end for IDEs

A highly customizable Changelog Generator that follows Conventional Commit specifications ⛰️

An idiomatic, lean, fast & safe pure Rust implementation of Git

Event streaming platform for agentic AI. Continuously ingest, transform, and serve event streams in real time, at scale.

The AI framework that adds the engineering to prompt engineering (Python/TS/Ruby/Java/C#/Rust/Go compatible)

Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language

Build and publish crates with pyo3, cffi and uniffi bindings as well as rust binaries as python packages

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

The Deterministic Foundation for your SDLC

🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧

Rust implementation of the Microsoft Remote Desktop Protocol (RDP)

A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.

cuda-oxide is an experimental Rust-to-CUDA compiler that lets you write (SIMT) GPU kernels in safe(ish), idiomatic Rust. It compiles standard Rust code directly to PTX — no DSLs, no foreign language bindings, just Rust.

An async ORM for Rust

Reference client for NEAR Protocol

An implementation of the Language Server Protocol for LaTeX

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

Home of OpenVMM and OpenHCL

Secure Boot & Measured Boot for NixOS [maintainers=@blitz @raitobezarius @nikstur]

🚀 The open-source, multi-tenant platform for self-building knowledge graphs and simulation

Publish Rust crates from CI with a Release PR.

Fast SQL formatter/linter

Apache Iceberg

[Acquired by The Guild] The Grafbase GraphQL Federation Gateway

A zkVM for Decentralized Private Computations (DPC)

Microsoft Quantum Development Kit, including the Q# programming language, resource estimator, and Quantum Katas

A language server implementation for WGSL and WESL

Firefox Application Services

Spec compliant GraphQL Tools in Rust.

Frida-based tracer for easier reverse-engineering on Android, iOS, Linux, Windows and most related architectures.

Erlang Language Platform. LSP server and CLI.

Toolchain for TON smart contract development and beyond

a model of MIR and the Rust type/trait system

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

The Cairo package manager

Rust SDK for Soroban contracts.

AI the Rust Way

Bringing the real world to Web3 with a scalable, decentralized and programmable DLT infrastructure.

Rust crate for working with Unified Font Object files