Pinned Repositories
agda-language-server
Language Server for Agda
agda-mode
agda-mode on Atom
agda-mode-vscode
agda-mode on VS Code
edis
typed redis
formal-language
Curry–Howard Correspondence for fun
Hakaru-FLOLAC16
Some materials for "The taste of probabilistic programming and modeling" by Oleg Kiselyov at FLOLAC'16
language-agda
Agda language support for the Atom editor
rescript-vscode
ReScript bindings for the VS Code API
socket.io-haskell
socket.io for haskell folks
tree-sitter-agda
Agda grammar for tree-sitter
banacorn's Repositories
banacorn/agda-mode-vscode
agda-mode on VS Code
banacorn/agda-mode
agda-mode on Atom
banacorn/language-agda
Agda language support for the Atom editor
banacorn/rescript-vscode
ReScript bindings for the VS Code API
banacorn/docker-agda
Agda on Docker
banacorn/bidirectional
bidirectional typing stuff
banacorn/keymap
banacorn/language-server-mule
Rescript library for hauling language servers from your disk or somewhere else
banacorn/linear-algebra
banacorn/type-theory
banacorn/agda
Agda is a dependently typed programming language / interactive theorem prover.
banacorn/atom-mocha-test-runner
Run your Atom package tests using Mocha
banacorn/bs-atom
Atom bindings for BuckleScript
banacorn/bs-json
Compositional JSON encode/decode library for BuckleScript
banacorn/bs-nd
Node bindings for BuckleScript (WIP)
banacorn/eventemitter3
EventEmitter3 - Because there's also a number 2. And we're faster.
banacorn/FAM
functors, applicatives and monads
banacorn/hott
something hott
banacorn/keep-a-changelog
If you build software, keep a changelog.
banacorn/lexer-applicative
Applicative lexer
banacorn/libiop
C++ library for IOP-based zkSNARKs
banacorn/lsp
Haskell library for the Microsoft Language Server Protocol
banacorn/lsp-test
A functional test framework for LSP servers
banacorn/megaparsec
Industrial-strength monadic parser combinator library
banacorn/michel
banacorn/Pak192.Comic
Pakset and Theme for Simutrans
banacorn/reason-nodejs
Node bindings for Reason and Bucklescript
banacorn/reason-react
Reason bindings for ReactJS
banacorn/tree-sitter
An incremental parsing system for programming tools
banacorn/vscode-postfix-ts
Postfix notation for TypeScript/Javascript - extension for VS Code