GitPlanet
Projects
Users
Categories
Languages
About
All Git Users
→ nickng
3 open source projects by nickng
[ Open user page on Github ]
1.
Gong
Gong liveness and channel safety checker
✭ 28
haskell
2.
Dingo Hunter
Static analyser for finding Deadlocks in Go
✭ 272
go
golang
static-analysis
concurrency
research
3.
gospal
Go static program analyser
✭ 56
go
research
static-analysis
1-3
of
3
user projects