Pinned Loading

1. petrivet petrivet Public

   Pure Rust Petri net model checker

   Rust 1 1

2. dotfiles dotfiles Public

   Nix 2

3. Blackjack Blackjack Public

   A simple command-line Blackjack game in Rust

   Rust 2 1

4. rust-random/rand rust-random/rand Public

   A Rust library for random number generation.

   Rust 2.1k 502

5. petgraph/petgraph petgraph/petgraph Public

   Graph data structure library for Rust.

   Rust 4k 453

6. cool-japan/oxiz cool-japan/oxiz Public

   OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to reimplement Z3 in Pure Rust. Pure Rust is a fundamental req…

   Rust 41 3