Entwickler-Tools & Open Source✦Redaktionelles Profil
Ord
Bitcoin-Ordinal-Indexierung und Tools für Inscriptions.
☆ 3.966Eintrag ansehen
Entwickler-Tools & Open Source
leonardoalt/yools
Öffentliches GitHub-Repository mit SMT als Hauptprogrammiersprache.
Was du damit machen kannst
leonardoalt/yools ist ein öffentliches GitHub-Repository mit SMT als angegebener Hauptprogrammiersprache. Der letzte gespeicherte Stand meldet 140 Sterne und 5 Forks. Themen: ethereum, evm, formal verification, hacktoberfest, solidity, yul. Lies Dokumentation, Lizenz und aktuelle Issues, bevor du die Software nutzt.
Tools for Yul.
GitHub-Repositories
- Sterne
- 140
- Neue Sterne · 7 Tage
- —
- Forks
- 5
- Hauptprogrammiersprache
- SMT
- Repository-Lizenz
- GPL-3.0
- Letzter Code-Push
- 29. März 2023
Die Beliebtheit basiert auf GitHub-Sternen. Das Wachstum über sieben Tage erscheint nach einer vollständigen Woche gespeicherter Daten. Das ist unsere Sammlung, keine offizielle GitHub-Trending-Liste.
Quellen & Aktualität
GitHub ↗Quelle aktualisiert · 9. Okt. 2026
Importierte Einträge verlinken ihre Quellen. Ein Eintrag hilft dir beim Entdecken und ist keine Empfehlung.