creusot-rs/creusot

Creusot helps you prove your Rust code is correct.

contractsdeductive-reasoningformal-methodsformal-verificationproofrustrust-langverificationwhy3

License & maintenance

LGPL-2.1 is a copyleft license: products that include or modify it may have to publish their code.

Last code push today.

	Repository	Stars	Language	License	Activity
1	rust-lang/rustlings:crab: Small exercises to get you used to reading and writing Rust code!	★ 64.4k	Rust	MIT	Active
2	pola-rs/polarsExtremely fast Query Engine for DataFrames, written in Rust	★ 40.1k	Rust	MIT	Active
3	niri-wm/niriA scrollable-tiling Wayland compositor.	★ 28.5k	Rust	GPL-3.0	Active
4	uutils/coreutilsCross-platform Rust rewrite of the GNU coreutils	★ 24.3k	Rust	MIT	Active
5	gfx-rs/wgpuA cross-platform, safe, pure-Rust graphics API.	★ 18.3k	Rust	Apache-2.0	Active
6	phil-opp/blog_osWriting an OS in Rust	★ 17.8k	HTML	Apache-2.0	Active
7	996icu/996.ICURepo for counting stars and contributing. Press F to pay respect to glorious developers.	★ 277.2k	—	Other	Stale
8	torvalds/linuxLinux kernel source tree	★ 252.4k	C	Other	Active