A Safety verifier fOr The ERlang language: a fully-automatic program analyser and verifier for Erlang modules.
A prototype implementation for a type system inferring properties of the communication topology of π‑calculus programs.
An agent computing model that simulates the individual dynamics of firms and workers in the labor market.
DBLP for ST3
A plugin for Sublime Text 3 that allows you to browse and fetch citation entries from dblp.org.
Other plugins for Sublime Text 3 I maintain.
A package for multi-author documents commenting.