circ
by circify
(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.
AI summary
Circuit Compiler
A compiler infrastructure for translating high-level languages into circuit forms used in cryptography and formal verification.
- stars
- 289
- forks
- 42
- watching
- 15
Similar projects
Found by comparing what the projects do, not just their names.
Circuit compiler
A compiler for a specific circuit language used in zkSNARKs proofs
iden3/circom1.4K
Circuit compiler
A compiler for defining arithmetic circuits used in zero-knowledge proofs
Recursive language compiler
A compiler for a language that supports recursion and concatenative data structures with features like dependent types and partial evaluation
Compiler
A compiler and interpreter for executing C code on the fly as it is typed.
rui314/9cc1.8K
C Compiler
A compiler project that compiles C code to x86-64 assembly using an intermediate representation and manual memory management.
Universal Circuit Compiler
A compiler for constructing universal circuits used in cryptography
Compiler
Compiles high-level programming languages into input for provable computations protocols.
llvm/circt1.7K
Design tool framework
Building modular, reusable infrastructure for hardware design tools using MLIR and compiler techniques
C compiler
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.
C compiler
A C compiler written in the C2 language itself.
Quantum Compiler
A quantum compiler that compiles high-level quantum circuits into hardware-agnostic machine code
Compiler builder
A framework for building incremental language compilers and analyzers.
Hardware compiler framework
Builds hardware descriptions into executable code using an LLVM-style compiler framework.
vexu/arocc1.2K
C compiler
A compiler written in Zig to translate C code into machine-specific binary code
