108 packages found. Page 3 of 3.

« First ‹ Previous 1 2 3

Name Version Votes Popularity? Description Maintainer Last Updated
f4pga-arch-defs-nightly-bin-device-xc7a50t 20220523.934b12d-1 0 0.00 F4PGA device definitions for xc7a50t xiretza 2022-06-01 09:58 (UTC)
f4pga-arch-defs-nightly-bin-device-xc7a100t 20220523.934b12d-1 0 0.00 F4PGA device definitions for xc7a100t xiretza 2022-06-01 09:58 (UTC)
f4pga-arch-defs-nightly-bin-device-xc7a200t 20220523.934b12d-1 0 0.00 F4PGA device definitions for xc7a200t xiretza 2022-06-01 09:58 (UTC)
f4pga-arch-defs-nightly-bin-device-xc7z010 20220523.934b12d-1 0 0.00 F4PGA device definitions for xc7z010 xiretza 2022-06-01 09:58 (UTC)
f4pga-arch-defs-nightly-bin-device-xc7z020 20220523.934b12d-1 0 0.00 F4PGA device definitions for xc7z020 xiretza 2022-06-01 09:58 (UTC)
engage-git 0.2.0.r14.gdd6f4d9-1 0 0.00 A task runner with DAG-based parallelism xiretza 2024-05-04 18:09 (UTC)
boolector-git 3.2.2.r18.g1a89c229-1 0 0.00 A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions xiretza 2022-05-03 13:12 (UTC)
aiger 1.9.9-2 0 0.00 A format, library and set of utilities for And-Inverter Graphs (AIGs) xiretza 2020-09-28 18:16 (UTC)

108 packages found. Page 3 of 3.

« First ‹ Previous 1 2 3