Beast code in Giters

Kyle Ehrlich's repositories

A dead-simple extension for vscode to make project:// links work how you would expect

Language:TypeScript5 2 7

A dead-simple atom package to make project:// links work how you would expect

Language:JavaScript020

Azure Data Explorer

Language:PowerShellCC-BY-4.0000

Core files of DiscordIntegration.

Language:JavaAGPL-3.0010

Homotopy type theory

Language:CoqNOASSERTION000

Very old project trying to swap out the data source for google's arms globe with immigration data

Language:JavaScript020

Assignment for internship application (2016)

Language:PHP020

The task library that just works

Language:TypeScriptMIT000

Task runner in JS monorepos

Language:TypeScriptMIT010

Personal project trying to make a grid system that supports non-planar manifolds

Language:TypeScript020

An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .

NOASSERTION000

A Visual Studio Code extension for Coq [maintainer=@maximedenes]

Language:TypeScriptMIT010