Giters
daniel-zukowski

daniel-zukowski

Geek Repo

6

followers

0

following

72

stars

Github PK Tool:Github PK Tool

daniel-zukowski's starred repositories

magmide

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

Language:CoqStargazers:804Issues:0Issues:0

secureum-mind_map

Central Repository for the Epoch 0 coursework and quizzes. Contains all the content, cross-referenced and linked.

Language:ShellLicense:MITStargazers:1743Issues:0Issues:0

awesome-cryptoeconomics

An awesome curated list of Cryptoeconomic research and learning materials

Stargazers:1691Issues:0Issues:0

defi_poc

POC for DeFi Vulnerabilities

Language:SolidityStargazers:193Issues:0Issues:0

solidity-vuln-tests

A repository for Solidity smart contracts acting as security bug tests for static analysis tools.

Language:SolidityLicense:MITStargazers:32Issues:0Issues:0

SCSVS

Smart Contract Security Verification Standard

Stargazers:608Issues:0Issues:0

dasp

The Decentralized Application Security Project

Language:HTMLStargazers:235Issues:0Issues:0

solcurity

Opinionated security and code quality standard for Solidity smart contracts.

Stargazers:1957Issues:0Issues:0

Smart-Contract-Security-Patterns

This repo includes defi security patterns with smart contract examples and use cases.

Language:SolidityLicense:MITStargazers:14Issues:0Issues:0

awesome-ethereum-security

A curated list of awesome Ethereum security references

License:CC-BY-4.0Stargazers:1286Issues:0Issues:0

Merlion

Merlion: A Machine Learning Framework for Time Series Intelligence

Language:PythonLicense:BSD-3-ClauseStargazers:3300Issues:0Issues:0

MalwareSourceCode

Collection of malware source code for a variety of platforms in an array of different programming languages.

Language:AssemblyStargazers:15332Issues:0Issues:0

solidity-security-blog

Comprehensive list of known attack vectors and common anti-patterns

License:NOASSERTIONStargazers:1356Issues:0Issues:0

mythril

Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.

Language:PythonLicense:MITStargazers:3753Issues:0Issues:0

ethereum-developer-tools-list

A guide to available tools and platforms for developing on Ethereum.

Stargazers:5241Issues:0Issues:0

smart-contract-best-practices

A guide to smart contract security best practices

Language:HTMLStargazers:7375Issues:0Issues:0

eth2.0-dafny

Eth2.0 spec in Dafny

Language:DafnyLicense:Apache-2.0Stargazers:68Issues:0Issues:0

brownie

A Python-based development and testing framework for smart contracts targeting the Ethereum Virtual Machine.

Language:PythonLicense:MITStargazers:2627Issues:0Issues:0

web3.py

A python interface for interacting with the Ethereum blockchain and ecosystem.

Language:PythonLicense:MITStargazers:4877Issues:0Issues:0

useDApp

Framework for rapid Dapp development. Simple. Robust. Extendable. Testable

Language:TypeScriptLicense:MITStargazers:1567Issues:0Issues:0

BoringSolidity

Basic Solidity Contracts and Libraries to make life easier

Language:JavaScriptStargazers:372Issues:0Issues:0

easy_z3

Using z3's never been easier (maybe)

Language:PythonLicense:GPL-3.0Stargazers:98Issues:0Issues:0

scribble

Scribble instrumentation tool

Language:TypeScriptLicense:Apache-2.0Stargazers:316Issues:0Issues:0

SecLists

SecLists is the security tester's companion. It's a collection of multiple types of lists used during security assessments, collected in one place. List types include usernames, passwords, URLs, sensitive data patterns, fuzzing payloads, web shells, and many more.

Language:PHPLicense:MITStargazers:55031Issues:0Issues:0

SWC-registry

Smart Contract Weakness Classification and Test Cases

License:MITStargazers:834Issues:0Issues:0

slither

Static Analyzer for Solidity and Vyper

Language:PythonLicense:AGPL-3.0Stargazers:5127Issues:0Issues:0

securify2

Securify v2.0

Language:SolidityLicense:Apache-2.0Stargazers:578Issues:0Issues:0

MIRAI

Rust mid-level IR Abstract Interpreter

Language:RustLicense:MITStargazers:979Issues:0Issues:0

echidna

Ethereum smart contract fuzzer

Language:SolidityLicense:AGPL-3.0Stargazers:2633Issues:0Issues:0

dapptools

Dapp, Seth, Hevm, and more

Language:HaskellStargazers:2070Issues:0Issues:0