Stars
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
π· TypeScript's largest type utility library
π° Developer versions of my Medium.com articles
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.
Native PostgreSQL driver for the Rust programming language
This is the repo for Vue 2. For Vue 3, go to https://github.com/vuejs/core
adekau / Jobs
Forked from GamingMesh/Minecraft-JobsJobs Plugin for Bukkit