A statically-typed strictly-evaluated garbage-collected readable programming language.

🏎️ A curated list of awesome things related to Solana 🏎️

Rust implementations of BIP32/39 and Ledger device comms

cargo, make me a project

The Zinc language public repository

Pairing-friendly elliptic curve library.

Solidity Compiler for Solana, Polkadot and Stellar

Pure Rust implementation of Ethereum Virtual Machine

Async multi-producer multi-consumer channel

A Rust library for interrupting asynchronous streams.

Async version of the Rust standard library

Rust JSON-RPC library on top of async/await

Detect concurrency and memory bugs and possible panic locations in Rust projects

We all know Rust's trait system is Turing complete, so tell me, why aren't we exploiting this???

A programming language with static memory management based on λ-calculus

the champagne of beta embedded databases

A fast, bump-allocated virtual DOM library for Rust and WebAssembly.

Rust library for parsing ledger cli (https://www.ledger-cli.org/) input files.

A Rust compiler front-end for IDEs

Web-based visual programming editor for Apache Mynewt Embedded OS and Embedded Rust

Unit `#[test]`ing for microcontrollers and other `no_std` systems

Rust derive-based argument parsing optimized for code size

Conan - The open-source C and C++ package manager

Zcash - Financial Privacy in Rust 🦓

Lean Theorem Prover

Implements a fixed-capacity stack-allocated Vec alternative backed by an array, using const generics.

(DEPRECATED) Proof of concept setup for a Rust App on Nano

utilities for Bitcoin SPV proof verification on (many!) other chains