yanliu18 Goto Github PK

academicpages.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

angora

Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.

awesome-buggy-erc20-tokens

A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected

awesome-mythx-smart-contract-security-tools

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

cactus

Hyperledger Cactus is a new approach to the blockchain interoperability problem

contract

Powerful Firewall For EOS Contract

contractfuzzer

The Ethereum Smart Contract Fuzzer for Security Vulnerability Detection (ASE 2018)

contractpedia

ContractPedia

cosette

Cosette is an automated SQL solver.

daikon

Dynamic detection of likely invariants

daml

The DAML smart contract language

ethir

A framework for high-level Analysis of Ethereum Bytecode

fabric

Hyperledger Fabric is an enterprise-grade permissioned distributed ledger framework for developing solutions and applications. Its modular and versatile design satisfies a broad range of industry use cases. It offers a unique approach to consensus that enables performance at scale while preserving privacy.

foundationdb

FoundationDB - the open source, distributed, transactional key-value store

fp-course

Functional Programming Course

freecodecamp

The https://www.freeCodeCamp.org open source codebase and curriculum. Learn to code for free together with millions of people.

fuzzer-test-suite

Set of tests for fuzzing engines

grant-milestone-delivery

Repository to submit finished milestones

grants-program

Web3 Foundation Grants Program

hamler

Haskell-style functional programming language running on Erlang VM.

hangzhou_house_knowledge

2017年买房经历总结出来的买房购房知识分享给大家，希望对大家有所帮助。买房不易，且买且珍惜。Sharing the knowledge of buy an own house that according to the experience at hangzhou in 2017 to all the people. It's not easy to buy a own house, so I hope that it would be useful to everyone.

haskell-wasm

Haskell WebAssembly Toolkit

haskellerz

Notes and files from HaskellerZ meetups.

home-assistant

:house_with_garden: Open source home automation that puts local control and privacy first

https-github.com-jseabold-odsc-east-python-2018

https-github.com-softwaremill-bootzooka

A simple web application

ksql

The database purpose-built for stream processing applications.

maian

MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts

mesatee

A Framework for Universal Secure Computing

mythril

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