Uppaal Timed Automata Parser Library (forked from https://people.cs.aau.dk/~marius/utap/)

The repository is for safe reinforcement learning baselines.

Touying is a powerful package for creating presentation slides in Typst.

A plethora of assorted projects

A new markup-based typesetting system that is powerful and easy to learn.

A collection of Aalborg University LaTeX-templates

XMLDict implements a simple Associative interface for XML documents.

Ra Spring Theme for VSCode

A high-level file library for Wu

🍻 A beer programming language

N-body simuation as an exercise in Rust

An underwater game

Snapshot of North Korea's DNS data taken from zone transfers.