Thomas Lohse's repositories
Language:C#000
Language:C#000
Language:TeX000
Language:PythonMIT000
dotfiles
My (bad) dotfiles
Language:Lua000
Ecdar-API
Project that defines the interface between a database and Reveaal
Language:RustMIT000
Language:RustMIT000
Ecdar-ProtoBuf-Transpiler-rs
Transpiles Ecdar-ProtoBuf to get their services and return type for use in Ecdar-Web and Ecdar-GUI-Native
Language:RustMIT000
Ecdar-Web
A REST proxy for the gRPC implementation
Language:RustMIT000
Language:Shell000
IMPR
Programming files for the 1. semester at Aalborg University in the programming course (Imperative Programming - IMPR)
Language:C000
j-Ecdar
A model checking engine for ECDAR (Environment for Compositional Design and Analysis of Real Time Systems) written in Java.
Language:JavaMIT000
KongeSpil
Gamejam 25-27 sep 2020
Language:C#000
programmer-calculator
Terminal calculator made for programmers working with multiple number representations, sizes, and overall close to the bits
Language:CGPL-3.0000
QMK
My QMK
Language:CGPL-2.0000
shaell-interpreter
Interpreter for shæll
Language:C#000
ss_template
Latex Template for the Syntax & Semantics exam @ AAU
Language:TeX000
UCDD
Uppaal CDD library
Language:C++GPL-3.0000
MIT000
www.ecdar.net
Website for the Ecdar project
Language:SCSS000