Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

RPM of Group Sciences/Computer science

acabit-en-26112003-9mdv2011.0 Automatic Corpus-based Acquisition of Binary Terms linux/noarch
acabit-fr-4.3-8mdv2011.0 Automatic Corpus-based Acquisition of Binary Terms linux/noarch
bibutils-4.12-1 Inter-convert between various bibliography formats linux/i586
brilltagger-1.14-11mdv2011.0 Rule based tagger linux/i586
coq-8.3pl3-1 The Coq Proof Assistant linux/i586
coq-ide-8.3pl3-1 The Coq Integrated Development Interface linux/i586
cvc3-2.4.1-0 Automatic theorem prover for Satisfiability Modulo Theories linux/i586
dyalog-1.12.0-3mdv2010.1 Compiler for tabular execution of logic programs linux/i586
dyalog-sqlite-1.0.1-1mdv2010.1 DyAlog SQLITE module linux/i586
dyalog-xml-1.0.4-1mdv2010.1 DyAlog XML module linux/i586
fastr-2.04-11mdv2009.0 A tool for automatic indexing linux/i586
flemm-3.1-10mdv2011.0 Inflectional analysis on French texts linux/noarch
frmg-1.2.0-1mdv2010.1 Small preliminary example of a French grammar based on DyAlog linux/i586
frmg-viewer-1.2.0-1mdv2010.1 frmg viewer linux/i586
imagej-1.45b-2 Image Processing and Analysis in Java linux/noarch
imagej-javadoc-1.45b-2 Javadocs for imagej linux/noarch
kicad-20111228.bzr3254-1 An open source software for the creation of electronic schematic diagrams linux/i586
kicad-doc-20111221.bzr303-1 Documentation for kicad (creation of electronic schematic diagrams) linux/noarch
kicad-library-20111126.bzr112-1 Library for kicad (creation of electronic schematic diagrams) linux/noarch
kicad-locales-20110602.bzr216-5 Kicad locales linux/noarch
kicad-locales-ca-20111221.bzr303-1 Catalan Kicad locales linux/noarch
kicad-locales-cs-20111221.bzr303-1 Czech Kicad locales linux/noarch
kicad-locales-de-20111221.bzr303-1 German Kicad locales linux/noarch
kicad-locales-es-20111221.bzr303-1 Spanish Kicad locales linux/noarch
kicad-locales-fi-20111221.bzr303-1 Finnish Kicad locales linux/noarch
kicad-locales-fr-20111221.bzr303-1 French Kicad locales linux/noarch
kicad-locales-hu-20111221.bzr303-1 Hungarian Kicad locales linux/noarch
kicad-locales-it-20111221.bzr303-1 Italian Kicad locales linux/noarch
kicad-locales-ja-20111221.bzr303-1 Japanese Kicad locales linux/noarch
kicad-locales-ko-20111221.bzr303-1 Korean Kicad locales linux/noarch
kicad-locales-nl-20111221.bzr303-1 Dutch Kicad locales linux/noarch
kicad-locales-pl-20111221.bzr303-1 Polish Kicad locales linux/noarch
kicad-locales-pt-20111221.bzr303-1 Portuguese Kicad locales linux/noarch
kicad-locales-ru-20111221.bzr303-1 Russian Kicad locales linux/noarch
kicad-locales-sl-20111221.bzr303-1 Slovenian Kicad locales linux/noarch
kicad-locales-sv-20111221.bzr303-1 Salvadoran Kicad locales linux/noarch
kicad-locales-zh-cn-20111221.bzr303-1 Chinese Kicad locales linux/noarch
lexed-4.7-9mdv2011.0 Lexicon analyser linux/i586
libcvc3_5-2.4.1-0 Shared libraries for automatic SMT theorem proving linux/i586
libcvc3_5-devel-2.4.1-0 Library and includes to use automatic SMT theorem proving linux/i586
mgcomp-1.4.3-1mdv2010.1 DyALog compiler for Linguistic Meta-Grammars linux/i586
mgtools-2.2.1-2mdv2011.0 Tools and scripts to edit and visualize Meta Grammars linux/i586
mmorph-2.3.4.2-12 Morphology tool linux/i586
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
parserd-modperl-2.2.1-1mdv2010.0 A mod_perl-based viewer for parserd linux/noarch
perl-forest_utils-0.100.0-1mdv2010.0 Conversion between various formats for shared derivation forest linux/noarch
picosat-936-6 Lightweight SAT solver linux/i586
povray-3.6.1-9mdv2011.0 The Persistence of Vision Raytracer linux/i586
refdb-0.9.9-10mdv2011.0 Reference database and bibliography tool linux/i586

Generated by rpm2html 1.8.1

Fabrice Bellet, Thu Apr 10 12:23:41 2014