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
markup.ml

Error-recovering streaming HTML5 and XML parsers

11 Jan 2016 146
js_of_ocaml

Compiler from OCaml to Javascript.

29 Jul 2013 932
coq-of-ocaml

Formal verification for OCaml

31 Oct 2013 242
alcotest

A lightweight and colourful test framework

12 Dec 2013 450
hazel

Hazel, a live functional programming environment with typed holes

27 Jan 2017 659
ocaml-interop

OCaml<->Rust FFI with an emphasis on safety.

30 Jul 2020 134
austral

Systems language with linear types and capability-based security.

25 Sep 2018 1,062
ocaml-lsp

OCaml Language Server Protocol implementation

10 Dec 2019 757
philip2

An Elm to OCaml compiler

22 Oct 2018 205
felix

The Felix Programming Language

02 Mar 2010 804
dde

Pure Demand Operational Semantics

22 Nov 2022 5
bisect_ppx

Code coverage for OCaml and ReScript

30 Apr 2015 302
angstrom

Parser combinators built for speed and memory efficiency

28 Nov 2015 637
pesy

Project configuration for esy

23 Jan 2019 141
sisyphus

Mostly Automated Proof Repair for Verified Libraries

19 Feb 2022 4