Popular repositories Loading

1. evm-dis evm-dis Public

   An EVM bytecode disassembler/assembler

   Dafny 32 6

2. yul-dafny yul-dafny Public

   Yul semantics and verification in Dafny

   Dafny 4 1

3. lets-prove-blocking-queue lets-prove-blocking-queue Public

   Forked from lemmy/lets-prove-blocking-queue

   Proving a blocking queue deadlock free in a dozen different ways

   TLA 2

4. scala-smtlib scala-smtlib Public

   Forked from regb/scala-smtlib

   SMT-LIB library for Scala

   SMT 1

5. benchexec benchexec Public

   Forked from sosy-lab/benchexec

   BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

   Python

6. dafny-docker dafny-docker Public

   A docker container with Dafny.

   Dockerfile