| alt-ergo-0.95.2-2.mga4 |
Automated theorem prover including linear arithmetic |
linux/x86_64 |
| alt-ergo-gui-0.95.2-2.mga4 |
Graphical front end for alt-ergo |
linux/x86_64 |
| coq-8.4pl4-1.mga5 |
The Coq Proof Assistant |
linux/x86_64 |
| coq-flocq-2.3.0-1.mga5 |
Formalization of floating point numbers for Coq |
linux/x86_64 |
| coq-ide-8.4pl4-1.mga5 |
The Coq Integrated Development Interface |
linux/x86_64 |
| frama-c-1.9-0.20130601Fluorine.2.mga4 |
Framework for source code analysis of C software |
linux/x86_64 |
| fsa-0.51-1.mga5 |
Finite state automata package |
linux/x86_64 |
| fsa-tcl-0.51-1.mga5 |
Tcl/Tk interface for fsa |
linux/x86_64 |
| imagej-1.45b-3.mga4 |
Image Processing and Analysis in Java |
linux/noarch |
| imagej-javadoc-1.45b-3.mga4 |
Javadocs for imagej |
linux/noarch |
| kicad-20130725.bzr4024-3.mga5 |
An open source program for the creation of electronic schematic diagrams |
linux/x86_64 |
| kicad-doc-20130926.bzr493-3.mga5 |
Documentation for kicad (creation of electronic schematic diagrams) |
linux/noarch |
| kicad-library-20130923.bzr274-3.mga5 |
Library for kicad (creation of electronic schematic diagrams) |
linux/noarch |
| kicad-locales-ca-20130926.bzr493-3.mga5 |
Catalan Kicad locales |
linux/noarch |
| kicad-locales-cs-20130926.bzr493-3.mga5 |
Czech Kicad locales |
linux/noarch |
| kicad-locales-de-20130926.bzr493-3.mga5 |
German Kicad locales |
linux/noarch |
| kicad-locales-en-20130926.bzr493-3.mga5 |
English Kicad locales |
linux/noarch |
| kicad-locales-es-20130926.bzr493-3.mga5 |
Spanish Kicad locales |
linux/noarch |
| kicad-locales-fi-20130926.bzr493-3.mga5 |
Finnish Kicad locales |
linux/noarch |
| kicad-locales-fr-20130926.bzr493-3.mga5 |
French Kicad locales |
linux/noarch |