Diderot-Language / examplesLinks
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
Sorting:
- The Diderot language compiler☆15Updated 2 years ago
- Julia Implementation of Unums☆42Updated 8 years ago
- ☆23Updated 2 years ago
- Universal Number Library☆42Updated 7 years ago
- ☆34Updated 4 years ago
- A C-family AST implementation designed to be an IR for DSL compilers.☆17Updated 8 years ago
- Python term rewriting☆30Updated 12 years ago
- Sigmoid Numbers backed by IEEE Floats☆17Updated 8 years ago
- Infrastructure for explaining the outputs of differential dataflow computations☆22Updated 8 years ago
- RISC-V instruction set CPUs in HardCaml☆15Updated 8 years ago
- Create auto-scheduled data-parallel pipelines in hardware with user-friendly Python☆13Updated 4 years ago
- A tool for reversible computation in C++ based on incremental state saving.☆22Updated 5 years ago
- Synthesis-Aided Compiler for GreenArrays GA144☆53Updated 8 years ago
- Sigmoid Numbers for Julia☆88Updated 7 years ago
- NumLin: Linear Types for Linear Algebra☆23Updated 2 years ago
- Rust binding of fortran Limited memory LBFGS subroutine☆14Updated 6 years ago
- A standard for floating point accuracy benchmarks☆52Updated 4 months ago
- A DSL for generating GR(1) problems☆11Updated 4 years ago
- ☆40Updated 9 years ago
- The Cubicle model checker☆14Updated last year
- Shaking expression trees until something tasty pops out☆17Updated 6 years ago
- A compiler for BLOG probabilistic programming language☆26Updated 7 years ago
- Modeling and Programming with Gecode☆51Updated 2 years ago
- Various Futhark benchmark programs☆42Updated last week
- Program Generator for Small-Scale Linear Algebra Applications☆29Updated 7 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated 3 months 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
- Lower Size Bounds for Sorting Networks☆46Updated 4 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆76Updated 7 years ago
- Implementation of the RISE language☆14Updated 4 years ago