Sealbook / Open source / Developer tools, CLI & editors

AeneasVerif/aeneas

A verification toolchain for Rust programs

compilercoqdeductive-reasoningformal-methodsformal-verificationfstarhol4leanocamlprogram-verification

GitHub ↗Website ↗

License & maintenance

Apache-2.0 is a permissive license: free to use commercially with attribution.

Last code push today.

Similar projects

	Repository	Stars	Language	License	Activity
1	rust-lang/rustEmpowering everyone to build reliable and efficient software.	★ 120.5k	Rust	Apache-2.0	Active
2	webpack/webpackA bundler for javascript and friends. Packs many modules into a few bundled assets. Code Splitting allows for loading parts of the applicati	★ 66k	JavaScript	MIT	Active
3	FuelLabs/sway🌴 Empowering everyone to build reliable and efficient smart contracts.	★ 61.4k	Rust	Apache-2.0	Active
4	typst/typstA markup-based typesetting system that is powerful and easy to learn.	★ 56.7k	Rust	Apache-2.0	Active
5	babel/babel🐠 Babel is a compiler for writing next generation JavaScript.	★ 44.1k	TypeScript	MIT	Active
6	ziglang/zigMoved to Codeberg	★ 43.3k	Zig	MIT	Slowing
7	vlang/vSimple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports	★ 38k	V	MIT	Active
8	markedjs/markedA markdown parser and compiler. Built for speed.	★ 37.2k	JavaScript	Other	Active