circt
Design tool framework
Building modular, reusable infrastructure for hardware design tools using MLIR and compiler techniques
Circuit IR Compilers and Tools
2k stars
258 watching
307 forks
Language: C++
last commit: 11 months ago
Linked from 1 awesome list
circtllvmmlir
aolofsson/awesome-opensource-hardwareRelated projects:
| Repository | Description | Stars |
|---|---|---|
 rdaly525/coreir | Builds hardware descriptions into executable code using an LLVM-style compiler framework. | 101 |
 circify/circ | A compiler infrastructure for translating high-level languages into circuit forms used in cryptography and formal verification. | 289 |
 islam0mar/cl-cxx-jit | A Common Lisp interface to C++ code compilation and execution with JIT optimization | 63 |
 draperlaboratory/llvm-cbe | A resurrected and improved implementation of the LLVM C Backend in Groff, enabling compilation of programs written in various programming languages to native machine code. | 127 |
 codr7/liblg | A minimal stack-based virtual machine in C | 181 |
 dotnet/llvmsharp | A .NET Standard library that provides access to the LLVM infrastructure using C#. | 856 |
 holzschu/llvm | A toolkit for building highly optimized compilers and runtime environments. | 56 |
 iden3/circom_old | A compiler for a specific circuit language used in zkSNARKs proofs | 473 |
| iden3/circomlib | A collection of reusable circuit templates written in the Circom programming language. | 627 |
| iden3/circom | A compiler for defining arithmetic circuits used in zero-knowledge proofs | 1,366 |
 yubrot/llrl | An experimental compiler for a Lisp-like programming language with a focus on self-hosting and compilation to LLVM backend. | 156 |
 nilfoundation/zkllvm | Compiles high-level programming languages into input for provable computations protocols. | 304 |
 cfelton/rhea | A collection of MyHDL cores and tools for complex digital circuit design | 85 |
 raviqqe/fmm | A minimal functional programming language compiler target | 18 |
 lemmih/lhc | Compiles Haskell2010 code to LLVM IR using a custom optimization pipeline | 198 |