| acabit-en-26112003-6mdv2009.0 |
Automatic Corpus-based Acquisition of Binary Terms |
linux/noarch |
| acabit-fr-4.3-5mdv2009.0 |
Automatic Corpus-based Acquisition of Binary Terms |
linux/noarch |
| bibutils-3.41-1mdv2009.0 |
The bibutils program set interconverts between various bibliography formats |
linux/i586 |
| brilltagger-1.14-9mdv2009.0 |
Rule based tagger |
linux/i586 |
| coq-8.2-1mdv2009.1 |
The Coq Proof Assistant |
linux/i586 |
| coq-ide-8.2-1mdv2009.1 |
The Coq Integrated Development Interface |
linux/i586 |
| dyalog-1.11.3-1mdv2008.1 |
Compiler for tabular execution of logic programs |
linux/i586 |
| dyalog-sqlite-1.0.0-6mdv2009.0 |
DyAlog SQLITE module |
linux/i586 |
| dyalog-xml-1.0.3-3mdv2009.0 |
DyAlog XML module |
linux/i586 |
| fastr-2.04-11mdv2009.0 |
A tool for automatic indexing |
linux/i586 |
| flemm-3.1-8mdv2009.0 |
Inflectional analysis on French texts |
linux/noarch |
| frmg-1.0.0-8mdv2009.0 |
Small preliminary example of a French grammar based on DyAlog |
linux/i586 |
| frmg-viewer-1.0.0-8mdv2009.0 |
frmg viewer |
linux/i586 |
| fsa-0.45-1mdv2008.1 |
Finite state automata package |
linux/i586 |
| fsa-tcl-0.45-1mdv2008.1 |
Tcl/Tk interface for fsa |
linux/i586 |
| kicad-20080715-4mdv2009.0 |
An open source software for the creation of electronic schematic diagrams |
linux/i586 |
| kicad-doc-1.1-1mdv2009.0 |
Documentation for kicad (creation of electronic schematic diagrams) |
linux/i586 |
| kicad-library-1.0-2mdv2009.0 |
Library for kicad (creation of electronic schematic diagrams) |
linux/i586 |
| lexed-4.7-7mdv2009.0 |
Lexicon analyser |
linux/i586 |
| mgcomp-1.4.1-2mdv2007.0 |
DyALog compiler for Linguistic Meta-Grammars |
linux/i586 |