Explore projects

The Modest Toolset

A compiler for documents in the hybrid document format.

pseuCo.com

CPrAA - A Checker for Probabilistic Abstract Argumentation

Source code used in the Programming 2 lecture

Shared React components for pseuCo apps.

Collection of type checking, SM and MP detection, and other static semantics (only decaffeinated pseuCo)