| acabit-en-26112003-7mdv2010.0 |
Automatic Corpus-based Acquisition of Binary Terms |
linux/noarch |
| acabit-fr-4.3-6mdv2010.0 |
Automatic Corpus-based Acquisition of Binary Terms |
linux/noarch |
| bibutils-4.8-1mdv2010.1 |
Interconvert between various bibliography formats |
linux/x86_64 |
| brilltagger-1.14-10mdv2010.0 |
Rule based tagger |
linux/x86_64 |
| coq-8.3pl3-1mdv2010.2 |
The Coq Proof Assistant |
linux/x86_64 |
| coq-8.2pl1-2mdv2010.1 |
The Coq Proof Assistant |
linux/x86_64 |
| coq-ide-8.3pl3-1mdv2010.2 |
The Coq Integrated Development Interface |
linux/x86_64 |
| coq-ide-8.2pl1-2mdv2010.1 |
The Coq Integrated Development Interface |
linux/x86_64 |
| fastr-2.04-11mdv2009.0 |
A tool for automatic indexing |
linux/x86_64 |
| flemm-3.1-9mdv2010.0 |
Inflectional analysis on French texts |
linux/noarch |
| fsa-0.45-1mdv2008.1 |
Finite state automata package |
linux/x86_64 |
| fsa-tcl-0.45-1mdv2008.1 |
Tcl/Tk interface for fsa |
linux/x86_64 |
| kicad-20100314-1mdv2010.1 |
An open source software for the creation of electronic schematic diagrams |
linux/x86_64 |
| kicad-doc-1.1-2mdv2010.0 |
Documentation for kicad (creation of electronic schematic diagrams) |
linux/x86_64 |
| kicad-library-1.0-3mdv2010.0 |
Library for kicad (creation of electronic schematic diagrams) |
linux/x86_64 |
| lexed-4.7-8mdv2010.0 |
Lexicon analyser |
linux/x86_64 |
| mgtools-2.2.1-1mdv2010.1 |
Tools and scripts to edit and visualize Meta Grammars |
linux/x86_64 |
| mmorph-2.3.4.2-9mdv2010.1 |
Morphology tool |
linux/x86_64 |
| parserd-2.2.1-1mdv2010.0 |
A server of parsers |
linux/noarch |
| parserd-cgi-2.2.1-1mdv2010.0 |
A mod_perl-based viewer for parserd |
linux/noarch |