☆16Jun 24, 2024Updated 2 years ago
Alternatives and similar repositories for MHSGenerationAlgorithms
Users that are interested in MHSGenerationAlgorithms are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- M.H.S algorithms encoded☆13Jun 14, 2016Updated 10 years ago
- Supporting code and data for the ASIACRYPT 2021 paper "Convexity of division property transitions: theory, algorithms and compact models"☆10Jul 4, 2022Updated 4 years ago
- C++ STL for speed and cryptanalytic application☆11Updated this week
- ☆10Jun 17, 2025Updated last year
- Python library for vectorial Boolean functions in cryptography☆11Nov 15, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- MiniCard: An efficient cardinality solver based on MiniSAT☆22Sep 21, 2026Updated last month
- Implements Coron's simplification of Coppersmith's algorithm☆10May 28, 2017Updated 9 years ago
- ☆12Sep 23, 2021Updated 5 years ago
- Abductive discourse pipeline for multilingual metaphor interpretation☆10Mar 11, 2020Updated 6 years ago
- HALL (Haifa AllSAT) - AllSAT enumeration for Combinational Circuits☆10Aug 5, 2026Updated 2 months ago
- Sparkle, Schwaemm and Esch: Lightweight Symmetric Cryptography for the Internet of Things☆39Feb 22, 2023Updated 3 years ago
- An abductive reasoning engine written in C++.☆13Dec 28, 2018Updated 7 years ago
- A generic and efficient SIMD implementation of MSB Radix Sort with separate key and payload datastreams that supports arbitrary key and p…☆14Jan 31, 2025Updated last year
- ☆10Jan 15, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- An implementation of the LowMC block cipher family.☆27Nov 29, 2017Updated 8 years ago
- Sudoku Solver that doesn't guess.☆15Oct 24, 2020Updated 6 years ago
- An easy to use tool for evaluating the security of cryptographic algorithms against integral attacks.☆26Jan 20, 2019Updated 7 years ago
- Verifying Integer Programming Results☆10Jan 7, 2025Updated last year
- Cube-and-Conquer SAT solver☆45Jul 14, 2025Updated last year
- MiniSat 2.0 for Empscripten☆10Aug 19, 2014Updated 12 years ago
- Vector & affine spaces, linear maps, and derivatives☆50Jun 6, 2025Updated last year
- Snapshot of code used for the ISMM 2012 paper "GPUs as an Opportunity for Offloading Garbage Collection"☆10Nov 9, 2012Updated 13 years ago
- Scala+lift frontend for automatatutor.com☆10May 13, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- An experiment around automated theorem proving in Haskell☆13Aug 2, 2026Updated 3 months ago
- Prediction of Treewidth using Graph Neural Network, developed as part of PFN summer internship 2019.☆11Oct 10, 2019Updated 7 years ago
- ☆11Jul 8, 2018Updated 8 years ago
- ☆15Jun 18, 2023Updated 3 years ago
- ☆11Feb 20, 2020Updated 6 years ago
- Basis Reduction Algorithms for Codes (LLL and more)☆30Feb 27, 2024Updated 2 years ago
- Repository for the new, shadow-model based evolution of KernelF☆10Oct 2, 2019Updated 7 years ago
- ☆12Aug 13, 2014Updated 12 years ago
- Tools to optimize small functions, such as S-boxes, for several criteria using SAT solvers☆31Jul 13, 2017Updated 9 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- pure Haskell implementation of reduced ordered binary decision diagrams☆11Mar 15, 2024Updated 2 years ago
- Parsers to Choco3☆10Jul 26, 2019Updated 7 years ago
- yet another toy OCaml interpreter in Haskell☆12Jul 5, 2020Updated 6 years ago
- A collaborative, real-time feature model editor☆10Nov 27, 2023Updated 2 years ago
- Example of CRUSH compression with optimal parsing using BriefLZ algorithms☆16Nov 1, 2023Updated 3 years ago
- PRODeep: A Platform for Robustness Verification of Deep Neural Networks☆12Nov 11, 2020Updated 5 years ago
- Solver for Unconstrained Binary Quadratic Optimization (UBQO, BQO, QUBO) and Max 2-SAT, based on semidefinite relaxation with constraint …☆15Apr 6, 2023Updated 3 years ago