4 open source projects by cwi-swat

The Universal Turing Machine implemented in NXC, which runs on the LEGO device we made: http://www.legoturingmachine.org

The ATerm library is an extremely efficient library for maximally shared terms with a fast serialized format and a garbage collector (in C).

Code accompanying the SP&E paper "Drawing non-layered tidy trees in linear time" by Atze van der Ploeg

Recaffeinating Java ☕️ with custom semantics and extensions