banacorn

agda-mode-vscode

agda-mode on VS Code

agda-mode

agda-mode on Atom

language-agda

Agda language support for the Atom editor

rescript-vscode

ReScript bindings for the VS Code API

docker-agda

Agda on Docker

bidirectional

bidirectional typing stuff

keymap

language-server-mule

Rescript library for hauling language servers from your disk or somewhere else

linear-algebra

type-theory

agda

Agda is a dependently typed programming language / interactive theorem prover.

atom-mocha-test-runner

Run your Atom package tests using Mocha

bs-atom

Atom bindings for BuckleScript

bs-json

Compositional JSON encode/decode library for BuckleScript

bs-nd

Node bindings for BuckleScript (WIP)

eventemitter3

EventEmitter3 - Because there's also a number 2. And we're faster.

FAM

functors, applicatives and monads

hott

something hott

keep-a-changelog

If you build software, keep a changelog.

lexer-applicative

Applicative lexer

libiop

C++ library for IOP-based zkSNARKs

lsp

Haskell library for the Microsoft Language Server Protocol

lsp-test

A functional test framework for LSP servers

megaparsec

Industrial-strength monadic parser combinator library

michel

Pak192.Comic

Pakset and Theme for Simutrans

reason-nodejs

Node bindings for Reason and Bucklescript

reason-react

Reason bindings for ReactJS

tree-sitter

An incremental parsing system for programming tools

vscode-postfix-ts

Postfix notation for TypeScript/Javascript - extension for VS Code