All Git Users → banacorn

5 open source projects by banacorn

[ Open user page on Github ]

agda-mode on Atom

✭ 58

2. Hakaru-FLOLAC16

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

✭ 16

3. agda-mode-vscode

agda-mode on VS Code

✭ 112

ReScript CSS Less vscode vscode-extension agda reasonml agda-mode

4. agda-language-server

Language Server for Agda

✭ 81

haskell shell language-server-protocol agda agda-mode

5. language-agda

Agda language support for the Atom editor

✭ 13

1-5 of 5 user projects