mjgrzymek / PeanoScript
TypeScript-like theorem prover
☆37Updated last month
Alternatives and similar repositories for PeanoScript:
Users that are interested in PeanoScript are comparing it to the libraries listed below
- TypeScript parser combinator library for building fast and convenient parsers.☆28Updated 9 months ago
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆52Updated 3 months ago
- A lightweight performant JavaScript parser for Rust and WebAssembly☆21Updated 5 months ago
- Delimited Continuations for JavaScript☆31Updated last year
- Elegant parsing expression grammars☆51Updated last week
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆43Updated 2 months ago
- Type-Level Regular Expressions matching with TypeScript☆23Updated 2 years ago
- Cmark.mbt is a CommonMark toolkit for MoonBit.☆26Updated this week
- 🧀 A delicious programming language☆36Updated 2 years ago
- Grain support for Visual Studio Code☆23Updated 5 months ago
- my personal lang☆16Updated last year
- Wasm SpecTec specification tools☆50Updated this week
- GHC WASM backend made easy to use for platforms without precompiled bindists powered by Earthly☆13Updated last week
- A react style parser generator based on PEG.js☆23Updated 2 years ago
- A toy programming language which is a subset of OCaml.☆51Updated this week
- Well-tested utility functions dealing with async iterables☆20Updated last year
- Assembly interpreter implemented entirely in TypeScript's type system (type annotations)☆80Updated 2 years ago
- Security hardened Deno for macOS☆19Updated 6 months ago
- Cicada Language (PLCT little team)☆92Updated 4 months ago
- Algebraic Effects in Javascript☆48Updated 2 years ago
- An implementation of interaction nets in JS.☆132Updated 3 months ago
- Helps import tree-sitter grammars☆28Updated 2 years ago
- 🧪 | LLVM backend for HVM☆23Updated last year
- A fork of wasmtime (a fast and secure runtime for WebAssembly) supporting the WasmFX instruction set☆20Updated 3 months ago
- Automatic testing of MoonBit programs☆25Updated this week
- A web based playground for parsertl/lexertl☆26Updated 2 weeks ago
- Type Inference Library written in TypeScript☆93Updated last year
- Syntax highlighting from Lezer trees☆35Updated 8 months ago
- ☆14Updated 5 months ago
- A programming language that runs on TypeScript's type system☆52Updated last year