Diderot-Language / diderot
The Diderot language compiler
☆15Updated last year
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
- A SAT solver implementation in VHDL, team tussle☆20Updated 8 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆21Updated 3 years ago
- Regionalized Value State Dependence Graph written in Rust☆9Updated 5 years ago
- Sigmoid Numbers backed by IEEE Floats☆16Updated 7 years ago
- Reference Hardware Implementations of Bit Extract/Deposit Instructions☆24Updated 7 years ago
- L3 based MIPS specification and emulator☆15Updated 3 years ago
- firrtlator is a FIRRTL C++ library☆21Updated 8 years ago
- Modeling and Programming with Gecode☆45Updated 2 years ago
- Polyhedral Compilation tool for High Level Synthesis.☆10Updated 10 years ago
- A low-level intermediate representation for hardware description languages☆28Updated 4 years ago
- Ocamlgraph overlay for llvm☆21Updated 9 years ago
- Lower Size Bounds for Sorting Networks☆44Updated 4 years ago
- RISC-V instruction set CPUs in HardCaml☆15Updated 8 years ago
- A standard for floating point accuracy benchmarks☆49Updated 3 weeks ago
- A Verilog parser for Haskell.☆34Updated 3 years ago
- An executable specification of the RISCV ISA in L3.☆41Updated 6 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆26Updated 4 years ago
- A compiler for a Standard-ML like language that generates code suitable for embedded computers.☆10Updated last year
- ☆19Updated 8 years ago
- Universal Number Library☆41Updated 6 years ago
- Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations☆46Updated last year
- Kansas Lava☆46Updated 5 years ago
- A tool for reversible computation in C++ based on incremental state saving.☆22Updated 4 years ago
- Languages, Tools, and Techniques for Accelerator Design☆33Updated 3 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 7 years ago
- Verilog AST☆21Updated last year
- The implementation of the Elevate language☆29Updated last month