Repositories list

• kontrol-cheatcodes

  Public
  Cheatcodes library for your symbolic Kontrol tests

  Solidity

  •2•9•1•1•Updated Oct 8, 2024Oct 8, 2024

• kontrol

  Public
  Python

  •

  BSD 3-Clause "New" or "Revised" License

  •5•49•139•13•Updated Oct 7, 2024Oct 7, 2024

• evm-semantics

  Public
  K Semantics of the Ethereum Virtual Machine (EVM)

  Python

  •

  BSD 3-Clause "New" or "Revised" License

  •143•507•65•10•Updated Oct 7, 2024Oct 7, 2024

• k

  Public
  K Framework Tools 7.0

  Java

  •

  BSD 3-Clause "New" or "Revised" License

  •148•448•273•10•Updated Oct 7, 2024Oct 7, 2024

• pl-tutorial

  Public
  The K Programming Language Tutorial

  Standard ML

  •

  BSD 3-Clause "New" or "Revised" License

  •1•3•2•2•Updated Oct 7, 2024Oct 7, 2024

• haskell-backend

  Public
  The symbolic execution engine powering the K Framework

  Haskell

  •

  BSD 3-Clause "New" or "Revised" License

  •41•209•133•16•Updated Oct 7, 2024Oct 7, 2024

• _kaas_lidofinance_dual-governance

  Public
  0•0•0•1•Updated Oct 7, 2024Oct 7, 2024

• yearn-v3-term-vault

  Public template
  Create Yearn V3 "Tokenized Strategies" using Foundry

  Solidity

  •29•0•0•0•Updated Oct 7, 2024Oct 7, 2024

• avm-semantics

  Public
  Python

  •

  BSD 3-Clause "New" or "Revised" License

  •4•15•6•6•Updated Oct 7, 2024Oct 7, 2024

• mx-semantics

  Public
  Python

  •3•7•3•4•Updated Oct 7, 2024Oct 7, 2024

• komet

  Public
  WebAssembly

  •

  BSD 3-Clause "New" or "Revised" License

  •0•0•2•2•Updated Oct 7, 2024Oct 7, 2024

• wasm-semantics

  Public
  A Prototype Formal Semantics of WebAssembly in K

  WebAssembly

  •

  Other

  •22•78•24•4•Updated Oct 7, 2024Oct 7, 2024

• riscv-semantics

  Public
  Python

  •0•2•3•0•Updated Oct 7, 2024Oct 7, 2024

• mir-semantics

  Public
  Python

  •2•10•3•1•Updated Oct 7, 2024Oct 7, 2024

• blockchain-k-plugin

  Public
  K plugin for IELE and KEVM

  C++

  •

  Other

  •10•8•4•1•Updated Oct 7, 2024Oct 7, 2024

• kontrol-solady

  Public
  Solady formal verification with Kontrol

  Solidity

  •0•10•1•1•Updated Oct 7, 2024Oct 7, 2024

• wasmi

  Public
  WebAssembly (Wasm) interpreter.

  Rust

  •

  Apache License 2.0

  •282•0•0•0•Updated Oct 7, 2024Oct 7, 2024

• homebrew-k

  Public
  K Homebrew tap

  Ruby

  •0•0•0•0•Updated Oct 7, 2024Oct 7, 2024

• llvm-backend

  Public
  KORE to llvm translation

  C++

  •

  BSD 3-Clause "New" or "Revised" License

  •22•34•35•1•Updated Oct 7, 2024Oct 7, 2024

• unbounded-loops

  Public
  Formal verification experiments with unbounded loops

  Solidity

  •0•0•1•0•Updated Oct 5, 2024Oct 5, 2024

• gitbook-kontrol

  Public
  3•4•17•1•Updated Oct 4, 2024Oct 4, 2024

• _audits_Ethereum-optimism_pausability

  Public
  Optimism is Ethereum, scaled.

  Go

  •

  MIT License

  •3.2k•0•1•0•Updated Oct 3, 2024Oct 3, 2024

• simbolik-vscode

  Public
  TypeScript

  •

  BSD 3-Clause "New" or "Revised" License

  •2•12•1•5•Updated Oct 3, 2024Oct 3, 2024

• _audits_lidofinance_dual-governance_fork

  Public
  Lido Dual Governance contracts

  Solidity

  •

  MIT License

  •6•0•0•9•Updated Oct 2, 2024Oct 2, 2024

• gitbook-komet

  Public
  0•0•0•1•Updated Sep 30, 2024Sep 30, 2024

• optimism-ci

  Public
  CI Hosting Symbolic Execution for Ethereum-Optimism

  2•2•0•1•Updated Sep 27, 2024Sep 27, 2024

• kasmer-multiversx

  Public
  Wasm semantics for the Elrond/MultiversX blockchain network

  WebAssembly

  •

  BSD 3-Clause "New" or "Revised" License

  •0•0•4•5•Updated Sep 24, 2024Sep 24, 2024

• gitbook-home

  Public
  0•1•0•0•Updated Sep 24, 2024Sep 24, 2024

• Retrofunding-R5

  Public
  0•0•0•0•Updated Sep 18, 2024Sep 18, 2024

• rv-nix-tools

  Public
  Set of common nix utilities used in our repositories

  Nix

  •

  BSD 3-Clause "New" or "Revised" License

  •0•0•1•0•Updated Sep 16, 2024Sep 16, 2024