This is your work, valued

Tom Meyer

Advanced
@Skasselbard

Profile Picture: https://imgur.com/gallery/7ok4g

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

23

nom-uri. no_std uri parser

6

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

5

NixOS-K3s-Cluster. Automatic Kubernetes configuration from a List of hosts

3

PetriToStar. Create petri net data and convert it to other formats

2

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

2

NixOs-ClusterConfig. Define cluster level configuration for a set of NixOs machines to generate a flake configuration. Extendable with cluster services that can be configured and run on the cluster machines.

1

rustpiIO. RustpiIO is a library to read and write to the SPI bus and the GPIO pins of a Raspberry Pi.

1