Discover @muellerberndt Open Source projects

Bernhard Mueller (@muellerberndt)

muellerberndt

Stars
5,285
Global Rank 5,044 (Top 0.2 %)
Followers 661
Following 35
Registered over 11 years ago
Most used languages

Python
42.1 %

JavaScript
15.8 %

C
10.5 %

HTML
10.5 %

Shell
5.3 %

PostScript 5.3 %

Solidity
5.3 %

Lua
5.3 %
Location 🇹🇭 Thailand
Country Total Rank 6
Country Ranking

PostScript 1

Python
1

C
3

Solidity
4

HTML
7

Lua
21

JavaScript
61

Shell
352

mini-agi

MiniAGI is a simple general-purpose autonomous agent based on the OpenAI API.

android_app_security_checklist

Android App Security Checklist

frida-detection

A couple of methods for detecting Frida on Android.

awesome-mythx-smart-contract-security-tools

A curated list of resources and tools for the MythX smart contract security API

apkx

One-Step APK Decompilation With Multiple Backends

smashing-smart-contracts

Compiled writings on EVM smart contracts security analysis.

scrooge-mcetherface

Scrooge McEtherface is an Ethereum auto-looter that was presented at DEFCON 2019. It uses symbolic execution & SMT solving to generically generate exploit sequences that extract ETH from vulnerable smart contracts.

laser-ethereum

Symbolic virtual machine for Ethereum

sabre

Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.

darwin-gpt

A minimal self-replicating agent based on GPT-3.5/4

obfuscation-metrics

Processes and metrics for assessing obfuscation effectiveness

rektosaurus

A test suite to check for client-side script injection on websites that display NFTs.

defi-hacking-playground

All the money legos. This is not meant for production use.

solfuzz

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

uncrackable_app

Mobile Crackmes

King-of-Pi

Who has the fastest algorithm for computing Pi?

ladybug-love2d

A LÖVE port of the classic Arcade game Ladybug.

research2019

Links for the Research Meetup

vulnerable-truffle-project

mythril-ci

Mythril CI Docker

mancala-deepq

Solving the ancient game of Mancala with deep Q learning

memetic-natural-selection

The algorithm that creates all of Reality

mythx-api-curl

Shell scripts to run curl to interface with the MythX security platform (https://mythx.io)

solc-imports-test

ethereumanalysisbenchmarks.github.io

Web site to display Benchmark results see https://EthereumAnalysisBenchmarks.github.io

mythos-playground

Practice playground for smart contract security analysis with Mythos