Pinned Repositories
auhack
Corona-game
cv
DistributedExercisesAAU
dotfiles
My (bad) dotfiles
Ecdar-API
Project that defines the interface between a database and Reveaal
Ecdar-GUI-Native
Ecdar-ProtoBuf-Transpiler-rs
Transpiles Ecdar-ProtoBuf to get their services and return type for use in Ecdar-Web and Ecdar-GUI-Native
Ecdar-Web
A REST proxy for the gRPC implementation
OOP-Exam
t-lohse's Repositories
t-lohse/OOP-Exam
t-lohse/auhack
t-lohse/Corona-game
t-lohse/cv
t-lohse/DistributedExercisesAAU
t-lohse/dotfiles
My (bad) dotfiles
t-lohse/Ecdar-API
Project that defines the interface between a database and Reveaal
t-lohse/Ecdar-GUI-Native
t-lohse/Ecdar-ProtoBuf-Transpiler-rs
Transpiles Ecdar-ProtoBuf to get their services and return type for use in Ecdar-Web and Ecdar-GUI-Native
t-lohse/Ecdar-Web
A REST proxy for the gRPC implementation
t-lohse/helperscripts
t-lohse/IMPR
Programming files for the 1. semester at Aalborg University in the programming course (Imperative Programming - IMPR)
t-lohse/j-Ecdar
A model checking engine for ECDAR (Environment for Compositional Design and Analysis of Real Time Systems) written in Java.
t-lohse/KongeSpil
Gamejam 25-27 sep 2020
t-lohse/programmer-calculator
Terminal calculator made for programmers working with multiple number representations, sizes, and overall close to the bits
t-lohse/QMK
My QMK
t-lohse/shaell-interpreter
Interpreter for shæll
t-lohse/ss_template
Latex Template for the Syntax & Semantics exam @ AAU
t-lohse/UCDD
Uppaal CDD library
t-lohse/website
t-lohse/www.ecdar.net
Website for the Ecdar project