Lower Size Bounds for Sorting Networks
☆46Dec 9, 2020Updated 5 years ago
Alternatives and similar repositories for sortnetopt
Users that are interested in sortnetopt are comparing it to the libraries listed below
Sorting:
- lightweight open HLS for FPGA rapid prototyping☆20Mar 22, 2018Updated 7 years ago
- VLSI placement and routing tool☆15Dec 20, 2025Updated 3 months ago
- Rust binding for the HiGHS linear programming solver☆17Feb 15, 2026Updated last month
- A Rust implementation of Plumtree algorithm☆30Feb 9, 2026Updated last month
- Stub example hypervisor for AArch64 intended to allow other hypervisors to become resident later☆22Aug 28, 2022Updated 3 years ago
- Haskell library of data types and calculations for positions on planet Earth☆20Feb 2, 2026Updated last month
- A fast, deterministic, non-cryptographic hash for use in hash tables for Rust☆15Jan 12, 2021Updated 5 years ago
- A set of files that can be used to create a working version of an early version of the CLU programming language☆36Aug 10, 2022Updated 3 years ago
- Nix flake for more up-to-date versions of EDA tools☆20Updated this week
- A sample PoC for container-aware exec events for osquery☆26Feb 15, 2024Updated 2 years ago
- A simple ray tracer with lots of comments to learn from☆11Mar 30, 2020Updated 5 years ago
- RTLCheck☆25Oct 9, 2018Updated 7 years ago
- make_heap and sort_heap for a poplar heap with O(1) extra memory☆40Mar 13, 2026Updated last week
- Zero allocation macros for retrieving multiple mutable indices from a mutable slice safely.☆15Jul 21, 2024Updated last year
- knitout writing frontend for javascript☆16Oct 14, 2024Updated last year
- Racket bindings for Z3☆24May 11, 2019Updated 6 years ago
- a boneless 3d object format for asset exchange☆15Jul 10, 2021Updated 4 years ago
- An example OMI Device FPGA with 2 DDR4 memory ports☆20Jan 5, 2023Updated 3 years ago
- Datalog engine with extensions for integrating analyses☆39Oct 30, 2017Updated 8 years ago
- AXI Formal Verification IP☆23Apr 28, 2021Updated 4 years ago
- Yosys plugin for logic locking and supply-chain security☆23Apr 5, 2025Updated 11 months ago
- A low-level intermediate representation for hardware description languages☆28Jun 28, 2020Updated 5 years ago
- MLton with Realtime GC and Threading features☆103Mar 7, 2024Updated 2 years ago
- Safely execute an arbitrary x86 instruction☆205Feb 6, 2024Updated 2 years ago
- Modern C++ framework for critical systems☆21Nov 19, 2023Updated 2 years ago
- Experiments with Yosys cxxrtl backend☆50Jan 16, 2025Updated last year
- EBook::EPUB perl module for generating EPUB document☆31Mar 1, 2013Updated 13 years ago
- HDL development environment on Nix.☆26Oct 23, 2024Updated last year
- ☆20Jan 12, 2022Updated 4 years ago
- A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…☆11Dec 21, 2020Updated 5 years ago
- ☆17May 13, 2019Updated 6 years ago
- autorouter forked from https://www-soc.lip6.fr/git/coriolis.git☆15May 21, 2018Updated 7 years ago
- ELVE : ELVE Logic Visualization Engine☆11Jul 2, 2017Updated 8 years ago
- An Evaluation of Linear Probing Hashtable Algorithms☆39Nov 27, 2023Updated 2 years ago
- CDCL SAT solver written in Rust. Work in progress. The basics are working, but there are lots of changes ahead, including API and CLI bre…☆10May 19, 2022Updated 3 years ago
- SAT solver written in Rust☆275Nov 2, 2022Updated 3 years ago
- lazy continued fractions☆19Aug 5, 2015Updated 10 years ago
- Read and write DWARF's "Little Endian Base 128" variable length integer encoding☆22Feb 11, 2026Updated last month
- ☆17Feb 19, 2025Updated last year