Pinned Loading

1. agda-mode-vscode agda-mode-vscode Public

   agda-mode on VS Code

   ReScript 184 44

2. tree-sitter/tree-sitter-agda tree-sitter/tree-sitter-agda Public

   Agda grammar for tree-sitter

   Yacc 46 19

3. agda/agda-language-server agda/agda-language-server Public

   Language Server for Agda

   Haskell 126 20

4. agda-mode agda-mode Public archive

   agda-mode on Atom

   Reason 57 14

5. socket.io-haskell socket.io-haskell Public

   socket.io for haskell folks

   Haskell 24 5

6. edis edis Public

   typed redis

   Haskell 5 1