Pinned Repositories
Arduino-RunningMan
A school project using a LCD screen and a arduino to make a man run and jump
Assignments_Algorithms
csgo
A containerized dedicated server for Counter-Strike: Global Offensive
curve25519-dalek
A pure-Rust implementation of group operations on Ristretto and Curve25519
database2019-exam
Database_Course
edhoc
Experimental OSCORE implementation with EDHOC key exchange
esp32-lora
LargeSystemsDevelopment
loraRatchetThesis
DavidCarl's Repositories
DavidCarl/esp32-lora
DavidCarl/edhoc
Experimental OSCORE implementation with EDHOC key exchange
DavidCarl/LargeSystemsDevelopment
DavidCarl/csgo
A containerized dedicated server for Counter-Strike: Global Offensive
DavidCarl/curve25519-dalek
A pure-Rust implementation of group operations on Ristretto and Curve25519
DavidCarl/loraRatchetThesis
DavidCarl/LSD-Backend
DavidCarl/davidcarl.github.io
DavidCarl/DiscreteMath-Assignments
DavidCarl/docking
DavidCarl/dotfiles
DavidCarl/esp-idf-hal
embedded-hal implementation for Rust on ESP32 and ESP-IDF
DavidCarl/esp32-test
DavidCarl/LoraProofs
ProVerif proofs for different variants of LoRaWAN
DavidCarl/LSD-frontend
DavidCarl/rasp_lora_client
DavidCarl/rasp_lora_ratchet
DavidCarl/rasp_lora_server
DavidCarl/raspLora
DavidCarl/SI-Exam
DavidCarl/SI-MP3
DavidCarl/SI-MP3-backend
DavidCarl/SI-MP3-Frontend
DavidCarl/sx127x_lora
A platform-agnostic driver for Semtech SX1276/77/78/79 based boards.
DavidCarl/SystemIntegrations-assignments
DavidCarl/test2019-exam
DavidCarl/testCore
DavidCarl/tools
DavidCarl/UFO
DavidCarl/UFO-Assignments