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
- coq-ide : The Coq Integrated Development Interface
- cuba : A library for multidimensional numerical integration
- curaengine : Engine for processing 3D models into G-code instructions for 3D printers
- 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-footprints : KiCad Footprint Libraries
- kicad-i18n : Kicad locales
- kicad-library : Library for kicad (creation of electronic schematic diagrams)
- kicad-packages3d : KiCad 3D Models
- kicad-symbols : KiCad Symbols
- kicad-templates : KiCad Templates
- lexed : Lexicon analyser
- ltl2ba : Fast translation from LTL formulas to Buchi automata
- picosat : Lightweight SAT solver
- povray : The Persistence of Vision Raytracer
- povray-scenes : POV-Ray example scenes
- sundials : Nonlinear, differential and algebraic equation solvers
This list shows only applications. Show all packages.