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
- Julia Implementation of Unums☆42Updated 8 years ago
- Synthesis-Aided Compiler for GreenArrays GA144☆54Updated 8 years ago
- Python term rewriting☆30Updated 12 years ago
- Modeling and Programming with Gecode☆50Updated 2 years ago
- Modernized Sisal Interpreter☆29Updated 6 years ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆15Updated 3 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
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated 5 months 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
- The Cubicle model checker☆14Updated last week
- Regionalized Value State Dependence Graph written in Rust☆11Updated 5 years ago
- ☆40Updated 9 years ago
- ☆34Updated 5 years ago
- RISC-V instruction set CPUs in HardCaml☆15Updated 9 years ago
- vertical + gpu + free join + datalog☆20Updated 8 months ago
- Small Prolog☆14Updated 8 years ago
- Kansas Lava☆49Updated 6 years ago
- Sigmoid Numbers backed by IEEE Floats☆17Updated 8 years ago
- Shaking expression trees until something tasty pops out☆17Updated 6 years ago
- A compiler for BLOG probabilistic programming language☆26Updated 7 years ago
- A SAT solver implementation in VHDL, team tussle☆21Updated 9 years ago
- A DSL for generating GR(1) problems☆12Updated 4 years ago
- Universal Number Library☆44Updated 7 years ago
- CHR2 to SQL conversion☆14Updated 10 years ago
- An attribute grammar-based programming language for composable language extensions☆64Updated this week
- LVC verified compiler☆58Updated 6 years ago
- Chart parser (Earley SPPF)☆27Updated 6 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 8 years ago
- A tool for reversible computation in C++ based on incremental state saving.☆22Updated 5 years ago