VonTum / DedekindLinks
The codebase that computed the Ninth Dedekind Number
☆14Updated 2 weeks ago
Alternatives and similar repositories for Dedekind
Users that are interested in Dedekind are comparing it to the libraries listed below
Sorting:
- Basic Polynomial Algebra Subprograms☆15Updated 6 months ago
- A posit arithmetic emulator.☆54Updated last year
- Double precision SIMD-oriented Fast Mersenne Twister☆42Updated 6 months ago
- Recursive LAPACK Collection☆44Updated 3 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
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated 2 years ago
- materials available to the public☆29Updated last week
- AOCL-LibM☆127Updated 2 weeks ago
- Custom-Precision Floating-point numbers.☆41Updated last month
- RevKit: Python quantum compilation library and framework☆31Updated 6 years ago
- System-on-a-Chip for FPGA, with xr16 RISC core and LCC port☆12Updated 8 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆62Updated 2 years ago
- OpenSHMEM Application Programming Interface☆62Updated last year
- Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.☆31Updated last year
- The ultimate bandwidth benchmark☆60Updated last month
- This repository contains efficient implementation of the Miller-Rabin primality test for x86-64☆34Updated 5 years ago
- Code generation tool to generate mathematical libraries☆58Updated 3 months ago
- Sigmoid Numbers for Julia☆88Updated 8 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
- GPU Gross-Pitaevskii Equation numerical solver for Bose-Einstein condensates.☆40Updated 5 years ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆49Updated last week
- Test suite for C/C++/Fortran compilers developed by Fujitsu☆35Updated 2 months ago
- Codeplay project for contributions to the LLVM SYCL implementation☆30Updated 4 years ago
- A mirror of the CRLibm project from INRIA Forge☆50Updated 5 years ago
- AVX-512 documentation beyond what Intel provides☆65Updated 2 years ago
- ☆15Updated last year
- Sigmoid Numbers backed by IEEE Floats☆17Updated 8 years ago
- An all-digital, ring-oscillator-based Ising solver.☆23Updated last year
- Reusable compiler infrastructure for Julia GPU backends.☆169Updated last week
- Distributed-memory, arbitrary-precision, dense and sparse-direct linear algebra, conic optimization, and lattice reduction☆71Updated 10 months ago