zkLLVM
Zero-Knowledge Proof Systems Circuit Compiler
AI summary
Compiler
Compiles high-level programming languages into input for provable computations protocols.
- stars
- 304
- forks
- 50
- watching
- 13
Similar projects
Found by comparing what the projects do, not just their names.
nim-lang/nim16.7K
compiler
A compiler and runtime environment for a statically typed, compiled systems programming language.
Nim Compiler
An LLVM-based compiler for the Nim programming language.
iden3/circom1.4K
Circuit compiler
A compiler for defining arithmetic circuits used in zero-knowledge proofs
Compiler
A compiler frontend written without C macros using LLVM as the backend to compile a minimal language for educational purposes.
Circuit compiler
A compiler for a specific circuit language used in zkSNARKs proofs
Zero-knowledge proof primer
A concise introduction to Zero-Knowledge Proofs basics
Compiler
An experimental compiler and language implementation built on top of LLVM and Python.
Haskell compiler
A Haskell compiler for a Lisp/Scheme-inspired language with an LLVM backend
Compiler
A minimal functional programming language compiler target
nickmqb/muon773
Language compiler
A modern, statically typed low-level programming language with strong focus on performance and minimalism.
Compiler language
A language targeting LLVM with the goal of building a simple compiler
Compiler
Automates compilation and execution of code without requiring manual setup
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.
rhysd/gocaml749
Compiler
An implementation of a statically-typed functional programming language in Go using LLVM and building its own compiler from scratch.
Compiler
A compiler and runtime system for a simple programming language, designed to be efficient and embeddable in other applications.
