mjgrzymek / PeanoScriptLinks
TypeScript-like theorem prover
☆42Updated 7 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 3 years ago
- TypeScript parser combinator library for building fast and convenient parsers.☆28Updated 2 months ago
- Language server and other tools for WebAssembly.☆48Updated this week
- Elegant parsing expression grammars☆56Updated 2 months ago
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆57Updated 4 months ago
- 🌳 A tiny language interpreter implemented purely in TypeScript's type-system☆304Updated 5 years ago
- Prebuilt WASM binaries for tree-sitter's language parsers.☆18Updated 3 years ago
- Minifier for TypeScript declaration files (.d.ts)☆24Updated last year
- A toy programming language which is a subset of OCaml.☆51Updated this week
- Type-Level Regular Expressions matching with TypeScript☆23Updated 2 years ago
- A ui framework where you only write turing complete CSS. No HTML, no JS, no build system, just CSS (kinda)☆27Updated last year
- RustScript is a functional scripting language with as much relation to Rust as Javascript has to Java.☆43Updated 2 years ago
- An implementation of interaction nets in JS.☆132Updated 4 months ago
- Algebraic Effects in Javascript☆48Updated 2 years ago
- GHC WASM backend made easy to use for platforms without precompiled bindists powered by Earthly☆14Updated 7 months ago
- Syntax highlighting from Lezer trees☆38Updated last month
- Parser Combinators in the TypeScript Type System☆102Updated 3 weeks ago
- Code and demos for Reconstructing TypeScript blog posts.☆35Updated 2 years ago
- A multi-cursor structural editor prototype for TypeScript☆60Updated 2 years ago
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆152Updated 5 months ago
- Security hardened Deno for macOS☆23Updated last year
- Cicada Language (PLCT little team)☆94Updated 11 months ago
- An extremely simple 3D SVG renderer (20KB minified)☆74Updated 2 months ago
- A react style parser generator based on PEG.js☆24Updated 2 years ago
- 🎓 Web app to help teach HM type inference☆22Updated 3 weeks ago
- Backend/data generator for test262.fyi☆110Updated this week
- A Modeling Notation ꕤ☆15Updated 3 weeks ago
- Type Inference Library written in TypeScript☆93Updated 2 years ago
- Just a list of Awesome Alt Langs to check out☆101Updated last year
- Packed syntax tree data structure☆64Updated last week