| acabit-en-26112003-4mdv2007.0 |
Automatic Corpus-based Acquisition of Binary Terms |
linux/noarch |
| acabit-fr-4.3-2mdv2007.0 |
Automatic Corpus-based Acquisition of Binary Terms |
linux/noarch |
| bibutils-3.24-3mdv2007.0 |
The bibutils program set interconverts between various bibliography formats |
linux/i586 |
| brilltagger-1.14-5mdv2007.0 |
Rule based tagger |
linux/i586 |
| coq-8.0pl3-5mdv2007.0 |
The Coq Proof Assistant |
linux/i586 |
| coq-ide-8.0pl3-5mdv2007.0 |
The Coq Integrated Development Interface |
linux/i586 |
| dyalog-1.11.0-2mdk |
Compiler for tabular execution of logic programs |
linux/i586 |
| dyalog-sqlite-1.0.0-3mdv2007.0 |
DyAlog SQLITE module |
linux/i586 |
| dyalog-xml-1.0.1-3mdv2007.0 |
DyAlog XML module |
linux/i586 |
| fastr-2.04-8mdv2007.0 |
A tool for automatic indexing |
linux/i586 |
| flemm-3.1-5mdv2007.0 |
Inflectional analysis on French texts |
linux/noarch |
| frmg-1.0.0-6mdv2007.0 |
Small preliminary example of a French grammar based on DyAlog |
linux/i586 |
| frmg-viewer-1.0.0-6mdv2007.0 |
frmg viewer |
linux/i586 |
| fsa-0.42-3mdv2007.0 |
Finite state automata package |
linux/i586 |
| fsa-tcl-0.42-3mdv2007.0 |
Tcl/Tk interface for fsa |
linux/i586 |
| kicad-20060626-1mdv2007.0 |
An open source software for the creation of electronic schematic diagrams |
linux/i586 |
| lexed-4.6-4mdk |
Lexicon analyser |
linux/i586 |
| mgcomp-1.4.1-2mdv2007.0 |
DyALog compiler for Linguistic Meta-Grammars |
linux/i586 |
| mgtools-1.0.1-2mdv2007.0 |
Tools and scripts to edit and visualize Meta Grammars |
linux/i586 |
| mmorph-2.3.4.2-4mdv2007.0 |
Morphology tool |
linux/i586 |