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 289 42

  2. compiler compiler Public archive

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

    Haskell 6 2

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

    HTML 1

Repositories

Showing 3 of 3 repositories
  • circ Public

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

    circify/circ’s past year of commit activity
    Rust 289 42 9 6 Updated Sep 29, 2024
  • circify.github.io Public
    circify/circify.github.io’s past year of commit activity
    HTML 1 0 0 0 Updated Mar 4, 2022
  • compiler Public archive

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

    circify/compiler’s past year of commit activity
    Haskell 6 2 13 1 Updated Jan 26, 2022

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…