Packages/Applications (Sciences/Computer science)

Filter by package name:
  • alt-ergo : Automated theorem prover including linear arithmetic
  • alt-ergo-gui : Graphical front end for alt-ergo
  • 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
  • frama-c : Framework for source code analysis of C software
  • 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 : Documentation for kicad (creation of electronic schematic diagrams)
  • kicad-i18n : Kicad locales
  • kicad-library : Library for kicad (creation of electronic schematic diagrams)
  • 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
  • why3 : Software verification platform

This list shows all types of packages. Show only applications.