Skip to content

@circify circify

Change the repository type filter

All

    Repositories list

    3 repositories

    • circ

      Public
      (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.
      Rust
      •
      Other
      •41•286•7•6•Updated Sep 29, 2024Sep 29, 2024

    • circify.github.io

      Public
      HTML
      •0•1•0•0•Updated Mar 4, 2022Mar 4, 2022

    • compiler

      Public archive
      Superseded by https://github.com/circify/circ
      Haskell
      •2•5•13•1•Updated Jan 26, 2022Jan 26, 2022