Diderot-Language / diderot
The Diderot language compiler
☆15Updated 2 years ago
Alternatives and similar repositories for diderot:
Users that are interested in diderot are comparing it to the libraries listed below
- Examples of using Diderot☆11Updated 5 years ago
- Universal Number Library☆41Updated 6 years ago
- A SAT solver implementation in VHDL, team tussle☆20Updated 8 years ago
- The implementation of the Elevate language☆29Updated this week
- A standard for floating point accuracy benchmarks☆49Updated this week
- Extended Roofline Model - LLVM source tree with additional libraries for the analysis of the dynamic execution in the interpreter☆17Updated 7 years ago
- Implementation of the RISE language☆14Updated 4 years ago
- A tool for reversible computation in C++ based on incremental state saving.☆22Updated 4 years ago
- An executable specification of the RISCV ISA in L3.☆41Updated 6 years ago
- Memory consistency modelling using Alloy☆29Updated 4 years ago
- firrtlator is a FIRRTL C++ library☆21Updated 8 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆21Updated 3 years ago
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆13Updated 7 years ago
- Regionalized Value State Dependence Graph written in Rust☆9Updated 5 years ago
- GNU Superoptimizer Version 2☆26Updated 3 years ago
- L3 based MIPS specification and emulator☆15Updated 3 years ago
- A low-level intermediate representation for hardware description languages☆28Updated 4 years ago
- Polyhedral Compilation tool for High Level Synthesis.☆10Updated 10 years ago
- SWORD: A Whole Program Race Detector for Java☆13Updated 4 years ago
- Spatial layout specifications for memory management systems.☆19Updated 4 years ago
- A Verilog parser for Haskell.☆34Updated 3 years ago
- Lower Size Bounds for Sorting Networks☆44Updated 4 years ago
- A set of tools for visualizing and inspecting LLVM bitcode modules☆31Updated 10 years ago
- Liveness-driven random C code generator☆41Updated 8 months ago
- A multicore microprocessor test harness for measuring interference☆14Updated 4 years ago
- a small C++ lattice library☆15Updated 5 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 7 years ago
- Kansas Lava☆46Updated 5 years ago
- Reticle evaluation (PLDI 2021)☆12Updated 3 years ago
- RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…☆15Updated last year