leonardoalt/yools

O que faz

leonardoalt/yools é um repositório público GitHub, principalmente em SMT. O último registro informa 140 estrelas e 5 forks. Temas: ethereum, evm, formal verification, hacktoberfest, solidity, yul. Leia documentação, licença e issues atuais antes de usar.

Tools for Yul.

Repositórios GitHub

Estrelas

140

Estrelas ganhas · 7 dias

—

Forks

5

Linguagem principal

SMT

Licença do repositório

GPL-3.0

Último envio de código

29 de mar. de 2023

A popularidade usa estrelas. O crescimento semanal precisa de uma semana de registros locais. É nossa coleção, não a lista oficial de tendências do GitHub.

Fontes e atualização

Registros importados têm links para as fontes. Um registro ajuda a descobrir, não é uma recomendação.