m1cm1c's repositories
FuckFuckFuckFuckAdBlock
Detects ad blockers (AdBlock, ...) and FuckFuckAdBlock(...)
AfpG-Skript
Inoffizielles Skript für die Vorlesung „Algorithmen für planare Graphen“ von Prof. Dr. Dorothea Wagner
codepropertygraph
Semantic Code Property Graph: specification, query language, and utilities
evm-analyzer-benchmark-suite
A benchmark suite for evaluating the precision of EVM code analysis tools.
hardhat
Hardhat is a development environment to compile, deploy, test, and debug your Ethereum software. Get Solidity stack traces & console.log.
joern
Open-source code analysis platform for C/C++ based on code property graphs
KIT-Musterloesungen
Musterlösungen für Klausuraufgaben am KIT
Kognitive-Systeme-KIT-Zusammenfassung
Zusammenfassung der Vorlesung Kognitive Systeme am KIT für SS17
Moderne-Physik
Skriptartiger Mitschrieb für die Vorlesung Moderne Physik für Informatiker, SS15, KIT
MultiSigWallet
Ethereum MultiSigWallet
not-so-smart-contracts
Examples of Solidity security issues
oneswap_contract_ethereum
OneSwap's smartcontract source code for ethereum
openzeppelin-contracts
OpenZeppelin Contracts is a library for secure smart contract development.
rms-support-letter.github.io
An open letter in support of Richard Matthew Stallman being reinstated by the Free Software Foundation
tide
Tide - TypeScript Interactive Development Environment for Emacs
v2-core
🎛 Core smart contracts of Uniswap V2
v2-sdk
🛠 An SDK for building applications on top of Uniswap V2
WeenusTokenFaucet
An ERC20 token faucet on the Ethereum mainnet, and Ropsten, Kovan, Rinkeby and Görli testnets