mjgrzymek / PeanoScript
TypeScript-like theorem prover
☆32Updated this week
Alternatives and similar repositories for PeanoScript:
Users that are interested in PeanoScript are comparing it to the libraries listed below
- Delimited Continuations for JavaScript☆31Updated last year
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆42Updated last month
- A performance comparison between TS and JS☆17Updated last year
- Algebraic Effects in Javascript☆48Updated 2 years ago
- A toy programming language which is a subset of OCaml.☆51Updated last week
- Type-Level Regular Expressions matching with TypeScript☆22Updated last year
- A react style parser generator based on PEG.js☆23Updated 2 years ago
- Elegant parsing expression grammars☆51Updated last week
- TypeScript parser combinator library for building fast and convenient parsers.☆28Updated 8 months ago
- GHC WASM backend made easy to use for platforms without precompiled bindists powered by Earthly☆13Updated 2 months ago
- Cmark.mbt is a CommonMark toolkit for MoonBit.☆26Updated this week
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆51Updated 2 months ago
- Poor man's algebraic effects for TypeScript (PoC); next -> https://github.com/susisu/effectful☆22Updated 2 years ago
- Assembly interpreter implemented entirely in TypeScript's type system (type annotations)☆80Updated 2 years ago
- Minifier for TypeScript declaration files (.d.ts)☆24Updated last year
- Prebuilt WASM binaries for tree-sitter's language parsers.☆16Updated 2 years ago
- A small library for testing your types☆17Updated last year
- A lightweight performant JavaScript parser for Rust and WebAssembly☆21Updated 4 months ago
- 🧀 A delicious programming language☆36Updated 2 years ago
- Formal verification for TypeScript☆16Updated 2 years ago
- a proposal to add a method to iterators to produce an iterator of only its unique values☆29Updated last year
- Cicada Language (PLCT little team)☆92Updated 3 months ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus