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"☆121Updated 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☆91Updated 2 months ago
- Code from livestreams of Combinatory Logic in C++☆17Updated 2 years ago
- Simulation Foundations Book, in Russian☆17Updated 2 months ago
- Analytic Number Theory high-precision GnuMP routines☆20Updated 2 years ago
- A compiler for a subset of C written in C.☆19Updated 7 years ago
- J Language Source Code. Livestream links ⬇️☆38Updated 3 years ago
- metamath proof enumerators and other things☆92Updated 2 months ago
- ☆18Updated last year
- Source code for the "C Unleashed" book by Richard Heathfield, Lawrence Kirby, et al.☆75Updated 4 years ago
- This is the 2009 version of TestU01, a software library, implemented in the ANSI C language, and offering a collection of utilities for t…☆83Updated 2 years 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
- Source of metamath book☆55Updated 2 years ago
- Solutions to math olympiad problems in Isabelle/HOL☆11Updated 4 years ago
- Program Round-off Error Certifier via Static Analysis☆56Updated last month
- A collection of lambda calculus interpreters and development tools☆16Updated 3 years ago
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's☆14Updated 5 months ago
- An interactive (fast) static source code analyzer☆181Updated 3 weeks ago
- 🚀 Sum of the primes below x☆39Updated 3 years ago
- ☆17Updated last month
- Invent new EAs and GA or show your students how they work.☆12Updated last week
- A computer algebra system for research in combinatorial game theory☆54Updated 2 years ago
- An accessible Forth written in machine code for the RISC-V architecture.☆23Updated 2 weeks ago
- C++ library for semigroups and monoids☆64Updated 2 weeks ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated 2 years ago
- Learn you Galois Fields for Great Good: Code Repository for Blog Series at xorvoid.com☆15Updated 8 months ago
- 32-bit integer only RISC-V core, along with assembler, linker, and compiler from scratch☆22Updated 4 months ago
- Support for for students (Python)☆70Updated 3 months ago
- HC-256 Stream cipher in x86 assembly☆19Updated 8 years ago