Packages/Applications (Sciences/Computer science)

Filter by package name:
  • coq-ide : The Coq Integrated Development Interface
  • frama-c : Framework for source code analysis of C software
  • imagej : Image Processing and Analysis in Java
  • kicad : An open source program for the creation of electronic schematic diagrams

This list shows only applications. Show all packages.