zkLLVM
Compiler
Compiles high-level programming languages into input for provable computations protocols.
Zero-Knowledge Proof Systems Circuit Compiler
295 stars
13 watching
48 forks
Language: C++
last commit: 28 days ago compilerllvmproof-systemzero-knowledge
Related projects:
| Repository | Description | Stars |
|---|---|---|
 nim-lang/nim | A compiler and runtime environment for a statically typed, compiled systems programming language. | 16,593 |
 arnetheduck/nlvm | An LLVM-based compiler for the Nim programming language. | 711 |
 iden3/circom | A compiler for defining arithmetic circuits used in zero-knowledge proofs | 1,339 |
 igor84/summus | A compiler frontend written without C macros using LLVM as the backend to compile a minimal language for educational purposes. | 234 |
| iden3/circom_old | A compiler for a specific circuit language used in zkSNARKs proofs | 473 |
 baro77/zkbasicscs | A concise introduction to Zero-Knowledge Proofs basics | 119 |
 syegulalp/akilang | An experimental compiler and language implementation built on top of LLVM and Python. | 99 |
 talw/crisp-compiler | A Haskell compiler for a Lisp/Scheme-inspired language with an LLVM backend | 99 |
 raviqqe/fmm | A minimal functional programming language compiler target | 18 |
 nickmqb/muon | A modern, statically typed low-level programming language with strong focus on performance and minimalism. | 772 |
 jaseemabid/olifant | A language targeting LLVM with the goal of building a simple compiler | 64 |
 zeioth/compiler.nvim | Automates compilation and execution of code without requiring manual setup | 519 |
 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 |
 rhysd/gocaml | An implementation of a statically-typed functional programming language in Go using LLVM and building its own compiler from scratch. | 748 |
 ajeetdsouza/loxcraft | A compiler and runtime system for a simple programming language, designed to be efficient and embeddable in other applications. | 274 |