Pinned Repositories
AgentenWissen
Ausarbeitung zur Ringvorlesung "Forschungsthemen der Informatik" SoSe 2019
embeddedRust
Async runtime for embedded rust and access to resources that are based on the embedded-hal crate
Granite
Find Deadlocks in Rust with Petri-Net Model checking (Master Thesis)
NixOs-Libvirt
A module to create libvirt Domains (aka Virtual Machines) from a nix configuration for NixOS.
nom-uri
no_std uri parser
PetriToStar
Create petri net data and convert it to other formats
rustpiIO
RustpiIO is a library to read and write to the SPI bus and the GPIO pins of a Raspberry Pi.
RustPNML
Implementation of the petri net markup language in rust: http://www.pnml.org
Skasselbard's Repositories
Skasselbard/Granite
Find Deadlocks in Rust with Petri-Net Model checking (Master Thesis)
Skasselbard/NixOs-Libvirt
A module to create libvirt Domains (aka Virtual Machines) from a nix configuration for NixOS.
Skasselbard/nom-uri
no_std uri parser
Skasselbard/embeddedRust
Async runtime for embedded rust and access to resources that are based on the embedded-hal crate
Skasselbard/PetriToStar
Create petri net data and convert it to other formats
Skasselbard/rustpiIO
RustpiIO is a library to read and write to the SPI bus and the GPIO pins of a Raspberry Pi.
Skasselbard/AgentenWissen
Ausarbeitung zur Ringvorlesung "Forschungsthemen der Informatik" SoSe 2019
Skasselbard/RustPNML
Implementation of the petri net markup language in rust: http://www.pnml.org
Skasselbard/Alban
Distribute dentistry students to their courses
Skasselbard/BachelorThesis
LoLA fork for my BachelorThesis
Skasselbard/Block
Blog and references mainly for remembering what I did: https://skasselbard.github.io/Block/
Skasselbard/DKBBanking
PDF-Parser and InfluxDB export for bank statements from DKB AG
Skasselbard/embedded-rust-bluepill-examples
Examples end test programs to use the embedded-rust crates on stm32f1xx
Skasselbard/embedded-rust-H2AL
Hardware abstraction layer - abstraction layer
Skasselbard/embedded-rust-hardware-init
EmbeddedHal intialization with yaml configuration in a proc macro
Skasselbard/ESPBlue
Link the ESP8266 with Rust on the Blue Pill
Skasselbard/ESPRelay
MQTT Client via WiFi to forward messages to local circuits
Skasselbard/HausBau
Notizen für den Hausbau
Skasselbard/kernel
Mirror of https://gitlab.redox-os.org/redox-os/kernel
Skasselbard/Leif
Simple Publish Subscribe
Skasselbard/mara
Memory And Resource Allocator, a low level allocator for memory that will not be freed during program run time
Skasselbard/NanoGardening
Skasselbard/nixconfigs
Skasselbard/NixOS-K3s-Cluster
Automatic Kubernetes configuration from a List of hosts
Skasselbard/NixOs-Staged-Hive
Scripts to boot and deploy a colmena hive of NixOs machines (featuring K3s cluster).
Skasselbard/PetrinetzVerifikation
Ausarbeitung zur Ringvorlesung "Forschungsthemen der Informatik" SoSe 2019
Skasselbard/rust
Empowering everyone to build reliable and efficient software.
Skasselbard/rusty_mara
reimplementation from mara in rust
Skasselbard/scripts
scripts for generic tasks
Skasselbard/Shine
ReactJS front end for controlling lights with mqtt messages