cbouilla / pcgLinks
Prediction algorithms for the PCG pseudo-random generator
☆11Updated 4 years ago
Alternatives and similar repositories for pcg
Users that are interested in pcg are comparing it to the libraries listed below
Sorting:
- An easy-to-use and open-source tool for differential, linear, differential-linear, and integral analysis of S-boxes☆30Updated 4 months ago
- Synthesis of loop-free programs☆17Updated 2 weeks ago
- Structured BVA☆37Updated last year
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆33Updated 4 years ago
- Some experiments with SMT solvers and GIMPLE IR☆73Updated this week
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆40Updated 3 months ago
- An implementation of Dumer's algorithm for Information Set Decoding.☆14Updated last year
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- A minimalistic and high-performance SAT solver☆28Updated 2 years ago
- C++ STL for speed and cryptanalytic application☆10Updated last month
- fast probabilistic symmetry detection on graphs☆15Updated this week
- O(n log n) In-place Stable Quicksort☆18Updated 6 months ago
- The anytime MaxSAT solver Loandra☆17Updated 3 weeks ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆27Updated 3 years ago
- M4GB: Efficient Groebner Basis algorithm☆55Updated 6 years ago
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆10Updated 6 months ago
- Basis Reduction Algorithms for Codes (LLL and more)☆27Updated last year
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆73Updated 2 months ago
- Imported from svn://scm.gforge.inria.fr/svnroot/ecm/☆26Updated last year
- Solving floating point SMT constraints on a GPU☆49Updated 4 years ago
- A fast and certifying solver for quantified Boolean formulas.☆27Updated last month
- Tornado is a compiler producing masked bitsliced implementations proven secure in the bit/register probing model☆18Updated 4 years ago
- UB-aware interpreter for LLVM debugging☆29Updated last week
- A programming language to write bitsliced ciphers☆56Updated 9 months ago
- E-Graph library☆14Updated last year
- Scripts for the 'Breaking Rainbow takes a Weekend on a Laptop' paper☆83Updated 3 years ago
- Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.☆30Updated 10 months ago
- Buchbergers algorithm for computing Groebner basis of polynonmial ideals☆13Updated last year
- AVX implementation of the Skinny block cipher☆11Updated 3 years ago
- C++ truth table library☆56Updated last month