roger-uw

Pinned Repositories

drawadt
A Haskell library for data type visualisation
Language:Haskell30
haskell-snippets
Language:Haskell3 3 00
HaskellQuest
A game for teaching functional programming in Haskell
Language:JavaScript40
huffmanCoding
Huffman coding demonstration in Haskell
Language:Haskell10
links-benchmarks
a curated collection of programs used to benchmark various components of Links
Language:Shell10
MLP-CW3
Synthetic sound files of CW3 - G70
10
MLP-CW4
10
Office2PDF
convert .doc(x) and .ppt(x) files into .pdf format
Language:Visual Basic20
PLFA-zh
《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
Language:Agda10
roger-uw.github.io
Language:HTML20

roger-uw's Repositories

roger-uw/HaskellQuest
A game for teaching functional programming in Haskell
Language:JavaScript40
roger-uw/drawadt
A Haskell library for data type visualisation
Language:Haskell30
roger-uw/haskell-snippets
Language:Haskell3 3 00
roger-uw/Office2PDF
convert .doc(x) and .ppt(x) files into .pdf format
Language:Visual Basic20
roger-uw/roger-uw.github.io
Language:HTML20
roger-uw/huffmanCoding
Huffman coding demonstration in Haskell
Language:Haskell10
roger-uw/links-benchmarks
a curated collection of programs used to benchmark various components of Links
Language:Shell10
roger-uw/MLP-CW3
Synthetic sound files of CW3 - G70
10
roger-uw/MLP-CW4
10
roger-uw/PLFA-zh
《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
Language:Agda10
roger-uw/plfa-zh-test
Language:HTML1