1bitcoin.io
Flaga PolskiPolski

KATALOG BITCOINA I KRYPTO

1Bitcoin HUB

Odkryj przydatne zastosowania Bitcoina.

Portfele, sklepy i narzędzia programistyczne w jednym miejscu.

Katalog↗

44 198wpisy
Projekty i usługi
6 104
Lokalizacje sklepów
29 719
Repozytoria GitHub
8 375

Wybierz portfel przez Wyszukiwarka portfeli Bitcoin lub zacznij płatności przez poradnik sprzedawcy.

Odkrywaj
Odkrywaj projekty GitHub
Zawęź wyszukiwanie
Szukaj w pobliżu

Twoje współrzędne są używane tylko wtedy, gdy wybierzesz wyszukiwanie w pobliżu.

#formal-verificationWyczyść filtry

Przeglądaj Hub

10 wpisy

Narzędzia programistyczne i open source

leonardoalt/yools

Publiczne repozytorium GitHub, głównie w języku SMT.

ethereumevmformal verification
☆ 140Zobacz wpis
Narzędzia programistyczne i open source

kupl/VeriSmart-public

Publiczne repozytorium GitHub, głównie w języku OCaml.

blockchainethereumformal verification
☆ 95Zobacz wpis
Narzędzia programistyczne i open source

oralang/ora

Publiczne repozytorium GitHub, głównie w języku Zig.

ethereumevmformal verification
☆ 29Zobacz wpis
Narzędzia programistyczne i open source

Inferara/inference

Publiczne repozytorium GitHub, głównie w języku Rust.

compilerformal specificationformal verification
☆ 25Zobacz wpis

Importowane wpisy wskazują źródła. Wpis pomaga odkrywać, nie jest rekomendacją. O Hubie →

Szukaj w 1Bitcoin

Narzędzia i poradniki

Wpisy Hubu