Explore projects

A small (but powerful) IDE for pseuCo.

The Modest Toolset

Inofficial Rust template for the concurrent programming project 2022. 🦀 🚀

pseuCo-Java-Compiler

pseuCo.com

A set of components to build a HDF reader webapp.

An implementation of the buffer protocol for unicode strings.

The JANI front-end module for the LTSmin toolset

Supplement material and test results for the paper "Admissibility in Probabilistic Argumentation".