Ting-gian LUA

icon indicating an email [email protected]

icon location Taipei, Taiwan icon location Into CS, maths, and linguistics.

Results 4 repositories owned by Ting-gian LUA

agda-mode

59
Stars
14
Forks
Watchers

agda-mode on Atom

verified publisher icon banacorn

agda-mode-vscode

164
Stars
37
Forks
Watchers

agda-mode on VS Code

verified publisher icon banacorn

Hakaru-FLOLAC16

16
Stars
2
Forks
Watchers

Some materials for "The taste of probabilistic programming and modeling" by Oleg Kiselyov at FLOLAC'16

verified publisher icon banacorn

socket.io-haskell

23
Stars
5
Forks
Watchers

socket.io for haskell folks

verified publisher icon banacorn