j
jxwr
@jxwr
34 repositories
88 followers
Beijing
Repositories
Select a repository to view its commits, contributors, and more.public
hdep
DTT
Haskell
0
0
0
Updated 10 years ago
public
hlam
To be a simple typed lambda calculus interpreter
Haskell
0
0
0
Updated 10 years ago
public
declarative
Haskell
0
0
0
Updated 9 years ago
public
excerpt
Recent Readings
0
0
0
Updated 10 years ago
public
redis-confilter
C
0
0
0
Updated 7 years ago
public
product-model
Formal Description of Product Model
TeX
0
0
0
Updated 6 years ago
public
fpcomplete-yesod-demo
Haskell
0
0
0
Updated 10 years ago
public
mysql-monitor-ui
JavaScript
0
0
0
Updated 7 years ago