Grégoire Geis's starred repositories
org.alloytools.alloy
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
cargo-wizard
Cargo subcommand for configuring Cargo projects for best performance.
superconsole
The superconsole crate provides a handler and building blocks for powerful, yet minimally intrusive TUIs. It is cross platform, supporting Windows 7+, Linux, and MacOS. Rustaceans who want to create non-interactive TUIs can use the component composition building block system to quickly deploy their code.
cargo-mutants
:zombie: Inject bugs and see if your tests catch them!
xxhash-rust
Rust implementation of xxhash
provide-any
Proposed API for type-driven member access