beillahi Goto Github PK

artifact

asynchronizations

beillahi.github.io

bibly

Convert dblp keys into BibTeX entries.

boogie

Boogie

contracts

A set of reusable smart-contracts

cpp_starter_project

A template CMake project to get you started with C++ and tooling

ddsim

JKQ DDSIM - A quantum simulator based on decision diagrams written in C++

deagle

defi-fork-bugs

Bugs in commonly forked DeFi protocols

ferrite

Ferrite, a toolkit for developing file system crash-consistency models

fmv-qc-hol

gas-puzzles

A sequence of smart contracts to practice gas optimization. These are used as practice assignments for RareSkills.io and the Udemy Gas Optimization Course

group-website

hol-light

Formalization in HOL Light

infersharp

Infer# is an interprocedural and scalable static code analyzer for C#. Via the capabilities of Facebook's Infer, this tool detects null pointer dereferences and resource leak.

markdown

Markdown parser written in kotlin

ocaml-irmin

From priyas13/ocaml-irmin commit ffc35eec9b483bd4e265e54edab3a1914df65fd8

openethereum

The fast, light, and robust client for the Ethereum mainnet.

py-etherscan-api

Python bindings to the Etherscan.io API

reentrancy-attacks

A chronological and (hopefully) complete list of reentrancy attacks to date.

smart-contract-sanctuary

🐦🌴🌴🌴🦕 A home for ethereum smart contracts. 🏠

smart-contract-simulation-data

Smart Simulation Contracts

smartbugs-wild

smartembed

A Tool for clone detection and bug detection in smart contracts

solidifi

SolidiFI is an automated and systematic framework for evaluating smart contracts' static analysis tools via Fault Injection

starter-beillahi-academic

tpc

transparent-healthcare

Proof of concept blockchain platform for transparent trust evaluation in healthcare.

verismart-benchmarks