Propriétaire · runtimeverification

runtimeverification

Dépôts open source suivis de runtimeverification, triés par étoiles.

2 dépôts

#1
evm-semantics ↗@runtimeverificationKCL
Sémantique K de l'Ethereum Virtual Machine (EVM)
★ 589+1Évolution des étoiles sur les 7 derniers jours
#2
k ↗@runtimeverificationPython
Outils du framework K 7.0
★ 583+4Évolution des étoiles sur les 7 derniers jours