mjgrzymek / PeanoScriptLinks
TypeScript-like theorem prover
☆40Updated 2 months ago
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 :)☆55Updated 3 weeks ago
- Language server and other tools for WebAssembly.☆35Updated 2 weeks ago
- TypeScript parser combinator library for building fast and convenient parsers.☆29Updated last year
- Elegant parsing expression grammars☆53Updated 2 months ago
- Prebuilt WASM binaries for tree-sitter's language parsers.☆17Updated 2 years ago
- An implementation of interaction nets in JS.☆132Updated last month
- my personal lang☆16Updated last year
- 🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/☆141Updated 3 weeks ago
- 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☆14Updated 2 months ago
- RustScript is a functional scripting language with as much relation to Rust as Javascript has to Java.☆41Updated 2 years ago
- Glide programming language☆40Updated 2 years ago
- Well-tested utility functions dealing with async iterables☆21Updated last year
- Security hardened Deno for macOS☆23Updated 8 months ago
- A Modeling Notation ꕤ☆15Updated last month
- A programming language that runs on TypeScript's type system☆52Updated 2 years ago
- WebAssembly grammars for tree-sitter☆35Updated last year
- Syntax highlighting from Lezer trees☆36Updated 2 weeks ago
- Type-Level Regular Expressions matching with TypeScript☆23Updated 2 years ago
- Packed syntax tree data structure