fitch

sericum

(Toy) Compiler Infrastructure influenced by LLVM written in Rust

rust-ffi

A project to generate bindings to a rust foreign function interface for other languages.

rust-ffi

Using Rust code in a C project – A tale of failure (I mean a case study)

rhb-specs

ffishim

Generates ffi-compatible layer for your rust code

descriptor

Descriptor is a spec-style test structuring library for rust

rustnotes

logic-solver-rs

coq-of-rust

Check 100% of execution cases of Rust programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦 For...

ffi-rust

set of small projects and notes on how to call rust from C , C from rust etc.

keyboard-shortcut-parser

a-mir-formality

a model of MIR and the Rust type/trait system

pbft-rs

Practical Byzantine Fault Tolerance implemented in Rust.

rust99

This is an adoption of S-99 or P-99 for Rustlang 🦀

ferris-says

A Rust flavored implementation of `cowsay`