| alt-ergo-2.2.0-10.mga8 |
Automated theorem prover including linear arithmetic |
linux/aarch64 |
| coq-8.11.0-4.mga8 |
The Coq Proof Assistant |
linux/aarch64 |
| coq-flocq-3.2.0-1.mga8 |
Formalization of floating point numbers for Coq |
linux/aarch64 |
| coq-ide-8.11.0-4.mga8 |
The Coq Integrated Development Interface |
linux/aarch64 |
| cuba-4.2.1-2.mga8 |
A library for multidimensional numerical integration |
linux/aarch64 |
| curaengine-4.8.0-1.1.1.mga8 |
Engine for processing 3D models into G-code instructions for 3D printers |
linux/aarch64 |
| curaengine-4.8.0-1.1.mga8 |
Engine for processing 3D models into G-code instructions for 3D printers |
linux/aarch64 |
| curaengine-4.8.0-1.mga8 |
Engine for processing 3D models into G-code instructions for 3D printers |
linux/aarch64 |
| imagej-1.53d-2.mga8 |
Image Processing and Analysis in Java |
linux/noarch |
| imagej-javadoc-1.53d-2.mga8 |
Javadocs for imagej |
linux/noarch |
| kicad-6.0.7-1.mga8 |
An open source program for the creation of electronic schematic diagrams |
linux/aarch64 |
| kicad-5.1.12-1.1.mga8 |
An open source program for the creation of electronic schematic diagrams |
linux/aarch64 |
| kicad-6.0.1-1.mga8 |
An open source program for the creation of electronic schematic diagrams |
linux/aarch64 |
| kicad-5.1.12-1.mga8 |
An open source program for the creation of electronic schematic diagrams |
linux/aarch64 |
| kicad-5.1.9-2.mga8 |
An open source program for the creation of electronic schematic diagrams |
linux/aarch64 |
| kicad-doc-6.0.7-1.mga8 |
KiCad Documentation |
linux/noarch |
| kicad-doc-5.1.12-1.1.mga8 |
Documentation for kicad (creation of electronic schematic diagrams) |
linux/noarch |
| kicad-doc-6.0.1-1.mga8 |
KiCad Documentation |
linux/noarch |
| kicad-doc-5.1.12-1.mga8 |
Documentation for kicad (creation of electronic schematic diagrams) |
linux/noarch |
| kicad-doc-5.1.9-2.mga8 |
Documentation for kicad (creation of electronic schematic diagrams) |
linux/noarch |