mjgrzymek / PeanoScriptLinks
TypeScript-like theorem prover
☆42Updated 9 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)☆80Updated 3 years ago
- A ui framework where you only write turing complete CSS. No HTML, no JS, no build system, just CSS (kinda)☆28Updated 2 years ago
- Elegant parsing expression grammars☆56Updated 4 months ago
- TypeScript parser combinator library for building fast and convenient parsers.☆28Updated 4 months ago
- A JS/TS Engine☆37Updated this week
- Security hardened Deno for macOS☆24Updated last year
- Simple, transparent parser combinators toolkit that supports any tokens☆35Updated last week
- Full-featured language server and other tools for WebAssembly.☆68Updated this week
- Prebuilt WASM binaries for tree-sitter's language parsers.☆18Updated 3 years ago
- An extremely simple 3D SVG renderer (20KB minified)☆74Updated 4 months ago
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆58Updated 6 months ago
- Parser Combinators in the TypeScript Type System☆112Updated 2 months ago
- Cmark.mbt is a CommonMark toolkit for MoonBit.☆33Updated last week
- A Modeling Notation ꕤ☆15Updated 2 months ago
- Light & fast WAT compiler☆53Updated last week
- WebAssembly grammars for tree-sitter☆39Updated 2 years ago
- Algebraic Effects in Javascript☆48Updated 3 years ago
- Grain support for Visual Studio Code☆25Updated last year
- ☆174Updated 5 months ago
- Backend/data generator for test262.fyi☆113Updated last week
- GHC WASM backend made easy to use for platforms without precompiled bindists powered by Earthly☆14Updated 9 months ago
- Running puppeteer on Deno Deploy!☆16Updated 3 years ago
- Glide programming language☆39Updated 3 years ago
- A tool for writing better scripts☆58Updated 4 years ago
- ☆18Updated 2 years ago
- Type-Level Regular Expressions matching with TypeScript☆23Updated 2 years ago
- Madlib language compiler☆27Updated last year
- The fastest JavaScript bundler in the galaxy.☆21Updated 6 years ago
- A programming language that runs on TypeScript's type system☆52Updated 2 years ago
- 🎓 Web app to help teach HM type inference☆22Updated 2 months ago