Giters
Yijun Zhang (AyaZhang)

AyaZhang

Geek Repo

8

followers

11

following

5

stars

Company:@aws

Location:United States

Github PK Tool:Github PK Tool

Yijun Zhang's starred repositories

Wox

A cross-platform launcher that simply works

Language:GoLicense:GPL-3.0Stargazers:24188Issues:0Issues:0

NetHack

Official NetHack Git Repository

Language:CStargazers:2867Issues:0Issues:0

liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types

Language:HaskellLicense:BSD-3-ClauseStargazers:131Issues:0Issues:0

liquidhaskell

Liquid Types For Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:1166Issues:0Issues:0

CSSA

Language:JavaStargazers:1Issues:0Issues:0