Various small things I developed at one point or another. As too many small-time developers, I haven't the time to maintain any of it, and it might not work any longer. Everything is free software, and new maintainers are welcome.
Copyright © 2009 ENS Cachan
Licensed under the GNU GPL.
Implements three small tools on deterministic tree-walking automata (DTWAs):
The source is available here: dtwa-tools-0.3.tar.bz2. The tools are clearly not ready for any decent use, but are distributed in case someone would be interested in them.
Copyright © 2008 INRIA
Licensed under the CeCILL License version 2.
A tool suite developed for the Feature Unification in TAG Derivation Trees paper. Among other tools, one will find a translator from feature-based TAG into feature-based RTG and simple MTT, plus translation into Prolog of feature-based RTG, allowing for instance to generate correct TAG derivation trees.
Source available using Subversion:
svn co svn://scm.gforge.inria.fr/svn/paule/trunk/gtsg
Copyright © 2006, 2007 Laboratoire I3S.
Copyright © 1984, 1986, 1989, 1992, 1995, 2000, 2001, 2002, 2004,
2005, 2006, 2007 Free Software Foundation, Inc.
Licensed under the GNU GPL.
Implements a conservative test for ambiguity in context-free grammars (see article). The tool is an implementation of an `--ambiguity' option in GNU Bison. With this option, Bison attempts to find the ambiguities in the provided grammar instead of constructing a parser.
The source is available here: bison-2.3a+ambiguity.tar.bz2. Some related options are `--conflicts', which reports the initial LR(0) conflicts that might end up in an ambiguity, `--trace=ma', which displays the computed mutually accessible item pairs, and `--trace=metrics', which displays a few grammar metrics.
See the ChangeLog for the latest bug fixes.
See also the collection of grammars for programming language I employed for the experimental results presented in my thesis.
Copyright © 2004 Laboratoire I3S.
Licensed under the MIT license.
A translator of BibTeX into Docbook XML. Its main originality lied in its use of BibTeX style files rather than a buggy BibTeX file parser. Its output is very unlikely to be up-to-date with the current Docbook format.
Copyright © 2004 Laboratoire I3S for this
edition; various copyright owners for its contents.
Licensed under the GNU
GPL.
A LiveCD realized on the basis of the Slackware Linux distribution and of the Slax LiveCD. The CD featured a complete set of programming tools and reference documents for students in computer science. The system is now outdated, and probably full of security holes; thus I recommend not to use it. If you still want to try it, please send me an email.