Similar repositories to Veridise/circom-coq:

• Veridise/Coda github similar
• danistefanovic/build-your-own-x github similar
• gakonst/rubberduck-gpt3.vim github similar
• paradigmxyz/reth github similar
• andrewmilson/ministark github similar
• Veridise/circom-coq github similar
• chyanju/Papyrus github similar
• lvella/polynomial-solver github similar
• shepherd-media-classifier/shepherd github similar
• Veridise/Eurus github similar
• oscarlab/graphene github similar
• cameel/yul-lsp github similar
• checkthechain/checkthechain github similar
• starkware-libs/cairo github similar
• samczsun/abi-guesser github similar
• samczsun/transaction-decoder github similar
• lambdaclass/lambdaworks github similar
• minaminao/tornado-cats github similar
• starkoracles/zkos github similar
• a16z/helios github similar
• sine-fdn/tandem github similar
• ncitron/badcrypto github similar
• recmo/goldilocks github similar
• The-Arbiter/Hash-Storage-Example github similar
• Chainstride-Capital/aegis github similar
• Veridise/Medjai github similar
• utopia-group/neo github similar
• Veridise/V github similar
• openzklib/openzl github similar
• thomas-genet/abstEVM github similar
• Veridise/libBlockchain github similar
• ehildenb/understanding-k-framework github similar
• khovratovich/MinRoot github similar
• naszam/echidnup github similar
• gallantlab/milp_experimental_design github similar
• code-423n4/2022-05-aura github similar
• HAECHI-LABS/Mudslide github similar
• PrimitivesLane/Research github similar
• paulrberg/create2-repro github similar
• nmushegian/minilang github similar