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 Type-level playground

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.

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

A suite of tools for adding sitemaps to Clay sites.

An Animated Globe in 1024 Bytes of JavaScript

universal bidirectional microrouter

A query and indexing engine for Redis, providing secondary indexing, full-text search, vector similarity search and aggregations.