formal-land/rocq-of-rust
Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.
Licencia y mantenimiento
Sin licencia indicada: por defecto nadie puede reutilizar el código. Pregunta a los autores antes de usarlo en un producto.
Último cambio de código hace 4 días.
Proyectos similares
| Repositorio | Estrellas | Actividad | |
|---|---|---|---|
| 1 |  rust-lang/rustlings:crab: Small exercises to get you used to reading and writing Rust code! | ★ 64.4k | Activo |
| 2 |  pola-rs/polarsExtremely fast Query Engine for DataFrames, written in Rust | ★ 40.1k | Activo |
| 3 |  niri-wm/niriA scrollable-tiling Wayland compositor. | ★ 28.5k | Activo |
| 4 |  uutils/coreutilsCross-platform Rust rewrite of the GNU coreutils | ★ 24.3k | Activo |
| 5 |  gfx-rs/wgpuA cross-platform, safe, pure-Rust graphics API. | ★ 18.3k | Activo |
| 6 |  phil-opp/blog_osWriting an OS in Rust | ★ 17.8k | Activo |
| 7 |  996icu/996.ICURepo for counting stars and contributing. Press F to pay respect to glorious developers. | ★ 277.2k | Sin cambios |
| 8 |  torvalds/linuxLinux kernel source tree | ★ 252.4k | Activo |