Explore projects

The Modest Toolset

pseuCo.com

Shared React components for pseuCo apps.

A compiler for documents in the hybrid document format.

CPrAA - A Checker for Probabilistic Abstract Argumentation

Source code used in the Programming 2 lecture

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