Diderot-Language / examplesLinks
Examples of using Diderot
☆11Updated 6 years ago
Alternatives and similar repositories for examples
Users that are interested in examples are comparing it to the libraries listed below
Sorting:
- The Diderot language compiler☆15Updated 2 years ago
- Universal Number Library☆44Updated 7 years ago
- Regionalized Value State Dependence Graph written in Rust☆11Updated 6 years ago
- Synthesis-Aided Compiler for GreenArrays GA144☆54Updated 9 years ago
- Julia Implementation of Unums☆42Updated 8 years ago
- Various Futhark benchmark programs☆43Updated last week
- ☆40Updated 9 years ago
- A tool for reversible computation in C++ based on incremental state saving.☆22Updated 5 years ago
- A standard for floating point accuracy benchmarks☆58Updated 2 weeks ago
- Sigmoid Numbers for Julia☆88Updated 8 years ago
- Kansas Lava☆50Updated 6 years ago
- CHR2 to SQL conversion☆15Updated 10 years ago
- The Cubicle model checker☆14Updated 3 weeks ago
- Shaking expression trees until something tasty pops out☆17Updated 7 years ago
- ☆24Updated 2 years ago
- Rust binding of fortran Limited memory LBFGS subroutine☆14Updated 6 years ago
- ☆34Updated 5 years ago
- Python term rewriting☆30Updated 12 years ago
- Modernized Sisal Interpreter☆29Updated 7 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Updated last year
- Sigmoid Numbers backed by IEEE Floats☆17Updated 8 years ago
- NumLin: Linear Types for Linear Algebra☆23Updated 3 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆33Updated 9 months ago
- Visual graph rewriting platform☆10Updated 7 months ago
- Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations☆54Updated 5 months ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- A minimal in MLIR dialect along the lines of STG to represent laziness.☆16Updated 4 years ago
- Small Prolog☆14Updated 9 years ago
- The goal of the Feldspar project is to define a high-level language that allows description of high-performance digital signal processing…☆47Updated 4 years ago
- vertical + gpu + free join + datalog☆21Updated 11 months ago