All Git Users → runtimeverification

7 open source projects by runtimeverification

[ Open user page on Github ]

1. Verified Smart Contracts

Smart contracts which are formally verified

✭ 243

2. Iele Semantics

Semantics of Virtual Machine for IELE prototype blockchain

✭ 117

3. erc20-semantics

ERC20 in K

✭ 41

Fork of the Solidity Compiler for compiling Solidity to IELE

✭ 15

C++solidity shell CMake python c

5. deposit-contract-verification

No description, website, or topics provided.

✭ 17

Makefile python shell Dockerfile SMT

6. michelson-semantics

A K semantics of Tezos' Michelson language.

✭ 14

Makefile python shell TeX HTML Dockerfile

7. algorand-verification

Formal verification of the Algorand consensus protocol

✭ 25

Coq TeX Makefile

1-7 of 7 user projects