VonTum / DedekindLinks
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
Sorting:
- C++ compiler for heterogeneous quantum-classical computing built on Clang and XACC☆10Updated 3 years ago
- VEDA (VE Driver API)☆17Updated 3 months ago
- A posit arithmetic emulator.☆53Updated 11 months ago
- Another|Alternative|Awesome VE Offloading stack using ve-urpc☆14Updated last year
- Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.☆25Updated 2 years ago
- materials available to the public☆25Updated 6 months ago
- ☆12Updated last year
- An all-digital, ring-oscillator-based Ising solver.☆17Updated last year
- Python bindings for VE Offloading (VEO) for SX-Aurora Vector Engine☆16Updated last year
- RevKit: Python quantum compilation library and framework☆28Updated 6 years ago
- Virtual Machine, quantum computational super set of a MOS 6502 emulator.☆12Updated 3 years ago
- Custom-Precision Floating-point numbers.☆36Updated 4 months ago
- Basic Polynomial Algebra Subprograms☆15Updated 4 years ago
- ☆17Updated 3 weeks ago
- A BUDE virtual-screening benchmark, in many programming models☆28Updated 7 months ago
- Recursive LAPACK Collection☆42Updated 3 years ago
- floating-point errors checker☆57Updated this week
- C++ Library for Quantum State Preparation (QSP)☆12Updated 2 years ago
- Verilog for Julia☆51Updated 8 years ago
- Theorems, Definitions, Papers, Research☆17Updated 5 years ago
- Julia package for computer-aided design of quantum integrated circuits☆28Updated last week
- GPU Gross-Pitaevskii Equation numerical solver for Bose-Einstein condensates.☆40Updated 5 years ago
- Reusable compiler infrastructure for Julia GPU backends.☆160Updated this week
- TinyFive is a lightweight RISC-V emulator and assembler written in Python with neural network examples☆62Updated last year
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆60Updated 3 months ago
- The Sage implementation of a simulator for Regev's factoring algorithm, and of Ekerå–Gärtner's extensions to discrete logarithm finding, …☆18Updated 8 months ago
- ☆62Updated 3 months ago
- LLVM backend for m88k architecture☆50Updated 3 months ago
- Sigmoid Numbers backed by IEEE Floats☆17Updated 7 years ago
- Counter-based random number generators for C, C++ and CUDA.☆99Updated last year