ronami / typelang
π³ A tiny language interpreter implemented purely in TypeScript's type-system
β300Updated 4 years ago
Alternatives and similar repositories for typelang:
Users that are interested in typelang are comparing it to the libraries listed below
- Assembly interpreter implemented entirely in TypeScript's type system (type annotations)β80Updated 2 years ago
- A type-level Brainfuck interpreter in TypeScriptβ180Updated 2 months ago
- compute with typescript type systemβ57Updated 2 years ago
- JSON Parser written entirely in TypeScript's type systemβ433Updated 4 years ago
- Extractors for ECMAScriptβ258Updated 7 months ago
- Experiment to push the limits of TypeScript's type system by writing a "real" tokenizer/parser/interpreter entirely on type-level.β149Updated last year
- Script in typescript~β94Updated 2 years ago
- Perform Type Level arithmetic in TypeScriptβ115Updated 2 years ago
- A programming language designed for typescript type generationβ419Updated 2 years ago
- Checks TypeScript types match expected valuesβ248Updated 10 months ago
- A Brainheck interpreter built in the TypeScript type system.β73Updated 5 months ago
- Elegant parsing expression grammarsβ52Updated last week
- πLet there be algebraic effects in JSβ178Updated 3 years ago
- JavaScript Module Declarationsβ385Updated last year
- Extensions proposal for ECMAScriptβ164Updated 2 years ago
- A typescript transformer / plugin that allows you to write macros for typescript!β379Updated 7 months ago
- ECMAScript Proposal, specs, and reference implementation for Map.prototype.upsertβ272Updated this week
- Proposal to introduce discard bindings to ECMAScriptβ55Updated 2 months ago
- An experimental bytecode interpreter / type-checker for type-level Typescriptβ532Updated 5 months ago
- A neural network in TypeScript's type system. A vision model that recognizes digits. Based on Dr. Chris Eliasmith's research. Implementedβ¦β170Updated 2 years ago
- ADT enum proposal for ECMAScriptβ95Updated 2 weeks ago
- β182Updated 2 years ago
- A repo containing notes about the TypeScript Compiler codebaseβ663Updated last year
- Parser Combinators in the TypeScript Type Systemβ85Updated last month
- Daily runner of test262 for many enginesβ99Updated last month
- A proposal for ECMAScript to add a built-in Iterator.range()β517Updated 3 months ago
- ECMAScript proposal: Generator Arrow Functionsβ116Updated 4 years ago
- β263Updated last year
- a TC39 proposal to synchronise the advancement of multiple iteratorsβ77Updated 6 months ago
- Additional types and types adjusted utilities for TypeScriptβ392Updated this week