Packages/Applications (Sciences/Computer science)
- alt-ergo : Automated theorem prover including linear arithmetic
- alt-ergo-gui : Graphical front end for alt-ergo
- coq : The Coq Proof Assistant
- coq-ide : The Coq Integrated Development Interface
- fsa : Finite state automata package
- fsa-tcl : Tcl/Tk interface for fsa
- imagej : Image Processing and Analysis in Java
- imagej-javadoc : Javadocs for imagej
- kicad : An open source program for the creation of electronic schematic diagrams
- kicad-doc : KiCad Documentation
- kicad-library : Library for kicad (creation of electronic schematic diagrams)
- kicad-locales-ca : Catalan Kicad locales
- kicad-locales-cs : Czech Kicad locales
- kicad-locales-de : German Kicad locales
- kicad-locales-en : English Kicad locales
- kicad-locales-es : Spanish Kicad locales
- kicad-locales-fi : Finnish Kicad locales
- kicad-locales-fr : French Kicad locales
- kicad-locales-hu : Hungarian Kicad locales
- kicad-locales-it : Italian Kicad locales
- kicad-locales-ja : Japanese Kicad locales
- kicad-locales-ko : Korean Kicad locales
- kicad-locales-nl : Dutch Kicad locales
- kicad-locales-pl : Polish Kicad locales
- kicad-locales-pt : Portuguese Kicad locales
- kicad-locales-ru : Russian Kicad locales
- kicad-locales-sl : Slovenian Kicad locales
- kicad-locales-sv : Salvadoran Kicad locales
- kicad-locales-zh-cn : Chinese Kicad locales
- lexed : Lexicon analyser
- perl-forest_utils : Conversion between various formats for shared derivation forest
- povray : The Persistence of Vision Raytracer
This list shows all types of packages. Show only applications.