| yakuake-25.12.3-1.fc44 |
A drop-down terminal emulator |
linux/x86_64 |
| yarnpkg-1.22.22-17.fc44 |
Fast, reliable, and secure dependency management. |
linux/x86_64 |
| yash-2.61-1.fc44 |
Yet Another SHell |
linux/x86_64 |
| yash-doc-2.61-1.fc44 |
Documentation for yash |
linux/noarch |
| yggdrasil-0.4.9-1.fc44 |
Remote data transmission and processing client |
linux/x86_64 |
| yggdrasil-devel-0.4.9-1.fc44 |
yggdrasil development files |
linux/x86_64 |
| yggdrasil-examples-0.4.9-1.fc44 |
yggdrasil example workers |
linux/x86_64 |
| yggdrasil-worker-package-manager-0.2.3-9.fc44 |
Package manager worker for yggdrasil |
linux/x86_64 |
| yices-2.7.0-6.fc44 |
SMT solver |
linux/x86_64 |
| yices-devel-2.7.0-6.fc44 |
Development files for yices |
linux/x86_64 |
| yices-doc-2.7.0-6.fc44 |
Documentation for yices |
linux/noarch |
| yices-tools-2.7.0-6.fc44 |
Command line tools that use the yices library |
linux/x86_64 |
| yosys-0.63-1.20260304git3bc26ff.fc44 |
Yosys Open SYnthesis Suite, including Verilog synthesizer |
linux/x86_64 |
| yosys-devel-0.63-1.20260304git3bc26ff.fc44 |
Development files to build Yosys synthesizer plugins |
linux/x86_64 |
| yosys-doc-0.63-1.20260304git3bc26ff.fc44 |
Documentation for Yosys synthesizer |
linux/x86_64 |
| yosys-share-0.63-1.20260304git3bc26ff.fc44 |
Architecture-independent Yosys files |
linux/noarch |
| yosyshq-abc-0.63-1.20260304git8e40154.fc44 |
Sequential logic synthesis and formal verification |
linux/x86_64 |
| yosyshq-abc-devel-0.63-1.20260304git8e40154.fc44 |
Headers and libraries for developing with ABC |
linux/x86_64 |
| yosyshq-abc-libs-0.63-1.20260304git8e40154.fc44 |
Library for sequential synthesis and verification |
linux/x86_64 |