tothtamas28

Pinned Repositories

• theta

  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms

  Language:Java511914243

• evm-semantics

  K Semantics of the Ethereum Virtual Machine (EVM)

  Language:Python51154347147

• haskell-backend

  The symbolic execution engine powering the K Framework

  Language:Haskell214371.3k43

• k

  K Framework Tools 7.0

  Language:Python458391.2k150

• kontrol

  Language:Python60123359

• llvm-backend

  KORE to llvm translation

  Language:C++362524024

• plutus-core-semantics

  Language:Haskell27281125

• python-project-template

  Cookiecutter template for Python projects

  Language:Makefile01900

• wasm-semantics

  A Formal Semantics of WebAssembly in K

  Language:WebAssembly79247024

• Scoop

  A command-line installer for Windows.

  Language:PowerShell21.5k2443k1.4k

tothtamas28's Repositories