tothtamas28

Pinned Repositories

• theta

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

  Language:Java462013240

• evm-semantics

  K Semantics of the Ethereum Virtual Machine (EVM)

  Language:Python50655347140

• haskell-backend

  The symbolic execution engine powering the K Framework

  Language:Haskell208361.3k41

• k

  K Framework Tools 7.0

  Language:Java442371.2k145

• kontrol

  Language:Python46123095

• llvm-backend

  KORE to llvm translation

  Language:C++342524021

• plutus-core-semantics

  Language:Haskell27271125

• python-project-template

  Cookiecutter template for Python projects

  Language:Makefile01900

• wasm-semantics

  A Prototype Formal Semantics of WebAssembly in K

  Language:WebAssembly78237019

• Scoop

  A command-line installer for Windows.

  Language:PowerShell20.9k2432.9k1.4k

tothtamas28's Repositories