Popular repositories Loading

1. circ_blocks circ_blocks Public

   Forked from circify/circ

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

   Rust 1

2. CSO CSO Public

   Dotfile of Archlinux

   C

3. dotfile dotfile Public

   Dotfile for Linux-i3

   Shell

4. Abstract Abstract Public

   Abstract a C file into AST and Variable States in Haskell. Using APRON Library

   Haskell

5. apron-bindings apron-bindings Public

   Forked from mlfbrown/apron-bindings

   Haskell bindings to the APRON library

   Haskell

6. Constant-Propagation Constant-Propagation Public

   Constant-Propagation Analysis for C Program

   Haskell