Beast code in Giters

Nuo Li's repositories

The exercises for PhD of nzl

Language:TeX5 50

Globular Sets in Agda

100

Language:Haskell1 10

2014 LFMTP Paper source code

Language:Agda010

A simple demonstration of the Agda Reflection API

010

The Agda standard library

Language:AgdaNOASSERTION010

Notes and drafts

010

Clojure to JS compiler

Language:Clojure010

Bring data to life with SVG, Canvas and HTML. :bar_chart::chart_with_upwards_trend::tada:

Language:JavaScriptBSD-3-Clause000

Language:HTML010