VonTum / Dedekind
The codebase that computed the Ninth Dedekind Number
☆13Updated last month
Alternatives and similar repositories for Dedekind:
Users that are interested in Dedekind are comparing it to the libraries listed below
- A posit arithmetic emulator.☆50Updated 7 months ago
- Counter-based random number generators for C, C++ and CUDA.☆92Updated last year
- Recursive LAPACK Collection☆42Updated 3 years ago
- materials available to the public☆24Updated 3 months ago
- Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.☆23Updated 2 years ago
- Python bindings for VE Offloading (VEO) for SX-Aurora Vector Engine☆16Updated last year
- Reusable compiler infrastructure for Julia GPU backends.☆160Updated this week
- A tool for debugging and assessing floating point precision and reproducibility.☆71Updated last month
- A BUDE virtual-screening benchmark, in many programming models☆26Updated 4 months ago
- floating-point errors checker☆56Updated this week
- Accelerated demonstrator of electromagnetic Particle Transport☆26Updated this week
- CPU/GPU parallel performance portable layer in Julia via functions as arguments☆31Updated last week
- Basic Polynomial Algebra Subprograms☆15Updated 3 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- RevKit: Python quantum compilation library and framework☆25Updated 5 years ago
- Custom-Precision Floating-point numbers.☆31Updated last month
- AOCL-LibM☆106Updated this week
- Double precision SIMD-oriented Fast Mersenne Twister☆39Updated 2 years ago
- The A2O core was a follow-on to A2I, written in Verilog, and supported a lower thread count than A2I, but higher performance per thread, …☆45Updated 9 months ago
- The A2I core was used as the general purpose processor for BlueGene/Q, the successor to BlueGene/L and BlueGene/P supercomputers☆42Updated 2 years ago
- Open-Source Posit RISC-V Core with Quire Capability☆54Updated 3 weeks ago
- A basic implementation of the Small Primes Number-Theoretic Transform (NTT) multiplication algorithm.☆24Updated 7 years ago
- ☆62Updated last week
- Virtual Machine, quantum computational super set of a MOS 6502 emulator.☆12Updated 3 years ago
- ☆28Updated 8 months ago
- A tool for reducing differential equations for Feynman master integrals to an epsilon form.☆14Updated 3 years ago
- https://heplib.github.io☆17Updated last month
- TTG: Template Task Graph C++ API☆18Updated last week
- Omni Compiler for C and Fortran programs with XcalableMP and OpenACC directives☆61Updated last year
- knot theory and computational algebra software☆37Updated 10 years ago