The SILE Typesetter — Simon’s Improved Layout Engine

Nodejs extension host for vim & neovim, load extensions like VSCode and host language servers.

vinegar.vim: Combine with netrw to create a delicious salad dressing

Programming Languages Zoo

A fast, powerful type checker designed for Ruby

One Template to rule them all

An 100% spec compliant ES2021 JavaScript parser written in JS

A Proof-oriented Programming Language

Encoding higher-kinded types in TypeScript

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

Typescript Type-level playground

Type level programming in TypeScript

Bloomberg's collaboration fork of TypeScript

Differences between Flowtype and TypeScript -- syntax and usability

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

Bloomberg's distributed RDBMS

A chainable, callable mock object which always returns itself

KMean Algorithm using Meta-Programmation

Interactive theorem proving with Coq in vim.

a proposal to bring protocol-based interfaces to ECMAScript users

wasavi is an extension for Chrome, Firefox, and Opera. wasavi changes a textarea element to virtual vi editor which supports almost all the vi/ex commands.

Supercharge Git inside VS Code and unlock untapped knowledge within each repository — Visualize code authorship at a glance via Git blame annotations and CodeLens, seamlessly navigate and explore G…

Middleware for Express that composes components into renderable pages

Adding support for the page-list and sites Elastic Search indices

Basic control of ANSI compliant terminals and the windows shell.

An extension for VS Code which provides support for the OCaml language.

HTML 5 canvas implementation of Mario written in Ocaml

ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.

a vim interface for gmail