Pemilik · runtimeverification

runtimeverification

Repositori open source terpantau milik runtimeverification, diurutkan berdasarkan bintang.

2 repositori

#1
evm-semantics ↗@runtimeverificationKCL
Semantik K dari Ethereum Virtual Machine (EVM)
★ 589+1Perubahan bintang dalam 7 hari terakhir
#2
k ↗@runtimeverificationPython
K Framework Tools 7.0
★ 583+4Perubahan bintang dalam 7 hari terakhir