mjgrzymek / PeanoScriptLinks
TypeScript-like theorem prover
☆38Updated last month
Alternatives and similar repositories for PeanoScript
Users that are interested in PeanoScript are comparing it to the libraries listed below
Sorting:
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆54Updated last week
- Elegant parsing expression grammars☆52Updated last month
- TypeScript parser combinator library for building fast and convenient parsers.☆28Updated 11 months ago
- Prebuilt WASM binaries for tree-sitter's language parsers.☆17Updated 2 years ago
- A ui framework where you only write turing complete CSS. No HTML, no JS, no build system, just CSS (kinda)☆26Updated last year
- Assembly interpreter implemented entirely in TypeScript's type system (type annotations)☆81Updated 2 years ago
- GHC WASM backend made easy to use for platforms without precompiled bindists powered by Earthly☆13Updated last month
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆51Updated 3 months ago
- A fork of wasmtime (a fast and secure runtime for WebAssembly) supporting the WasmFX instruction set☆20Updated 4 months ago
- Delimited Continuations for JavaScript☆33Updated last year
- Type-Level Regular Expressions matching with TypeScript☆23Updated 2 years ago
- Algebraic Effects in Javascript☆48Updated 2 years ago
- A Modeling Notation ꕤ☆15Updated 3 weeks ago
- A web based playground for parsertl/lexertl☆26Updated last week
- Language server and other tools for WebAssembly.☆30Updated this week
- Type Inference Library written in TypeScript☆93Updated 2 years ago
- An inline, fast, powerful and lightweight PEG parser generator for JavaScript and TypeScript, with semantic actions, parametrized rules, …☆13Updated 7 months ago
- WebAssembly grammars for tree-sitter☆35Updated last year
- A toy programming language which is a subset of OCaml.☆51Updated last week
- An implementation of interaction nets in JS.☆132Updated last week
- Cicada Language (PLCT little team)☆93Updated 5 months ago
- Poor man's algebraic effects for TypeScript (PoC); next -> https://github.com/susisu/effectful☆23Updated 2 years ago
- Security hardened Deno for macOS☆22Updated 7 months ago
- Helps import tree-sitter grammars☆28Updated 2 years ago
- Cmark.mbt is a CommonMark toolkit for MoonBit.☆26Updated last week
- A toy dependent typed language.☆29Updated this week
- Syntax highlighting from Lezer trees☆35Updated 9 months ago
- 🎓 Web app to help teach HM type inference☆16Updated last month
- Minifier for TypeScript declaration files (.d.ts)☆24Updated last year
- minimalistic symbolic term rewriting framework☆15Updated last week