chyanju/pomelo chyanju/pomelo

  • Stars
    star
    2
  • Language
    Racket
  • License
    MIT License
  • Created 3 months ago
  • Updated about 1 month ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
chyanju/pomelo
github

chyanju

Reviews

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

Repository Details

Symbolic reasoning toolkit for bitcoin script.

More Repositories

1

Picus

Automated verification of uniqueness property for ZKP circuits
Circom
40
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

__achived__Venti

Verifying Smart Contracts via Yul
Yul
3
star
6

Poe

Visualization Question Answering Using Introspective Program Synthesis
Python
2
star
7

__archived__zhash

Lifted Racket Hash for Rosette
Racket
1
star
8

SolInv

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

__archived__pip-cairo-lang

Cairo Pip Package with Symbolic Support
Python
1
star
10

some-deadlines

Some research deadlines
JavaScript
1
star
11

circom-analyzer

Python
1
star