dj-on-github / RNGBook_CodeLinks
Programs and data to accompany the book "Random Number Generators, Principles and Practices"
☆11Updated 7 years ago
Alternatives and similar repositories for RNGBook_Code
Users that are interested in RNGBook_Code are comparing it to the libraries listed below
Sorting:
- Public snapshots of "ACSL by Example"☆120Updated last week
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆62Updated 2 years ago
- Metamath program - source code for the Metamath executable☆90Updated last month
- 🚀 Sum of the primes below x☆39Updated 3 years ago
- J Language Source Code. Livestream links ⬇️☆38Updated 3 years ago
- Sample Code for “Sequential and Parallel Algorithms and Data Structures -- The Basic Toolbox” Book☆25Updated 8 years ago
- Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.☆25Updated 3 years ago
- ☆16Updated last month
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's☆14Updated 4 months ago
- Lingeling SAT Solver☆106Updated last year
- Swing, divide and conquer the factorial!☆81Updated 3 years ago
- Givaro - C++ library for arithmetic and algebraic computations☆53Updated 4 months ago
- The glucose SAT solver☆132Updated 2 weeks ago
- Literate Programming in C/C++☆37Updated last month
- Analytic Number Theory high-precision GnuMP routines☆20Updated last year
- This is the 2009 version of TestU01, a software library, implemented in the ANSI C language, and offering a collection of utilities for t…☆82Updated last year
- ☆62Updated 2 months ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated 2 years ago
- LinBox - C++ library for exact, high-performance linear algebra☆97Updated 2 months ago
- Tokenizer, and operator and character tables, and conversion routines for the Wolfram Language.☆22Updated last week
- A collection of lambda calculus interpreters and development tools☆16Updated 3 years ago
- Successor to PolyBoRi☆22Updated 3 months ago
- ☆18Updated last year
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated 2 years ago
- Metamath verifier in Python☆40Updated 7 months ago
- metamath proof enumerators and other things☆92Updated last month
- Dimacs CNF utilities☆21Updated 11 months ago
- nml is a "simple" matrix/numerical analysis library written in pure C. The scope of the library is to highlight various algorithm impleme…☆100Updated last year
- ☆16Updated 2 weeks ago
- Algorithms to find the best rational approximation to a given floating-point number and to find the gcd and lcm of a given list of floati…☆20Updated last year