yxliang (yxliang01)

yxliang01

Geek Repo

Location:Place Where Sky Is Visible

Home Page:https://scholar.google.com/citations?user=3xZtvpAAAAAJ

Github PK Tool:Github PK Tool


Organizations
CIS-UoM
woofie

yxliang's repositories

eth-mine-when-need

It will mine only when a set of predefined behaviours like pending transactions. This is useful for developing with ethereum with private chains.

Language:JavaScriptStargazers:9Issues:3Issues:2

solidity-analysis-scripts

A collection of scripts for Solidity analysis

Language:JavaScriptStargazers:3Issues:3Issues:0

truffle

A tool for developing smart contracts. Crafted with the finest cacaos.

Language:JavaScriptLicense:MITStargazers:1Issues:3Issues:0

0x-monorepo

0x protocol monorepo - includes our smart contracts and many developer tools

Language:TypeScriptLicense:NOASSERTIONStargazers:0Issues:0Issues:0

aleth

Aleth – Ethereum C++ client, tools and libraries

Language:C++License:GPL-3.0Stargazers:0Issues:3Issues:0

aragonOS

Reference implementation for aragonOS: a Solidity framework for building complex dApps and protocols

Language:SolidityLicense:GPL-3.0Stargazers:0Issues:2Issues:0

BuildCraft-Localization

Localizations for BuildCraft

Stargazers:0Issues:0Issues:0

bytecode-verifier

Compile Solidity source code and verify its bytecode matches the blockchain

Language:JavaScriptStargazers:0Issues:0Issues:0

chancejs

Chance - Random generator helper for JavaScript

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

cpython

The Python programming language

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0

Darjeeling

Language-independent, search-based program repair -- just your cup of tea! ☕

Language:PythonLicense:Apache-2.0Stargazers:0Issues:2Issues:0

docker-node

Official Docker Image for Node.js :whale: :turtle: :rocket:

Language:DockerfileLicense:MITStargazers:0Issues:0Issues:0

ethereum-developer-tools-list

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

Stargazers:0Issues:3Issues:0

mypy

Optional static typing for Python 3 and 2 (PEP 484)

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0

mythril-classic

Mythril Classic: Security analysis tool for Ethereum smart contracts

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

openzeppelin-contracts

OpenZeppelin Contracts is a library for secure smart contract development.

License:MITStargazers:0Issues:0Issues:0

parity-ethereum

The fast, light, and robust EVM and WASM client.

Language:RustLicense:GPL-3.0Stargazers:0Issues:0Issues:0

prettier

Prettier is an opinionated code formatter.

License:MITStargazers:0Issues:0Issues:0

prettier-plugin-solidity

prettier plugin for solidity

Language:JavaScriptLicense:MITStargazers:0Issues:2Issues:0

pysat

A toolkit for SAT-based prototyping in Python

License:MITStargazers:0Issues:0Issues:0

retesteth

testeth via RPC

Language:C++License:GPL-3.0Stargazers:0Issues:0Issues:0

slither

Static Analyzer for Solidity

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

smartcheck

SmartCheck – a static analysis tool that detects vulnerabilities and bugs in Solidity programs (Ethereum-based smart contracts).

Language:JavaLicense:GPL-3.0Stargazers:0Issues:0Issues:0

solidity

Solidity, the Contract-Oriented Programming Language

Language:C++License:GPL-3.0Stargazers:0Issues:0Issues:0

solidity-coverage

Code coverage for Solidity smart-contracts

License:MITStargazers:0Issues:0Issues:0

ts-essentials

All basic TypeScript types in one place 🤙

Language:TypeScriptStargazers:0Issues:0Issues:0

vertigo

Mutation Testing for Ethereum Smart Contracts

License:LGPL-3.0Stargazers:0Issues:0Issues:0

vscode-python

Python extension for Visual Studio Code

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

yargs

yargs the modern, pirate-themed successor to optimist.

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:0Issues:0

z3

The Z3 Theorem Prover

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0