Diderot-Language / examples
Examples of using Diderot
☆11Updated 5 years ago
Alternatives and similar repositories for examples:
Users that are interested in examples are comparing it to the libraries listed below
- The Diderot language compiler☆15Updated 2 years ago
- Universal Number Library☆41Updated 7 years ago
- Julia Implementation of Unums☆42Updated 8 years ago
- GluCat: Clifford algebra templates☆20Updated 2 months ago
- Sigmoid Numbers backed by IEEE Floats☆17Updated 7 years ago
- Recursive LAPACK Collection☆42Updated 3 years ago
- ☆38Updated 9 years ago
- Modernized Sisal Interpreter☆28Updated 6 years ago
- The implementation of the Elevate language☆29Updated last month
- Some notes on the relationship between the Legendre and Fourier transforms☆11Updated 4 years ago
- Correctly-rounded mathematical functions☆8Updated 2 months ago
- Operations with matrices, SWI pack☆13Updated last year
- A tool for reversible computation in C++ based on incremental state saving.☆22Updated 5 years ago
- Program Generator for Small-Scale Linear Algebra Applications☆29Updated 6 years ago
- A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…☆30Updated 3 years ago
- ☆22Updated 2 years ago
- An interface for using mwillsey/egg with math simplification.☆13Updated 11 months ago
- Generate and execute native code at run time, from Python☆53Updated last week
- Spatial layout specifications for memory management systems.☆19Updated 4 years ago
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆42Updated last week
- An advanced automated reasoning tool for memory consistency model specifications.☆22Updated 3 years ago
- ☆19Updated 3 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- Rust binding of fortran Limited memory LBFGS subroutine☆14Updated 5 years ago
- ☆34Updated 4 years ago
- Connect Owl with other accelerators and numerical frameworks with symbolic maths☆19Updated 3 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
- [toy] A rewriting language similar to the core of Mathematica☆54Updated 3 years ago
- Modeling and Programming with Gecode☆45Updated 2 years ago
- Formal semantics of LLVM IR in K☆44Updated 9 years ago