banacorn

Into CS, maths, and linguistics.

Taipei, Taiwan

Pinned Repositories

agda-language-server
Language Server for Agda
Language:Haskell105 8 1417
agda-mode
agda-mode on Atom
Language:Reason58 9 11214
agda-mode-vscode
agda-mode on VS Code
Language:ReScript171 10 14540
edis
typed redis
Language:Haskell5 5 01
formal-language
Curry–Howard Correspondence for fun
Language:Haskell11 5 00
Hakaru-FLOLAC16
Some materials for "The taste of probabilistic programming and modeling" by Oleg Kiselyov at FLOLAC'16
Language:Haskell16 5 12
language-agda
Agda language support for the Atom editor
13 4 305
rescript-vscode
ReScript bindings for the VS Code API
Language:ReScript13 2 01
socket.io-haskell
socket.io for haskell folks
Language:Haskell23 6 65
tree-sitter-agda
Agda grammar for tree-sitter
Language:Yacc34 7 1116

banacorn's Repositories

banacorn/redish-client
client-side of redish
2 0
banacorn/sensor
sensor
Language:JavaScript
banacorn/swarm
swarm
Language:JavaScript