on this page

Unless otherwise stated, all the software in this section is copyrighted by the respective authors.


Hypha type reconstruction tool for the linear π-calculus with composite and equi-recursive types.
SPAn (with Federico Angaramo and Paolo Inaudi), a tool for type reconstruction and progress analysis of binary sessions.


Carbon, a functional programming language.
PiDuce, a distributed implementation of the asynchronous π-calculus with XML datatypes, pattern matching, and join patterns.
GtkMathView, a Gtk widget for rendering MathML documents.
Gdome2 (with Paolo Casarini), a DOM implementation based on libxml2, the XML library for GNOME.
GMetaDOM (with Claudio Sacerdoti Coen and Stefano Zacchiroli) automatically generated DOM bindings.
MathEdit, an embeddable component for editing MathML documents.
PET, a Path Expression Templates C++ library (regular path expressions over linked data structures).
EdiTeX (with Paolo Marinelli) an interactive, WYSIWYG editor for MathML based on TeX syntax.
Gdome2-XSLT (with Claudio Sacerdoti Coen), Gdome2-based C, C++, and OCaml bindings for libXSLT, the XSLT library for GNOME.
GtkMathView-Bonobo (with Pouria Masoudi) a Bonobo Control for GtkMathView.
UWOBO, a Java servlet for stylesheet application.
libXTFM, retrieve information from TFM files and export the metrics into XML by means of this small and simple C library.
Flea, a Yacc Grammar Generator for parsing and stream processing of XML documents.
PocketMathML, a MathML rendering engine for pocket-size devices based on Windows CE.
HELMPoT, a Netscape Plug-ouT for rendering MathML documents
yForth?, a small and portable Forth interpreter written in ANSI C, included in the Debian distribution of Linux.

master thesis

The Join-Calculus Compiler (1998), a C implementation of the distributed join-calculus with mobile agents.


lc (with Roberto Cornacchia, Andrea Ghidini, Alessandro Nanni, 1997), a compiler for the λ-calculus that generates instructions for the Categorical Abstract Machine.
kite (with Alberto Benini, Alessandro Ronchi, 1996), a Unix shell with support for remote processes.
me (with Simona di Pancrazio, Federica Romagnoli, 1995), a MIPS microprocessor emulator (to be used with gasm).
gasm (with Simona di Pancrazio, Federica Romagnoli, 1995), an assembler for a subset of the MIPS R4000 instruction set.
karn (with Simona di Pancrazio, Federica Romagnoli, 1995), didactical program for the simplification of Karnaugh maps.
giocatore artificale (with Giovanna Orlandini, Patrizia Pirṛ, Fabio Proni, 1994), a chess-playing program written in Pascal (originally written in Macintosh Pascal, then ported to Turbo Pascal, it compiles with GNU Pascal and runs!).
modified on Wed, 18 Jun 2014Flag Counter
«The genes are the master programmers, and they are programming for their lives.»
Richard Dawkins