Diderot-Language / diderotLinks
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
Sorting:
- Examples of using Diderot☆11Updated 5 years ago
- firrtlator is a FIRRTL C++ library☆21Updated 8 years ago
- The implementation of the Elevate language☆29Updated 3 months ago
- An advanced automated reasoning tool for memory consistency model specifications.☆22Updated 3 years ago
- A standard for floating point accuracy benchmarks☆49Updated 3 months ago
- A SAT solver implementation in VHDL, team tussle☆20Updated 9 years ago
- The Cubicle model checker☆14Updated last year
- Reference Hardware Implementations of Bit Extract/Deposit Instructions☆25Updated 7 years ago
- Implementation of the RISE language☆14Updated 4 years ago
- Project ARES represents a joint effort between LANL and ORNL to introduce a common compiler representation and tool-chain for HPC applica…☆10Updated 8 years ago
- Spatial layout specifications for memory management systems.☆19Updated 4 years ago
- ☆19Updated 8 years ago
- Rigel is a language for describing image processing hardware embedded in Lua. Rigel can compile to Verilog hardware designs for Xilinx FP…☆56Updated 4 years ago
- Shaking expression trees until something tasty pops out☆16Updated 6 years ago
- A tool for reversible computation in C++ based on incremental state saving.☆22Updated 5 years ago
- ☆23Updated 11 years ago
- Extended Roofline Model - LLVM source tree with additional libraries for the analysis of the dynamic execution in the interpreter☆17Updated 7 years ago
- LLVM JIT Cycle Accurate Simulator for HardCaml☆13Updated 8 years ago
- LVC verified compiler☆57Updated 6 years ago
- Universal Number Library☆42Updated 7 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- generative programming & verification☆33Updated last week
- Memory consistency modelling using Alloy☆29Updated 4 years ago
- Rosa, the real compiler☆20Updated 7 years ago
- ☆38Updated 9 years ago
- A Futhark implementation of Ray Tracing: the Next Week☆13Updated last year
- Sigmoid Numbers backed by IEEE Floats☆17Updated 7 years ago
- Languages, Tools, and Techniques for Accelerator Design☆33Updated 3 years ago
- Pillar compiler, Pillar runtime, garbage collector.☆23Updated 2 years ago
- Kansas Lava☆48Updated 5 years ago