constrainedrandom
Randomizer library
A Python package for creating and solving constrained randomization problems in design automation
A Python package for creating and solving constrained randomization problems.
15 stars
4 watching
3 forks
Language: Python
last commit: about 1 year ago
Linked from 1 awesome list
constrainedconstrained-randomconstraintrandomrandomizationverification
aolofsson/awesome-opensource-hardwareRelated projects:
| Repository | Description | Stars |
|---|---|---|
 jamesdouble/randmymod | Generates randomized instances of custom data models with customizable randomness behavior | 18 |
 imikimi/literate_randomizer | A Ruby gem that generates near-English prose using Markov chains. | 110 |
 lanl/nchoosek | A programming framework for expressing constraints across classical and quantum computing architectures | 5 |
 zhihaillm/wisdominterrogatory | A tool for generating cryptographically secure random numbers suitable for various use cases, including cryptographic protocols and simulations. | 495 |
 lysxia/generic-random | A Haskell package providing generic random generators for arbitrary data types. | 81 |
 dwavesystems/penaltymodel | A library for mapping constraints to low-dimensional optimization problems | 19 |
 ircmaxell/randomlib | A utility for generating cryptographically secure random numbers and strings | 844 |
 grey-area/qcircuits | A Python package for simulating small-scale quantum computers using the quantum circuit model. | 58 |
 aviate-labs/rand.mo | Pseudo Random Number Generator implementation in Motoko | 5 |
 bluscreenofjeff/malleable-c2-randomizer | A script to generate randomized versions of Malleable C2 profiles | 433 |
 treyhunner/pseudorandom.name | A Python-based web application generating random names | 22 |
 skarupke/controlled_random | A C++ library providing a high-performance random number generator with deterministic and non-deterministic modes | 20 |
 retraigo/fortuna | A TypeScript module for creating weighted random selection systems with varying degrees of randomness and distinctness. | 20 |
 okeuday/quickrand | An Erlang module providing efficient random number generation functions with proper seeding | 41 |
 mdiep/logician | A logic programming library for Swift that uses constraints to solve problems | 195 |