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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- lightweight open HLS for FPGA rapid prototyping☆20Mar 22, 2018Updated 8 years ago
- Tutorial, examples and regression tests for Coriolis & Alliance (LIP6)☆16May 30, 2026Updated last week
- Microbenchmarks for x86_64 kernel entry methods☆20Feb 21, 2022Updated 4 years ago
- LaTeX sources for the Habit Programming Language Report☆24Sep 28, 2018Updated 7 years ago
- Rust binding for the HiGHS linear programming solver☆18Apr 10, 2026Updated 2 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- SAW front end for the MIR language from rustc☆36Jan 12, 2021Updated 5 years ago
- A Rust implementation of Plumtree algorithm☆30May 21, 2026Updated 3 weeks ago
- Haskell library of data types and calculations for positions on planet Earth☆20Apr 20, 2026Updated last month
- Standalone utility to encrypt files with ice encryption, that doesn't depend on Steam.☆10Aug 28, 2013Updated 12 years ago
- A fast, deterministic, non-cryptographic hash for use in hash tables for Rust☆15Jan 12, 2021Updated 5 years ago
- ☆17Aug 24, 2022Updated 3 years ago
- Randomly assign targets and guidelines for the Hitman "World of Assassination" trilogy of video games.☆10Updated this week
- lightweight syntax additions to javascript, from a curmudgeon who loves javascript just the way it is☆15Jan 8, 2012Updated 14 years ago
- Nix flake for more up-to-date versions of EDA tools☆26Jun 3, 2026Updated last week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A sample PoC for container-aware exec events for osquery☆26Feb 15, 2024Updated 2 years ago
- RTLCheck☆25Oct 9, 2018Updated 7 years ago
- A DSL for parsing and assembling binary data.☆14Mar 2, 2026Updated 3 months ago
- C++ implementation of Ukkonen's algorithm.☆14Mar 5, 2018Updated 8 years ago
- Programmable, human-readable inlining of Python code☆28Dec 10, 2022Updated 3 years ago
- Racket bindings for Z3☆24May 11, 2019Updated 7 years ago
- a boneless 3d object format for asset exchange☆15Jul 10, 2021Updated 4 years ago
- Yet another Game Boy emulator☆22Sep 4, 2022Updated 3 years ago
- Safe rust bindings to the Highs MILP Solver.☆34Jun 3, 2026Updated last week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Datalog engine with extensions for integrating analyses☆39Oct 30, 2017Updated 8 years ago
- AXI Formal Verification IP☆23Apr 28, 2021Updated 5 years ago
- Yosys plugin for logic locking and supply-chain security☆24Apr 5, 2025Updated last year
- A low-level intermediate representation for hardware description languages☆28Jun 28, 2020Updated 5 years ago
- kCFI Documentation☆14Apr 18, 2017Updated 9 years ago
- Experiments with Yosys cxxrtl backend☆50Jan 16, 2025Updated last year
- Modern C++ framework for critical systems☆21Nov 19, 2023Updated 2 years ago
- For when you really, really just want to know that your config changed☆14Jun 17, 2023Updated 2 years ago
- NSA Hacking Tool Recreation UnitedRake☆13Jul 11, 2019Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- kbench is a test suite to benchmark several hash table implementations heavily based on Heng Li's udb☆12Jan 8, 2018Updated 8 years ago
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Mar 11, 2022Updated 4 years ago
- Linpack benchmark code in C☆14Sep 4, 2012Updated 13 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
- A HTML5/WebGL demo to play around with ruletable based cellular automata! http://wizard23.github.io/evocell/cellspace.html☆21Apr 15, 2022Updated 4 years ago
- RcppDeepState, a simple way to fuzz test code in Rcpp packages☆10Oct 24, 2022Updated 3 years ago
- Elias-Fano encoding implementation in Rust☆32Jun 5, 2019Updated 7 years ago