TypeScript implementation of the Pretty Expressive Printer paper

Prototype for parsing using an explicit stack

Idris front-end for VS Code

Toy regex engine

TypeScript client for Idris IDE-mode.

Test cases and bug reproductions for the IDE client.

A CLI that executes SQL queries and outputs JSON

Parse byte-arrays from the command line.

A TypeScript client library for Postgres

Streaming, no-allocation compact JSON pretty printer

VSCode theme