A rust implementation of fitch notation
MIT License
This is an implementation of a proof assistant using the fitch notation.
Practical Byzantine Fault Tolerance implemented in Rust.
A project to generate bindings to a rust foreign function interface for other languages.
(Toy) Compiler Infrastructure influenced by LLVM written in Rust
a model of MIR and the Rust type/trait system
This is an adoption of S-99 or P-99 for Rustlang 🦀
A Rust flavored implementation of `cowsay`
Descriptor is a spec-style test structuring library for rust
Generates ffi-compatible layer for your rust code
Using Rust code in a C project – A tale of failure (I mean a case study)
set of small projects and notes on how to call rust from C , C from rust etc.
Check 100% of execution cases of Rust programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦 For...