Packages/Applications (Sciences/Computer science)
- alt-ergo : Automated theorem prover including linear arithmetic
- coq : The Coq Proof Assistant
- coq-flocq : Formalization of floating point numbers for Coq
- frama-c : Framework for source code analysis of C software
- 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
- ltl2ba : Fast translation from LTL formulas to Buchi automata
- opencv : Open Source Computer Vision library
- picosat : Lightweight SAT solver
- povray : The Persistence of Vision Raytracer
- why3 : Software verification platform
This list shows all types of packages. Show only applications.