Nuo Li's repositories
PhD-of-nzl
The exercises for PhD of nzl
Globular-Sets
Globular Sets in Agda
2014-LFMTP-Paper
2014 LFMTP Paper source code
Agda-reflection-for-semiring-solver
A simple demonstration of the Agda Reflection API
agda-stdlib
The Agda standard library
clojurescript
Clojure to JS compiler
d3
Bring data to life with SVG, Canvas and HTML. :bar_chart::chart_with_upwards_trend::tada:
Language:JavaScriptBSD-3-Clause000