on this page

• dormant
• master thesis
• undergraduate

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

dormanttop

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

master thesistop

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

undergraduatetop

• lc (with Roberto Cornacchia, Andrea Ghidini, Alessandro Nanni, 1997), a compiler for the λ-calculus that generates instructions for the Categorical Abstract Machine.
  .tar.gz
• kite (with Alberto Benini, Alessandro Ronchi, 1996), a Unix shell with support for remote processes.
  .tar.gz
• me (with Simona di Pancrazio, Federica Romagnoli, 1995), a MIPS microprocessor emulator (to be used with gasm).
  .tar.gz
• gasm (with Simona di Pancrazio, Federica Romagnoli, 1995), an assembler for a subset of the MIPS R4000 instruction set.
  .tar.gz
• 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!).
  .tar.gz

about this page top

• to reduce visual clutter many hyperlinks (like this) are highlighted only when hovering over them.

CHECK LINKS

last updated Sat May 18 15:37:04 CEST 2013 on uria