Thomas Lohse's repositories
dotfiles
My (bad) dotfiles
Ecdar-API
Project that defines the interface between a database and Reveaal
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
IMPR
Programming files for the 1. semester at Aalborg University in the programming course (Imperative Programming - IMPR)
j-Ecdar
A model checking engine for ECDAR (Environment for Compositional Design and Analysis of Real Time Systems) written in Java.
KongeSpil
Gamejam 25-27 sep 2020
programmer-calculator
Terminal calculator made for programmers working with multiple number representations, sizes, and overall close to the bits
QMK
My QMK
shaell-interpreter
Interpreter for shæll
ss_template
Latex Template for the Syntax & Semantics exam @ AAU
UCDD
Uppaal CDD library
www.ecdar.net
Website for the Ecdar project