«The genes are the master programmers, and they are programming for their lives.»
Richard Dawkins

on this page

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

AAA

active

[1]
Hypha
Luca Padovani
Type reconstruction tool for the linear π-calculus with composite and equi-recursive types
AAA

student projects

[4]
SPAn
Federico Angaramo, Paolo Inaudi, and Luca Padovani
Tool for type reconstruction and progress analysis of binary sessions
[3]
Gdome2
Paolo Casarini and Luca Padovani
DOM implementation based on libxml2, the XML library for GNOME
[2]
EdiTeX
Luca Padovani and Paolo Marinelli
interactive WYSIWYG editor for MathML based on TeX syntax
[1]
GtkMathView-Bonobo
Pouria Masoudi and Luca Padovani
Bonobo Control for GtkMathView
AAA

dormant

[13]
Carbon
Luca Padovani
Strict functional programming language
[12]
PiDuce
Samuele Carpineti, Leonardo Mezzina, and Luca Padovani
Distributed implementation of the asynchronous π-calculus with XML datatypes, pattern matching, and join patterns
Luca Padovani
Gtk widget for rendering MathML documents
[10]
GMetaDOM
Automatically generated DOM bindings
[9]
MathEdit
Nathan Hurst, Clare So, and Luca Padovani
Embeddable component for editing MathML documents
[8]
PET
Luca Padovani
Path Expression Templates C++ library (regular path expressions over linked data structures)
[7]
Gdome2-XSLT
Luca Padovani and Claudio Sacerdoti Coen
Gdome2-based C, C++, and OCaml bindings for libXSLT, the XSLT library for GNOME
[6]
UWOBO
Luca Padovani
Java servlet for stylesheet application
[5]
libXTFM
Luca Padovani
C API for accessing TFM files and exporting the metrics into XML
[4]
Flea
Luca Padovani
Yacc Grammar Generator for parsing and stream processing of XML documents
[3]
PocketMathML
Luca Padovani
MathML rendering engine for pocket-size devices based on Windows CE, 2002
[2]
HELMPoT
Luca Padovani
Netscape Plug-ouT for rendering MathML documents
[1]
yForth?
Luca Padovani
Small and portable Forth interpreter written in ANSI C, included in the Debian distribution of Linux
AAA

master thesis

[1]
The Join-Calculus Compiler
Luca Padovani
C implementation of the distributed join-calculus with mobile agents, 1998
AAA

undergraduate

[6]
lc
Roberto Cornacchia, Andrea Ghidini, Alessandro Nanni, and Luca Padovani
Compiler for the λ-calculus that generates instructions for the Categorical Abstract Machine, 1997
[5]
kite
Alberto Benini, Luca Padovani, and Alessandro Ronchi
Unix shell with support for remote processes, 1996
[4]
me
Simona di Pancrazio, Luca Padovani, and Federica Romagnoli
MIPS microprocessor emulator (to be used with gasm), 1995
[3]
gasm
Simona di Pancrazio, Luca Padovani, and Federica Romagnoli
Assembler for a subset of the MIPS R4000 instruction set, 1995
[2]
karn
Simona di Pancrazio, Luca Padovani, and Federica Romagnoli
Didactical program for the simplification of Karnaugh maps, 1995
[1]
giocatore artificale
Giovanna Orlandini, Luca Padovani, Patrizia Pirṛ, and Fabio Proni
Chess-playing program written in Pascal (originally written in Macintosh Pascal, then ported to Turbo Pascal, it compiles with GNU Pascal and runs!), 1994
made with LESS CSS validate XHTML 1.1 CSS 3 URLs modified Sat, 20 Sep 2014Flag Counter