Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by Skasselbard
A curated list of projects in awesome lists by Skasselbard .
https://github.com/Skasselbard/Granite
Find Deadlocks in Rust with Petri-Net Model checking (Master Thesis)
Last synced: 15 Nov 2024
https://github.com/skasselbard/granite
Find Deadlocks in Rust with Petri-Net Model checking (Master Thesis)
Last synced: 16 Dec 2024
https://github.com/skasselbard/nixos-libvirt
A module to create libvirt Domains (aka Virtual Machines) from a nix configuration for NixOS.
Last synced: 16 Dec 2024
https://github.com/skasselbard/embeddedrust
Async runtime for embedded rust and access to resources that are based on the embedded-hal crate
async-await embedded-hal executor rust
Last synced: 16 Dec 2024
https://github.com/skasselbard/petritostar
Create petri net data and convert it to other formats
Last synced: 16 Dec 2024
https://github.com/skasselbard/nixos-clusterconfig
Define cluster level configuration for a set of NixOs machines to generate a flake configuration. Including deployment tools and extendable with nixos style modules..
Last synced: 16 Dec 2024
https://github.com/skasselbard/rusty_mara
reimplementation from mara in rust
Last synced: 16 Dec 2024
https://github.com/skasselbard/nixos-k3s-cluster
Automatic Kubernetes configuration from a List of hosts
Last synced: 16 Dec 2024
https://github.com/skasselbard/dkbbanking
PDF-Parser and InfluxDB export for bank statements from DKB AG
Last synced: 16 Dec 2024
https://github.com/skasselbard/esprelay
MQTT Client via WiFi to forward messages to local circuits
Last synced: 16 Dec 2024
https://github.com/skasselbard/espblue
Link the ESP8266 with Rust on the Blue Pill
Last synced: 16 Dec 2024
https://github.com/skasselbard/block
Blog and references mainly for remembering what I did: https://skasselbard.github.io/Block/
Last synced: 16 Dec 2024
https://github.com/skasselbard/alban
Distribute dentistry students to their courses
Last synced: 16 Dec 2024
https://github.com/skasselbard/petrinetzverifikation
Ausarbeitung zur Ringvorlesung "Forschungsthemen der Informatik" SoSe 2019
Last synced: 16 Dec 2024
https://github.com/skasselbard/embedded-rust-bluepill-examples
Examples end test programs to use the embedded-rust crates on stm32f1xx
Last synced: 16 Dec 2024
https://github.com/skasselbard/mara
Memory And Resource Allocator, a low level allocator for memory that will not be freed during program run time
Last synced: 16 Dec 2024
https://github.com/skasselbard/embedded-rust-hardware-init
EmbeddedHal intialization with yaml configuration in a proc macro
Last synced: 16 Dec 2024
https://github.com/skasselbard/embedded-rust-h2al
Hardware abstraction layer - abstraction layer
Last synced: 16 Dec 2024
https://github.com/skasselbard/bachelorthesis
LoLA fork for my BachelorThesis
Last synced: 16 Dec 2024
https://github.com/skasselbard/shine
ReactJS front end for controlling lights with mqtt messages
Last synced: 16 Dec 2024
https://github.com/skasselbard/agentenwissen
Ausarbeitung zur Ringvorlesung "Forschungsthemen der Informatik" SoSe 2019
Last synced: 16 Dec 2024
https://github.com/skasselbard/rustpnml
Implementation of the petri net markup language in rust: http://www.pnml.org
Last synced: 16 Dec 2024