franck44
Interested in formal methods, software verification, distributed systems, Dafny, Scala
Sydney
Pinned Repositories
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
dafny-docker
A docker container with Dafny.
dafny-training
Some examples of Dafny code to support training sessions
dafny-yul-compiler
A compiler from Yul-Dafny to EVM bytecode
evm-dis
An EVM bytecode disassembler/assembler
franck44.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
fraud-proof-verification
Formal verification of Fraud Proof.
lets-prove-blocking-queue
Proving a blocking queue deadlock free in a dozen different ways
scala-smtlib
SMT-LIB library for Scala
yul-dafny
Yul semantics and verification in Dafny
franck44's Repositories
franck44/evm-dis
An EVM bytecode disassembler/assembler
franck44/yul-dafny
Yul semantics and verification in Dafny
franck44/lets-prove-blocking-queue
Proving a blocking queue deadlock free in a dozen different ways
franck44/scala-smtlib
SMT-LIB library for Scala
franck44/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
franck44/dafny-docker
A docker container with Dafny.
franck44/dafny-training
Some examples of Dafny code to support training sessions
franck44/dafny-yul-compiler
A compiler from Yul-Dafny to EVM bytecode
franck44/franck44.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
franck44/fraud-proof-verification
Formal verification of Fraud Proof.
franck44/py-ssz
Python implementation of the Simple Serialize encoding and decoding
franck44/vscode-dafny-symbols
VSCode extension to collect symbols in Dafny programs.