Propietario · runtimeverification

runtimeverification

Repositorios de código abierto monitorizados de runtimeverification, ordenados por estrellas.

2 repositorios

#1
evm-semantics ↗@runtimeverificationKCL
Semántica K de la Ethereum Virtual Machine (EVM).
★ 589+1Variación de estrellas de los últimos 7 días
#2
k ↗@runtimeverificationPython
Herramientas para K Framework 7.0.
★ 583+4Variación de estrellas de los últimos 7 días