coreir
Hardware compiler framework
Builds hardware descriptions into executable code using an LLVM-style compiler framework.
101 stars
14 watching
24 forks
Language: C++
last commit: over 2 years ago
Linked from 2 awesome lists
c-plus-pluscompilerscoreirhardwareintermediate-representationllvm
aolofsson/awesome-opensource-hardware
drom/awesome-hdlRelated projects:
| Repository | Description | Stars |
|---|---|---|
 calyxir/calyx | An intermediate language and infrastructure for building compilers that generate custom hardware accelerators. | 503 |
 llvm/circt | Building modular, reusable infrastructure for hardware design tools using MLIR and compiler techniques | 1,695 |
 siliconcompiler/lambdalib | A modular hardware abstraction library for designing and implementing complex digital systems | 23 |
 raviqqe/fmm | A minimal functional programming language compiler target | 18 |
 nilfoundation/zkllvm | Compiles high-level programming languages into input for provable computations protocols. | 304 |
 keystone-engine/keystone | Assembles code into machine-specific binary format using LLVM and various architecture-specific assemblies | 2,316 |
 onqtam/rcrl | An interactive C++ compiler and runtime environment for rapid development and live coding | 413 |
 eliah-lakhin/lady-deirdre | A framework for building incremental language compilers and analyzers. | 447 |
 acceleratehs/accelerate-llvm | Compiles Accelerate code to LLVM IR and executes it on CPUs or NVIDIA GPUs | 159 |
 intel/systemc-compiler | Translates synthesizable SystemC code to synthesizable SystemVerilog. | 256 |
 champii/rock | A Rust-based compiler and runtime environment designed to provide a safe and efficient way to execute functional programming languages. | 67 |
 lambdaclass/cairo_native | Compiles Cairo's intermediate representation to machine code using MLIR and LLVM | 123 |
 circify/circ | A compiler infrastructure for translating high-level languages into circuit forms used in cryptography and formal verification. | 289 |
 stanfordaha/halide-to-hardware | A tool that extends Halide's hardware capabilities to support custom-hardware generation using CoreIR. | 80 |
 pascalkuthe/openvaf | A Verilog-A compiler built with Rust to compile circuit simulator models into efficient and high-quality code. | 132 |