circ
Circuit Compiler
A compiler infrastructure for translating high-level languages into circuit forms used in cryptography and formal verification.
(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.
286 stars
15 watching
41 forks
Language: Rust
last commit: about 2 months ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 iden3/circom_old | A compiler for a specific circuit language used in zkSNARKs proofs | 473 |
| iden3/circom | A compiler for defining arithmetic circuits used in zero-knowledge proofs | 1,339 |
 hackerfoo/poprc | A compiler for a language that supports recursion and concatenative data structures with features like dependent types and partial evaluation | 242 |
 l1mey112/crepl | A compiler and interpreter for executing C code on the fly as it is typed. | 30 |
 rui314/9cc | A compiler project that compiles C code to x86-64 assembly using an intermediate representation and manual memory management. | 1,825 |
 encryptogroup/uc | A compiler for constructing universal circuits used in cryptography | 39 |
 nilfoundation/zkllvm | Compiles high-level programming languages into input for provable computations protocols. | 295 |
 ora-io/keras2circom | Transpiles neural networks into digital circuits | 289 |
 llvm/circt | Building modular, reusable infrastructure for hardware design tools using MLIR and compiler techniques | 1,674 |
 certicoq/certicoq | A compiler for a subset of the C language that can be compiled with any standard C compiler, used in formal verification and proof assistance. | 136 |
 c2lang/c2compiler | A C compiler written in the C2 language itself. | 704 |
 cqcl/tket2 | A quantum compiler that compiles high-level quantum circuits into hardware-agnostic machine code | 30 |
 eliah-lakhin/lady-deirdre | A framework for building incremental language compilers and analyzers. | 444 |
 rdaly525/coreir | Builds hardware descriptions into executable code using an LLVM-style compiler framework. | 101 |
 vexu/arocc | A compiler written in Zig to translate C code into machine-specific binary code | 1,138 |