public marks

PUBLIC MARKS with tags OCaml & programming

2007

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

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.

2005

2004

PUBLIC TAGS related to tag OCaml

compiler +   Coq +   del.icio.us +   formal-methods +  

Active users

ogrisel
last mark : 06/03/2007 13:10

ionial
last mark : 10/01/2007 12:39

gvlx
last mark : 30/10/2006 11:16

GeorgesMariano
last mark : 28/04/2006 14:13

Riduidel
last mark : 23/09/2005 10:32

sigsegv
last mark : 07/01/2005 10:31