Pinned

1. Granite Granite Public

   Find Deadlocks in Rust with Petri-Net Model checking (Master Thesis)

   Rust 23 1

2. embeddedRust embeddedRust Public

   Async runtime for embedded rust and access to resources that are based on the embedded-hal crate

   Rust 2

3. nom-uri nom-uri Public

   no_std uri parser

   Rust 3

4. NixOs-Libvirt NixOs-Libvirt Public

   A module to create libvirt Domains (aka Virtual Machines) from a nix configuration for NixOS.

   Nix 4 1

5. PetriToStar PetriToStar Public

   Create petri net data and convert it to other formats

   Rust 1

6. RustPNML RustPNML Public

   Implementation of the petri net markup language in rust: http://www.pnml.org

   Rust