Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.
You must be logged in to block users.
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Verification and response-time analysis tool for RTIC applications
Rust 3
RAUK: Automatic Schedulability Analysis of RTIC Applications Using Symbolic Execution
TeX 4
My minimalistic resume
TeX
My personal dotfiles. Wayland compatible.
Shell 1
Forked from viktorfrom/e7020e-embedded-system-design
A working breathalyzer with a custom PCB and developed with rtfm-rs
Rust
THIS REPOSITORY IS NOW UNMAINTAINED
Python 2 4
There was an error while loading. Please reload this page.