Etaphase / FastSigmoids.jl
Sigmoid Numbers backed by IEEE Floats
☆16Updated 7 years ago
Related projects: ⓘ
- Universal Number Library☆40Updated 6 years ago
- A C-family AST implementation designed to be an IR for DSL compilers.☆16Updated 7 years ago
- Julia Implementation of Unums☆42Updated 7 years ago
- Modeling and Programming with Gecode☆44Updated last year
- Sigmoid Numbers for Julia☆86Updated 6 years ago
- Extended Roofline Model - LLVM source tree with additional libraries for the analysis of the dynamic execution in the interpreter☆17Updated 7 years ago
- Recursive LAPACK Collection☆42Updated 2 years ago
- A standard for floating point accuracy benchmarks☆43Updated last week
- compiler for fortran stencils using verified lifting,☆17Updated 2 years ago
- A SAT solver implementation in VHDL, team tussle☆20Updated 8 years ago
- Examples of using Diderot☆11Updated 5 years ago
- Data Dependence Analyzer in the Polyhedral Model☆19Updated 10 months ago
- Program Generator for Small-Scale Linear Algebra Applications☆28Updated 6 years ago
- Orio is an open-source extensible framework for the definition of domain-specific languages and generation of optimized code for multiple…☆36Updated 2 years ago
- A simple CAS written in C.☆10Updated 9 years ago
- firrtlator is a FIRRTL C++ library☆21Updated 7 years ago
- General Stride K-Nearest Neighbors☆13Updated 3 years ago
- RLibm for 32-bit representations (float and posit32)☆61Updated 3 years ago
- ☆34Updated 3 years ago
- Library for creation of SAT instances.☆16Updated 2 years ago
- Drop-in replacement for IEEE Float☆40Updated 4 years ago
- Unum arithmetic in Julia☆41Updated 5 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆38Updated last year
- Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.☆23Updated last year
- MLIR tools and dialect for GraphBLAS☆15Updated 2 years ago
- Code generation tool to generate mathematical libraries☆54Updated 6 months ago
- a fork of clang with Sierra patches☆20Updated 6 years ago
- Checks to verify the usage of the MPI API in C and C++ code, based on Clang’s Static Analyzer and Clang-Tidy.☆38Updated 3 weeks ago
- Intel Heterogeneous Research Compiler (iHRC)☆25Updated last year
- Library for exact linear algebra, a C++ template-library based originally on LinBox intended for F4-like implementations☆16Updated 11 years ago