mjgrzymek / PeanoScriptLinks
TypeScript-like theorem prover
☆41Updated 4 months ago
Alternatives and similar repositories for PeanoScript
Users that are interested in PeanoScript are comparing it to the libraries listed below
Sorting:
- Assembly interpreter implemented entirely in TypeScript's type system (type annotations)☆81Updated 2 years ago
- Elegant parsing expression grammars☆55Updated this week
- A toy programming language which is a subset of OCaml.☆51Updated this week
- TypeScript parser combinator library for building fast and convenient parsers.☆28Updated last week
- Language server and other tools for WebAssembly.☆41Updated this week
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆56Updated 2 months ago
- Delimited Continuations for JavaScript☆35Updated last year
- An extremely simple 3D SVG renderer (20KB minified)☆71Updated last month
- A programming language that runs on TypeScript's type system☆52Updated 2 years ago
- Prebuilt WASM binaries for tree-sitter's language parsers.☆18Updated 2 years ago
- GHC WASM backend made easy to use for platforms without precompiled bindists powered by Earthly☆14Updated 5 months ago
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆149Updated 3 months ago
- 🌳 A tiny language interpreter implemented purely in TypeScript's type-system☆304Updated 4 years ago
- Type-Level Regular Expressions matching with TypeScript☆23Updated 2 years ago
- Parser Combinators in the TypeScript Type System☆97Updated last month
- A ui framework where you only write turing complete CSS. No HTML, no JS, no build system, just CSS (kinda)☆26Updated last year
- Security hardened Deno for macOS☆23Updated 11 months ago
- An implementation of interaction nets in JS.☆132Updated 2 months ago
- Algebraic Effects in Javascript☆48Updated 2 years ago
- Cmark.mbt is a CommonMark toolkit for MoonBit.☆29Updated 2 weeks ago
- A performance comparison between TS and JS☆17Updated last year
- A multi-cursor structural editor prototype for TypeScript☆60Updated 2 years ago
- RustScript is a functional scripting language with as much relation to Rust as Javascript has to Java.☆41Updated 2 years ago
- Language server protocol client for CodeMirror☆76Updated 2 weeks ago
- A react style parser generator based on PEG.js☆24Updated 2 years ago
- 🪄 Tiny challenges for learning WebAssembly☆68Updated 8 months ago
- Cicada Language (PLCT little team)☆94Updated 9 months ago
- The official unyt.land CDN that allows TypeScript for Web☆16Updated last year
- Packed syntax tree data structure☆64Updated last month
- A Modeling Notation ꕤ☆15Updated 4 months ago