Diderot-Language / diderot
The Diderot language compiler
☆15Updated last year
Related projects ⓘ
Alternatives and complementary repositories for diderot
- Examples of using Diderot☆11Updated 5 years ago
- The implementation of the Elevate language☆29Updated 3 weeks ago
- A standard for floating point accuracy benchmarks☆44Updated 2 weeks ago
- Kami based processor implementations and specifications☆22Updated 4 years ago
- A SAT solver implementation in VHDL, team tussle☆20Updated 8 years ago
- The Cubicle model checker☆13Updated 8 months ago
- Lace - implementation of work-stealing in C☆34Updated 7 months ago
- Spatial layout specifications for memory management systems.☆19Updated 4 years ago
- Modeling and Programming with Gecode☆45Updated 2 years ago
- Sigmoid Numbers backed by IEEE Floats☆16Updated 7 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 2 years ago
- ☆22Updated 10 years ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆14Updated 2 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Updated 9 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆20Updated 2 years ago
- Implementation of the RISE language☆14Updated 4 years ago
- ☆19Updated 7 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 2 years ago
- AnyDSL Runtime Library☆21Updated this week
- L3 based MIPS specification and emulator☆15Updated 3 years ago
- ☆34Updated 4 years ago
- Ocamlgraph overlay for llvm☆21Updated 9 years ago
- Regionalized Value State Dependence Graph written in Rust☆9Updated 5 years ago
- Modernized Sisal Interpreter☆27Updated 6 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- Memory consistency modelling using Alloy☆28Updated 3 years ago
- firrtlator is a FIRRTL C++ library☆21Updated 7 years ago
- Operations with matrices, SWI pack☆12Updated 11 months ago
- A tool for reversible computation in C++ based on incremental state saving.☆22Updated 4 years ago