Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

RPM of Group Sciences/Computer science

alt-ergo-2.2.0-18.mga9 Automated theorem prover including linear arithmetic linux/x86_64
coq-8.16.1-1.mga9 The Coq Proof Assistant linux/x86_64
coq-flocq-4.1.0-1.mga9 Formalization of floating point numbers for Coq linux/x86_64
coq-ide-8.16.1-1.mga9 The Coq Integrated Development Interface linux/x86_64
coq-ide-server-8.16.1-1.mga9 The coqidetop language server linux/x86_64
cuba-4.2.2-1.mga9 A library for multidimensional numerical integration linux/x86_64
curaengine-4.12.1-3.mga9 Engine for processing 3D models into G-code instructions for 3D printers linux/x86_64
imagej-1.53v-1.mga9 Image Processing and Analysis in Java linux/noarch
kicad-6.0.10-1.mga9 An open source program for the creation of electronic schematic diagrams linux/x86_64
kicad-doc-6.0.10-1.mga9 KiCad Documentation linux/noarch
kicad-footprints-6.0.10-1.mga9 KiCad Footprint Libraries linux/noarch
kicad-packages3d-6.0.10-1.mga9 KiCad 3D Models linux/noarch
kicad-symbols-6.0.10-1.mga9 KiCad Symbols linux/noarch
kicad-templates-6.0.10-1.mga9 KiCad Templates linux/noarch
lexed-4.7-19.mga9 Lexicon analyser linux/x86_64
ltl2ba-1.3-2.mga9 Fast translation from LTL formulas to Buchi automata linux/x86_64
picosat-965-2.mga9 Lightweight SAT solver linux/x86_64
povray- The Persistence of Vision Raytracer linux/x86_64
povray-scenes- POV-Ray example scenes linux/noarch
sundials-6.4.1-1.mga9 Nonlinear, differential and algebraic equation solvers linux/x86_64

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Feb 5 05:26:09 2023