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 6 years ago
- A standard for floating point accuracy benchmarks☆53Updated 6 months ago
- A SAT solver implementation in VHDL, team tussle☆21Updated 9 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆25Updated 3 years ago
- A tool for reversible computation in C++ based on incremental state saving.☆22Updated 5 years ago
- The implementation of the Elevate language☆30Updated 6 months ago
- The Cubicle model checker☆14Updated last week
- Reference Hardware Implementations of Bit Extract/Deposit Instructions☆25Updated 7 years ago
- RISC-V instruction set CPUs in HardCaml☆15Updated 9 years ago
- A multicore microprocessor test harness for measuring interference☆14Updated 5 years ago
- ☆19Updated 8 years ago
- Spatial layout specifications for memory management systems.☆19Updated 5 years ago
- Racket bindings for Z3☆20Updated 13 years ago
- An executable specification of the RISCV ISA in L3.☆41Updated 6 years ago
- ☆26Updated 2 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 5 years ago
- A Verilog parser for Haskell.☆36Updated 4 years ago
- Kansas Lava☆49Updated 6 years ago
- soap - Structural Optimisation of Arithmetic Programs☆24Updated 9 years ago
- Create auto-scheduled data-parallel pipelines in hardware with user-friendly Python☆13Updated 4 years ago
- ☆40Updated 9 years ago
- LVC verified compiler☆58Updated 6 years ago
- Universal instruction selection☆12Updated 7 years ago
- GNU Superoptimizer Version 2☆26Updated 4 years ago
- Languages, Tools, and Techniques for Accelerator Design☆33Updated 3 years ago
- Rosa, the real compiler☆20Updated 7 years ago
- SRI LibPoly is a C library for manipulating polynomials☆50Updated 3 months ago
- sketches for egg: a flexible, high-performance e-graph library☆28Updated 2 weeks ago
- The BERI and CHERI processor and hardware platform☆50Updated 8 years ago
- A synthesis-enabled solver for relational logic☆28Updated 7 years ago