Giters
H (njaliu)

njaliu

Geek Repo

20

followers

16

following

72

stars

Company:Tsinghua University

Location:Beijing, China

Github PK Tool:Github PK Tool

H's repositories

ethereum-clone

Language:PythonStargazers:5Issues:2Issues:1

Committable

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

ConFu-release

Language:JavaLicense:NOASSERTIONStargazers:1Issues:3Issues:0

models4web3

License:GPL-3.0Stargazers:1Issues:2Issues:0

sgram-artifact

Language:PythonStargazers:1Issues:2Issues:0

academic-kickstart-demo

Stargazers:0Issues:1Issues:0

date-agent

A java agent for dynamic program analysis

Stargazers:0Issues:2Issues:0

defu

Language:JavaStargazers:0Issues:2Issues:0

DSL_course

Language:JavaStargazers:0Issues:2Issues:0

GenT

Language:CStargazers:0Issues:2Issues:0

js-infer

Language:PythonStargazers:0Issues:2Issues:0

links4web3

Stargazers:0Issues:0Issues:0

ML4P

Machine learning for programming and software engineering

Language:JavaScriptStargazers:0Issues:2Issues:0

nasac-2017-demo

Stargazers:0Issues:2Issues:0

njaliu.github.io

Language:HTMLStargazers:0Issues:0Issues:0

oyente

An Analysis Tool for Smart Contracts

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

pilatus

Stargazers:0Issues:2Issues:0

rest-testing

Language:JavaStargazers:0Issues:0Issues:0

solidity-security-benchmark

Stargazers:0Issues:0Issues:0

starter-hugo-academic

Language:TeXLicense:MITStargazers:0Issues:0Issues:0

transaction-analysis

Stargazers:0Issues:0Issues:0

VEROS

Verified Embedded Real-time Operating System

Language:DOTStargazers:0Issues:2Issues:0