Research tools

ecco

Tools for the formal modelling and analysis of ecosystems

ecco is a Jupyter library dedicated to the formal modelling and analysis of social-ecological systems. It implements methods described and promoted by the EDEN framework.

Companion libraries:

The SNAKES toolkit

A versatile Petri nets library

SNAKES is a Python library that provides all the necessary to define and execute many sorts of Petri nets, in particular algebras of Petri nets. SNAKES’ main aim is to be a general Petri net library, being able to cope with most Petri nets models, and providing the researcher with a tool to quickly prototype new ideas.

SNAKES will eventually be replaced by Zinc that compiles nets to allow their execution.

Teaching tools

badass

Bad assessments

badass helps to produce automated assessments of programming projects. It is likely to produce bad assessments of good projects, but good assessments of bad projects. Indeed, it can test:

But it cannot test code readability and clarity, algorithm relevance and quality, and all such aspects one would like to test on good projects.

CoW

Code over the Web

CoW is a minimalist online programming environment, with only the required features so that somebody can program and execute code on a real Linux box without having to install anything.

Human Resource Machine interpreter

This is a Python interpreter for programs from the Human Resource Machine game from Tomorrow Corporation. Within the game, one may copy/paste the source code that is edited visually. This library features a parser for this code, and CLI/TUI interpreters.

codanim

Animated code & data structures with LaTeX/beamer

codanim allows generating LaTeX/TikZ code to animate source code and data structures for beamer presentations. So far, it is oriented to simulate C code, but there is no conceptual limitation for the simulation of other languages. codanim is currently highly experimental and neither well documented nor well tested. You’ve been warned.