creusot-rs/creusot

Creusot helps you prove your Rust code is correct.

contractsdeductive-reasoningformal-methodsformal-verificationproofrustrust-langverificationwhy3

Licencia y mantenimiento

LGPL-2.1 es una licencia copyleft: los productos que lo incluyan o modifiquen pueden tener que publicar su código.

Último cambio de código hoy.

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