VonTum / DedekindLinks
The codebase that computed the Ninth Dedekind Number
☆14Updated 4 months ago
Alternatives and similar repositories for Dedekind
Users that are interested in Dedekind are comparing it to the libraries listed below
Sorting:
- A posit arithmetic emulator.☆54Updated last year
- Reusable compiler infrastructure for Julia GPU backends.☆160Updated 2 weeks ago
- Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.☆25Updated 2 years ago
- C++ compiler for heterogeneous quantum-classical computing built on Clang and XACC☆11Updated 3 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- Custom-Precision Floating-point numbers.☆38Updated 7 months ago
- Recursive LAPACK Collection☆43Updated 3 years ago
- Double precision SIMD-oriented Fast Mersenne Twister☆40Updated last month
- Verilog for Julia☆51Updated 8 years ago
- Basic Polynomial Algebra Subprograms☆15Updated last month
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- RevKit: Python quantum compilation library and framework☆30Updated 6 years ago
- materials available to the public☆27Updated 3 weeks ago
- ☆62Updated 6 months ago
- Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.☆30Updated last year
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆62Updated last month
- yorick interpreted language☆82Updated 4 months ago
- Distributed-memory, arbitrary-precision, dense and sparse-direct linear algebra, conic optimization, and lattice reduction☆70Updated 5 months ago
- An all-digital, ring-oscillator-based Ising solver.☆18Updated last year
- Python bindings for Flint and Arb☆137Updated this week
- ExBLAS: fast, accurate, and reproducible BLAS☆13Updated 3 years ago
- ☆14Updated 4 months ago
- OpenUH - Open Source UH Compiler☆53Updated 3 months ago
- Virtual Machine, quantum computational super set of a MOS 6502 emulator.☆13Updated 3 years ago
- Tools for finding and analyzing Busy Beaver programs for Turing machines☆12Updated this week
- GAP packages for Julia integration☆82Updated this week
- Source for the OpenCilk runtime system, based on Cheetah.☆22Updated last month
- LLVM backend for m88k architecture☆50Updated 3 weeks ago
- A Julia interface to ADIOS2☆15Updated 2 months ago
- Tensor Contraction Code Generator☆38Updated 8 years ago