muellerberndt Goto Github PK

smartbugs

SmartBugs: A Framework to Analyze Solidity Smart Contracts

smashing-smart-contracts

Compiled writings on EVM smart contracts security analysis.

solc-imports-test

solfuzz

Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis.

srez

Image super-resolution through deep learning

standardbounties

Smart Contracts in Solidity to serve as a Standard for Bounties for EVM dApps

stuff

A lot of random stuff I've tinkered with over the past several years.

stylegan-art

train stylegan through transfer learning

sublimelinter-mythx

A MythX plugin for SublimeLinter

suterusu

An LKM rootkit targeting Linux 2.6/3.x on x86(_64), and ARM

synthetix

Synthetix Solidity smart contracts

tcrpartybot

A Twitter bot for interacting with a TCR without knowing what a blockchain is

tf2-transformer-chatbot

Transformer Chatbot in TensorFlow 2.1

transformers

🤗 Transformers: State-of-the-art Natural Language Processing for Pytorch, TensorFlow, and JAX.

truffle-patched-with-analyze

truffle patched provide an "analyze" command using Mytrhil Platform

truffle-voting-dapp

Example Blockchain voting DApp with truffle

uncrackable_app

Mobile Crackmes

uniswap-v2-core

🎛 Core smart contracts of Uniswap V2

veriman

Analysis tool for Solidity smart contracts. Prototype.

vulnerable-truffle-project

waffle.io

Smart and Simple Project Management for Teams on GitHub (A repo for tracking the Waffle.io team's public-facing work.)

wallet-contracts

Arcadeum Smart Wallet

zeppelin-solidity

OpenZeppelin, a framework to build secure smart contracts on Ethereum