Packages/Applications (Sciences/Computer science)

Filter by package name:
  • alt-ergo : Automated theorem prover including linear arithmetic
  • coq : The Coq Proof Assistant
  • coq-flocq : Formalization of floating point numbers for Coq
  • 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
  • kicad : An open source program for the creation of electronic schematic diagrams
  • kicad-doc : KiCad Documentation
  • kicad-footprints : KiCad Footprint Libraries
  • 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
  • opencv : Open Source Computer Vision library
  • picosat : Lightweight SAT solver
  • povray : The Persistence of Vision Raytracer
  • sundials : Nonlinear, differential and algebraic equation solvers

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