@circify
Guthub

circify

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    266
  • Global Org. Rank 34,589 (Top 11 %)
  • Registered about 4 years ago
  • Most used languages
    Rust
         33.3 %
    Haskell
         33.3 %
    HTML
         33.3 %

Top repositories

1

circ

(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.
Rust
284
star
2

compiler

Superseded by https://github.com/circify/circ
Haskell
5
star
3

circify.github.io

HTML
1
star