constrainedrandom
Randomizer
A Python package for creating and solving constrained randomization problems in design and verification.
A Python package for creating and solving constrained randomization problems.
15 stars
4 watching
3 forks
Language: Python
last commit: about 1 month ago
Linked from 1 awesome list
constrainedconstrained-randomconstraintrandomrandomizationverification
Related 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. | 491 |
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 | 843 |
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 | 19 |
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 |