Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for rust lean
lean
x
rust
x
9 search results found
Mm0
⭐
280
Metamath Zero specification language
Electrolysis
⭐
238
Simple verification of Rust programs via functional purification
Cargo Diet
⭐
136
A cargo-companion to become a 'lean crate' (a member of The Lean Crate Initiative)
Criner
⭐
104
A tool to mine crates.io and produce static websites
Aeneas
⭐
82
A verification toolchain for Rust programs
Nanoda
⭐
37
A type checker for the Lean theorem prover
Ripjson
⭐
21
A fast and lean way to grep in JSON files.
Nanoda_lib
⭐
19
Library implementing type inference/checking functionality based on the Lean theorem prover
Rex
⭐
10
A lean terminal hex editor written in Rust
Related Searches
Command Line Rust (3,187)
Rust R (1,912)
Javascript Rust (1,421)
Video Game Rust (1,177)
Rust Bindings (1,155)
Typescript Rust (1,111)
Rust Language (1,068)
Python Rust (966)
Rust Blockchain (938)
C Plus Plus Rust (885)
1-9 of 9 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.