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:
- Logic circuit analysis and optimization☆53Feb 2, 2026Updated 9 months ago
- Pure haskell implementation of macaroons☆14Jan 26, 2021Updated 5 years ago
- Isabelle LLVM Code Generator and Refinement☆31Oct 19, 2026Updated 3 weeks ago
- LaTeX sources for the Habit Programming Language Report☆25Sep 28, 2018Updated 8 years ago
- Mutation analysis tool for Coq verification projects☆31Oct 13, 2020Updated 6 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- SAW front end for the MIR language from rustc☆36Jan 12, 2021Updated 5 years ago
- A fork of the GCC mainline for work on the AVR tool chain☆17Nov 11, 2014Updated 12 years ago
- Superposition prover☆17Feb 16, 2023Updated 3 years ago
- Symbolic execution of LLVM IR☆14Jan 3, 2024Updated 2 years ago
- SAT solver written in Rust☆292Nov 2, 2022Updated 4 years ago
- Rust binding for the HiGHS linear programming solver☆21Nov 5, 2026Updated last week
- Calculus of Constructions Implementation☆17Dec 20, 2019Updated 6 years ago
- A Rust implementation of Plumtree algorithm☆31May 21, 2026Updated 5 months ago
- Open Source VLSI library characterizer☆10Jul 7, 2026Updated 4 months 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.
- A sample PoC for container-aware exec events for osquery☆29Feb 15, 2024Updated 2 years ago
- minecraft mod, adding chocobos☆11Aug 27, 2017Updated 9 years ago
- a boneless 3d object format for asset exchange☆15Jul 10, 2021Updated 5 years ago
- ☆17Aug 29, 2025Updated last year
- Provides dot visualizations of chisel/firrtl circuites☆13Mar 12, 2019Updated 7 years ago
- Library for efficient boolean operations on polygons in Rust☆12Nov 10, 2018Updated 8 years ago
- Mechanization of a noninterference proof for a toy imperative language with small-step semantics in Coq☆21Jun 3, 2026Updated 5 months ago
- Racket bindings for Z3☆25May 11, 2019Updated 7 years ago
- A DSL for parsing and assembling binary data.☆14Sep 1, 2026Updated 2 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆20Jan 12, 2022Updated 4 years ago
- The DRAT-trim proof checker☆73Nov 25, 2024Updated last year
- kbench is a test suite to benchmark several hash table implementations heavily based on Heng Li's udb☆12Jan 8, 2018Updated 8 years ago
- Lean library for typed metaprogramming based on staging, with support for dependent types and reasoning about metaprograms.☆18Sep 25, 2026Updated last month
- HDL development environment on Nix.☆26Oct 23, 2024Updated 2 years ago
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Mar 11, 2022Updated 4 years ago
- User-friendly explanation of Yosys options☆113Sep 25, 2021Updated 5 years ago
- Yosys plugin for logic locking and supply-chain security☆25Apr 5, 2025Updated last year
- https://github.com/corkami cool :)☆22Mar 13, 2015Updated 11 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆23Jul 1, 2024Updated 2 years ago
- ELVE : ELVE Logic Visualization Engine☆11Jul 2, 2017Updated 9 years ago
- TikZ/PGF package for drawing tilings, such as penrose and polykite tilings☆16Jun 5, 2023Updated 3 years ago
- Using Rust to make a 137-byte static AMD64 Linux executable☆18Mar 22, 2025Updated last year
- ☆17Feb 19, 2025Updated last year
- MCP server for AI agents to explore SystemVerilog, Verilog and VHDL (beta) designs: trace connectivity, walk hierarchy, jump to source - …☆22Updated this week
- 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 4 years ago
Are these results useful?