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
- The implementation of the Elevate language☆29Updated 2 weeks ago
- A SAT solver implementation in VHDL, team tussle☆20Updated 8 years ago
- Kansas Lava☆46Updated 5 years ago
- The Cubicle model checker☆13Updated last year
- An executable specification of the RISCV ISA in L3.☆41Updated 6 years ago
- ☆19Updated 8 years ago
- LLVM JIT Cycle Accurate Simulator for HardCaml☆13Updated 7 years ago
- Regionalized Value State Dependence Graph written in Rust☆9Updated 5 years ago
- A tool for reversible computation in C++ based on incremental state saving.☆22Updated 5 years ago
- Reference Hardware Implementations of Bit Extract/Deposit Instructions☆24Updated 7 years ago
- firrtlator is a FIRRTL C++ library☆21Updated 8 years ago
- ☆34Updated 4 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆21Updated 3 years ago
- vertical + gpu + free join + datalog☆19Updated last month
- Universal Number Library☆41Updated 7 years ago
- Reticle evaluation (PLDI 2021)☆12Updated 3 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
- GNU Superoptimizer Version 2☆26Updated 3 years ago
- A standard for floating point accuracy benchmarks☆49Updated 2 weeks ago
- A Verilog parser for Haskell.☆34Updated 3 years ago
- 😇 Wholly Adaptive LLVM Optimizer☆27Updated 4 years ago
- soap - Structural Optimisation of Arithmetic Programs☆22Updated 8 years ago
- Lower Size Bounds for Sorting Networks☆44Updated 4 years ago
- ☆38Updated 8 years ago
- Polyhedral Compilation tool for High Level Synthesis.☆10Updated 10 years ago
- Implementation of the RISE language☆14Updated 4 years ago
- Java-like Language with Static Information Flow Types☆11Updated 3 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- 32-bit RISC-V Emulator☆23Updated 6 years ago