Giters
Franck (franck44)

franck44

Geek Repo

20

followers

0

following

5

stars

Location:Sydney

Home Page:https://franck44.github.io

Github PK Tool:Github PK Tool

Franck's repositories

evm-dis

An EVM bytecode disassembler/assembler

Language:DafnyLicense:Apache-2.0Stargazers:26Issues:3Issues:31

yul-dafny

Yul semantics and verification in Dafny

Language:DafnyLicense:Apache-2.0Stargazers:3Issues:2Issues:2

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

Language:PythonLicense:Apache-2.0Stargazers:0Issues:1Issues:0

dafny-docker

A docker container with Dafny.

Language:DockerfileLicense:Apache-2.0Stargazers:0Issues:0Issues:0

dafny-training

Some examples of Dafny code to support training sessions

Language:DafnyStargazers:0Issues:0Issues:0

dafny-yul-compiler

A compiler from Yul-Dafny to EVM bytecode

License:MITStargazers:0Issues:1Issues:0

franck44.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

Language:TeXLicense:MITStargazers:0Issues:0Issues:0

fraud-proof-verification

Formal verification of Fraud Proof.

Language:DafnyLicense:Apache-2.0Stargazers:0Issues:1Issues:0

lets-prove-blocking-queue

Proving a blocking queue deadlock free in a dozen different ways

Language:TLALicense:CC0-1.0Stargazers:0Issues:0Issues:0

py-ssz

Python implementation of the Simple Serialize encoding and decoding

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

scala-smtlib

SMT-LIB library for Scala

Language:SMTLicense:MITStargazers:0Issues:0Issues:0

vscode-dafny-symbols

VSCode extension to collect symbols in Dafny programs.

Language:TypeScriptLicense:MITStargazers:0Issues:2Issues:1