aeneas

A verification toolchain for Rust programs

APACHE-2.0 License

Stars
112
Committers
13
View Code on GitHub
Ecosystems: Rust, OCaml, Coq

Commit Statistics

Past Year

All Time

Total Commits
714
2,260
Total Committers
14
18
Avg. Commits Per Committer
51.0
125.56
Bot Commits
0
0

Issue Statistics

Past Year

All Time

Total Pull Requests
104
130
Merged Pull Requests
93
119
Total Issues
64
77
Time to Close Issues
about 1 month
3 months
Related Projects
oxide

The essence of Rust.

09 Jun 2017 122
nickel

Better configuration for less

08 Jan 2019 2,024
coq-of-rust

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

28 Dec 2022 124
gluon

A static, type inferred and embeddable language written in Rust.

02 Aug 2015 3,205
glsl-lang

LALR parser for GLSL

08 Feb 2021 23
irl

A simpler version of what LLVM is at its core; "An optimizer and transpiler of its very own LLVM ...

15 Jun 2024 4
necessist

A mutation-based tool for finding bugs in tests

04 Nov 2020 86
rustc_codegen_cranelift

Cranelift based backend for rustc

22 Jun 2018 1,593
enigma

An Erlang VM implementation in Rust

14 Dec 2018 1,044
concordium-base

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

29 Mar 2021 21
cargo-cabal

A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!

02 Sep 2022 85
c2rust

Migrate C code to Rust

20 Apr 2018 3,948
y-lang

Compiler for the (rather new and very experimental) Y programming language.

16 Jan 2023 12
sericum

(Toy) Compiler Infrastructure influenced by LLVM written in Rust

23 Jun 2019 390
awesome-rust-list

This repository lists some awesome public Rust projects, Videos, Blogs and Jobs.

07 Aug 2022 34