April 2006
March 2006
February 2006
January 2006
Menhir
by GeorgesMariano
Menhir est un générateur d'analyseurs syntaxiques LR(1) pour le langage de programmation Objective Caml. En d'autres termes, Menhir traduit des spécifications de grammaires LR(1) en code Objective Caml. Menhir a été conçu et implémenté par Franço
STklos Home Page
by GeorgesMariano
STklos is a free Scheme system supporting most of the languages features defined in R5RS. The aim of this implementation is to be fast as well as light. The implementation is based on an ad-hoc Virtual Machine. STklos can also be compiled as a library and
CDuce: Home page
by GeorgesMariano & 1 other
CDuce is a modern XML-oriented functional language with innovative features. A compiler is available under the terms of an open-source license. CDuce is type-safe, efficient, and offer powerful constructions to work with XML documents.
PiDuce
by GeorgesMariano
PiDuce is a distributed implementation of pi-like process calculi with native XML datatypes developed at the Department of Computer Science of Bologna.
SystemC: Welcome
by GeorgesMariano & 3 others
SystemC provides hardware-oriented constructs within the context of C++ as a class library implemented in standard C++. Its use spans design and verification from concept to implementation in hardware and software.
