VonTum / DedekindLinks
The codebase that computed the Ninth Dedekind Number
☆14Updated 2 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
- yorick interpreted language☆82Updated 9 months ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated 2 years ago
- Verilog for Julia☆51Updated 8 years ago
- Recursive LAPACK Collection☆44Updated 3 years ago
- A mirror of the CRLibm project from INRIA Forge☆49Updated 5 years ago
- Sigmoid Numbers backed by IEEE Floats☆17Updated 8 years ago
- Distributed-memory, arbitrary-precision, dense and sparse-direct linear algebra, conic optimization, and lattice reduction☆71Updated 9 months ago
- GAP package guava - computations relative to error-correcting codes☆18Updated last month
- C++ compiler for heterogeneous quantum-classical computing built on Clang and XACC☆10Updated 4 years ago
- A tool for reducing differential equations for Feynman master integrals to an epsilon form.☆16Updated 4 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆62Updated 2 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
- Sigmoid Numbers for Julia☆88Updated 7 years ago
- materials available to the public☆29Updated this week
- Double precision SIMD-oriented Fast Mersenne Twister☆42Updated 5 months ago
- David M. Gay's floating-point conversion library☆37Updated 15 years ago
- Custom-Precision Floating-point numbers.☆41Updated 2 weeks ago
- Reusable compiler infrastructure for Julia GPU backends.☆169Updated last month
- Virtual Machine, quantum computational super set of a MOS 6502 emulator.☆13Updated 4 years ago
- A basic implementation of the Small Primes Number-Theoretic Transform (NTT) multiplication algorithm.☆24Updated 8 years ago
- Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.☆31Updated last year
- Tools for finding and analyzing Busy Beaver programs for Turing machines☆13Updated last week
- Omni Compiler for C and Fortran programs with XcalableMP and OpenACC directives☆62Updated this week
- AOCL-LibM☆125Updated this week
- Open Fortran Compiler☆49Updated 2 years ago
- ☆78Updated 2 weeks ago
- Kitten Lightweight Kernel☆55Updated 2 years ago
- ☆11Updated 7 years ago
- A Julia interface to ADIOS2☆16Updated 6 months ago