circt
by llvm
Circuit IR Compilers and Tools
AI summary
Design tool framework
Building modular, reusable infrastructure for hardware design tools using MLIR and compiler techniques
- stars
- 1.7K
- forks
- 307
- watching
- 258
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Hardware compiler framework
Builds hardware descriptions into executable code using an LLVM-style compiler framework.
circify/circ289
Circuit Compiler
A compiler infrastructure for translating high-level languages into circuit forms used in cryptography and formal verification.
C++ compiler
A Common Lisp interface to C++ code compilation and execution with JIT optimization
C Compiler
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.
codr7/liblg181
Stack VM
A minimal stack-based virtual machine in C
LLVM wrapper
A .NET Standard library that provides access to the LLVM infrastructure using C#.
Compiler toolkit
A toolkit for building highly optimized compilers and runtime environments.
Circuit compiler
A compiler for a specific circuit language used in zkSNARKs proofs
Circuit library
A collection of reusable circuit templates written in the Circom programming language.
iden3/circom1.4K
Circuit compiler
A compiler for defining arithmetic circuits used in zero-knowledge proofs
yubrot/llrl156
Compiler project
An experimental compiler for a Lisp-like programming language with a focus on self-hosting and compilation to LLVM backend.
Compiler
Compiles high-level programming languages into input for provable computations protocols.
Circuit designer
A collection of MyHDL cores and tools for complex digital circuit design
Compiler
A minimal functional programming language compiler target
lemmih/lhc198
Compiler pipeline
Compiles Haskell2010 code to LLVM IR using a custom optimization pipeline
Featured in 1 awesome list
Each link jumps to the spot where the list mentions circt.
