Packages/Applications
(Sciences/Computer science)
- coq-ide : The Coq Integrated Development Interface
- 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.