a-mir-formality

a model of MIR and the Rust type/trait system

APACHE-2.0 License

Downloads
1.9K
Stars
282
View Code on GitHub
Ecosystems: Rust

Issue Statistics

Past Year

All Time

Total Pull Requests
25
79
Merged Pull Requests
19
68
Total Issues
7
55
Time to Close Issues
4 months
4 months
Package Rankings
Top 30.24% on Crates.io
Related Projects
const-eval

home for proposals in and around compile-time function evaluation

19 Jul 2018 105
ruast

Printable & modifiable Rust AST library

01 Jul 2023 4
learn-rust

🦀 Learning Rust

16 Dec 2018 6
ffishim

Generates ffi-compatible layer for your rust code

16 Apr 2020 11
coq-of-rust

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

28 Dec 2022 124
frunk

Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Va...

17 Oct 2016 1,269
rust-notes

Terse Rust learning material.

13 Apr 2021 58
rustfmt

Format Rust code

07 Mar 2015 5,737
sigil

a lisp oxide

27 Mar 2021 3
rust

Empowering everyone to build reliable and efficient software.

16 Jun 2010 94,996
dirmod

Automatic `mod` declaration with visibility/re-export customization, conditional compilation and ...

06 Oct 2019 19
higher

Your favourite Haskell type classes for Rust

25 Feb 2019 217
concordium-base

Core Rust and Haskell libraries used by various components of the Concordium blockchain, as well ...

29 Mar 2021 21
rust-analyzer

A Rust compiler front-end for IDEs

21 Dec 2017 13,523
learning-rust.github.io

Rust Programming Language Tutorials for Everyone!

30 Dec 2017 1,444