Vim-fork focused on extensibility and usability

Companion files for Logical Verification 2020–2021 at VU Amsterdam

Lean 4 programming language and theorem prover

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

Javascript Generalized Parser Combinators

A purely functional programming language with first class types

🚀 State Management Tailored-Made for JS Applications

A refreshingly simple data-driven game engine built in Rust

A Rust compiler front-end for IDEs

👷 TypeScript's largest type utility library

📰 Developer versions of my Medium.com articles

Script in typescript~

🦕 Redis client for Deno 🍕

Latest dockerfiles and images for Deno - alpine, centos, debian, ubuntu

A modern runtime for JavaScript and TypeScript.

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

Elastic UI Framework 🙌

Native PostgreSQL driver for the Rust programming language

Front-end code for WvWStats.com

This is the repo for Vue 2. For Vue 3, go to https://github.com/vuejs/core

Jobs Plugin for Bukkit

Bukkit plugin to count and remove entities.

Bukkit plugin to teleport using an economy plugin.

Jobs Plugin for the BukkitAPI