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:
- For when you really, really just want to know that your config changed☆14Jun 17, 2023Updated 2 years ago
- Library for efficient boolean operations on polygons in Rust☆12Nov 10, 2018Updated 7 years ago
- Pure haskell implementation of macaroons☆14Jan 26, 2021Updated 5 years ago
- constants of the reference ellipsoid☆15Jan 26, 2017Updated 9 years ago
- An example OMI Device FPGA with 2 DDR4 memory ports☆20Jan 5, 2023Updated 3 years ago
- Implementation of ECM (Lenstra elliptic curve factorization). Small part of my Master Thesis, which I would like to share.☆12Aug 23, 2022Updated 3 years ago
- Haskell library of data types and calculations for positions on planet Earth☆20Feb 2, 2026Updated 3 weeks ago
- Lenstra's factorization algorithm in Python☆17Sep 4, 2017Updated 8 years ago
- a boneless 3d object format for asset exchange☆15Jul 10, 2021Updated 4 years ago
- General number field sieve for python☆18Jul 30, 2015Updated 10 years ago
- Modern C++ framework for critical systems☆21Nov 19, 2023Updated 2 years ago
- A sample PoC for container-aware exec events for osquery☆26Feb 15, 2024Updated 2 years ago
- RTLCheck☆25Oct 9, 2018Updated 7 years ago
- Pyecm factors large integers (up to 50 digits) using the Elliptic Curve Method (ECM), a fast factoring algorithm.☆21Jan 17, 2022Updated 4 years ago
- Craziness.☆29Feb 10, 2025Updated last year
- 🎙 Architect TUI and text user output for multiple output destinations using events, in Rust.☆33Jan 23, 2026Updated last month
- SAT solver written in Rust☆274Nov 2, 2022Updated 3 years ago
- Demo project for bluetooth lamp☆13Feb 13, 2026Updated 2 weeks ago
- Resizable contiguous sequence container with fast appends on either end.☆38Jan 28, 2017Updated 9 years ago
- LODA Programs for Integer Sequences☆38Updated this week
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆321Dec 1, 2021Updated 4 years ago
- visualizer to see which parts of an lzma compressed file took the most number of bytes☆33Apr 30, 2025Updated 10 months ago
- Hot Reconfiguration Technology demo☆42Aug 23, 2022Updated 3 years ago
- A robust, open-source physical layer implementation for FPGA-to-FPGA communication over high-speed serial links of the Quantum Error Corr…☆28Updated this week
- 🌟A collection of high-star repositories on GitHub. /* My bookmarks! */☆11Feb 11, 2024Updated 2 years ago
- Experiments on the construction of functions☆29Nov 30, 2015Updated 10 years ago
- Randomly assign targets and guidelines for the Hitman "World of Assassination" trilogy of video games.☆10Dec 7, 2025Updated 2 months ago
- Mod merging tool for The Witcher 3: Wild Hunt [C++, Qt5]☆12Nov 4, 2016Updated 9 years ago
- Cuda Miner for BeamHash (Equihash 150,5)☆13Jan 16, 2019Updated 7 years ago
- 3D game engine based on BlendELF☆10Aug 15, 2023Updated 2 years ago
- ☆24Feb 11, 2014Updated 12 years ago
- Bitcoin Hardware Wallet Interaction scripts☆11Jan 30, 2026Updated last month
- Run ctest inside gdb with fixtures and environment☆11Jan 21, 2025Updated last year
- Unofficial Knowledge Base for Novel AI☆16Nov 8, 2025Updated 3 months ago
- ☆18Oct 9, 2018Updated 7 years ago
- ☆10Feb 3, 2026Updated 3 weeks ago
- ☆10Aug 30, 2025Updated 6 months ago
- An extension for the GitHub Cli application that displays your current contribution graph☆14Aug 3, 2021Updated 4 years ago
- Collection of iPython notebooks with some quick demos☆11May 25, 2017Updated 8 years ago