Packages/Applications (Sciences/Computer science)
- alt-ergo : Automated theorem prover including linear arithmetic
- coq : The Coq Proof Assistant
- fsa : Finite state automata package
- imagej : Image Processing and Analysis in Java
- kicad : An open source program for the creation of electronic schematic diagrams
- lexed : Lexicon analyser
- opencv : Open Source Computer Vision library
- 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.