chyanju/__achived__Venti chyanju/__achived__Venti

  • This repository has been archived on 28/Jul/2022
  • Stars
    star
    3
  • Rank 3,894,500 (Top 79 %)
  • Language Yul
  • License
    MIT License
  • Created over 3 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
chyanju/__achived__Venti
github

chyanju

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Verifying Smart Contracts via Yul

More Repositories

1

Picus

Automated verification of uniqueness property for ZKP circuits
Circom
36
star
2

__archived__Medjai

A Symbolic Execution Tool for Cairo
Racket
15
star
3

ReSySeVR

Fixing SySeVR.
Jupyter Notebook
10
star
4

MARS-Dataset

dataset and related scripts for MARS
Python
4
star
5

Poe

Visualization Question Answering Using Introspective Program Synthesis
Python
2
star
6

zhash

Lifted Racket Hash for Rosette
Racket
1
star
7

SolInv

An RL Solution for Invariant Synthesis in Solidity
Jupyter Notebook
1
star
8

__archived__pip-cairo-lang

Cairo Pip Package with Symbolic Support
Python
1
star