Packages/Applications (Sciences/Computer science)

Filter by package name:
  • coq : The Coq Proof Assistant
  • 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.