DavidCarl

David Carl's repositories

esp32-lora

Language:Rust200

edhoc

Experimental OSCORE implementation with EDHOC key exchange

Language:RustNOASSERTION100

LargeSystemsDevelopment

Language:Java100

csgo

A containerized dedicated server for Counter-Strike: Global Offensive

Language:ShellUnlicense010

curve25519-dalek

A pure-Rust implementation of group operations on Ristretto and Curve25519

Language:RustNOASSERTION000

loraRatchetThesis

Language:RustMIT000

LSD-Backend

Language:HTML000

davidcarl.github.io

000

DiscreteMath-Assignments

Language:Python000

docking

Language:Go000

dotfiles

Language:Shell000

esp-idf-hal

embedded-hal implementation for Rust on ESP32 and ESP-IDF

Apache-2.0000

esp32-test

Language:Rust000

LoraProofs

ProVerif proofs for different variants of LoRaWAN

000

LSD-frontend

Language:Java000

rasp_lora_client

Language:Rust000

rasp_lora_ratchet

Language:Rust000

rasp_lora_server

Language:Rust000

raspLora

Language:Rust000

SI-Exam

Language:Java000

SI-MP3

Language:TSQL000

SI-MP3-backend

Language:JavaScript000

SI-MP3-Frontend

Language:HTML000

sx127x_lora

A platform-agnostic driver for Semtech SX1276/77/78/79 based boards.

Language:RustApache-2.0000

SystemIntegrations-assignments

Language:Java000

test2019-exam

Language:Java000

testCore

Language:RustNOASSERTION000

tools

Language:Python000

UFO

Language:HTML000

UFO-Assignments

Language:Java000