m1cm1c Goto Github PK

afpg-skript

Inoffizielles Skript für die Vorlesung „Algorithmen für planare Graphen“ von Prof. Dr. Dorothea Wagner

arbitrum

Powers fast, private, decentralized applications

avy

Jump to things in Emacs tree-style

beagle

challenge

Energy Web Innovation Challenge

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.

fuckfuckfuckfuckadblock

Detects ad blockers (AdBlock, ...) and FuckFuckAdBlock(...)

hardhat

Hardhat is a development environment to compile, deploy, test, and debug your Ethereum software. Get Solidity stack traces & console.log.

hello-world

My first repository on GitHub.

hyper-lightning-networks-network-analysis

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

moderne-physik-ss17-altlkausuren-loesungen

moderne-physik-ss17-mitschrieb

multisigwallet

Ethereum MultiSigWallet

nnpraktikum

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.

patterns

Privacy Patterns in markdown

recipes

ripgrep

ripgrep combines the usability of The Silver Searcher with the raw speed of grep.

rms-support-letter.github.io

An open letter in support of Richard Matthew Stallman being reinstated by the Free Software Foundation

shiftleft-go-demo

skript

Skript zur Vorlesung "Sicherheit" am KIT.

tide

Tide - TypeScript Interactive Development Environment for Emacs

v2-core

🎛 Core smart contracts of Uniswap V2