Statistics for this project are still being loaded, please check back later.
Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Va...
Examples from tutorial and other documentations of Rust.
A project to generate bindings to a rust foreign function interface for other languages.
Core Rust and Haskell libraries used by various components of the Concordium blockchain, as well ...
Creusot helps you prove your code is correct in an automated fashion.
Rust programs written entirely in Rust
Defines the Rust borrow checker.
Automatically verify traits invariants for [Partial]Eq, [Partial]Ord, Hash, [DoubleEnded|Fused]it...
Generates ffi-compatible layer for your rust code
Rust implementation of the Ethereum Virtual Machine.
The essence of Rust.
A guide to Rust's basics distilled for programmers
A static verifier for Rust, based on the Viper verification infrastructure.
A Rust library for x86/64 assembly/disassembly.
Check 100% of execution cases of Rust programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦 For...