Explore projects

The Modest Toolset

CPrAA - A Checker for Probabilistic Abstract Argumentation

Source code used in the Programming 2 lecture

pseuCo.com

Shared React components for pseuCo apps.

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

A set of components to build a HDF reader webapp.