Skip to content
@circify

circify

Popular repositories Loading

  1. circ circ Public

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

    Rust 287 41

  2. compiler compiler Public archive

    Superseded by https://github.com/circify/circ

    Haskell 5 2

  3. circify.github.io circify.github.io Public

    HTML 1

Repositories

Showing 3 of 3 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…