leonardoalt/yools

À quoi ça sert

leonardoalt/yools est un dépôt GitHub public, principalement en SMT. Le dernier relevé indique 140 étoiles et 5 forks. Sujets : ethereum, evm, formal verification, hacktoberfest, solidity, yul. Lis la documentation, la licence et les issues actuelles avant utilisation.

Tools for Yul.

Dépôts GitHub

Étoiles

140

Étoiles gagnées · 7 jours

—

Forks

5

Langage principal

SMT

Licence du dépôt

GPL-3.0

Dernier envoi de code

29 mars 2023

La popularité vient des étoiles. La croissance hebdomadaire nécessite une semaine de relevés locaux. C'est notre collection, pas le classement officiel de GitHub.

Sources et actualité

Les fiches importées citent leurs sources. Une fiche aide à découvrir, sans recommander le service.