mjgrzymek / PeanoScriptLinks
TypeScript-like theorem prover
☆41Updated 6 months ago
Alternatives and similar repositories for PeanoScript
Users that are interested in PeanoScript are comparing it to the libraries listed below
Sorting:
- TypeScript parser combinator library for building fast and convenient parsers.☆28Updated last month
- Assembly interpreter implemented entirely in TypeScript's type system (type annotations)☆81Updated 2 years ago
- Security hardened Deno for macOS☆22Updated last year
- Prebuilt WASM binaries for tree-sitter's language parsers.☆18Updated 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
- Language server and other tools for WebAssembly.☆45Updated this week
- An extremely simple 3D SVG renderer (20KB minified)☆74Updated last month
- RustScript is a functional scripting language with as much relation to Rust as Javascript has to Java.☆43Updated 2 years ago
- Elegant parsing expression grammars☆55Updated last month
- Parser Combinators in the TypeScript Type System☆101Updated 2 months ago
- Language server protocol client for CodeMirror☆88Updated last week
- Backend/data generator for test262.fyi☆108Updated last week
- Type-Level Regular Expressions matching with TypeScript☆23Updated 2 years ago
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆57Updated 3 months ago
- A toy programming language which is a subset of OCaml.☆51Updated this week
- An inline, fast, powerful and lightweight PEG parser generator for JavaScript and TypeScript, with semantic actions, parametrized rules, …☆13Updated last year
- A performance comparison between TS and JS☆17Updated last year
- Delimited Continuations for JavaScript☆35Updated last year
- A react style parser generator based on PEG.js☆24Updated 2 years ago
- A reactive and strongly-typed, but also pragmatic, new programming language. Compiles to JavaScript, designed to be comfy for people used…☆90Updated 3 years ago
- 🌳 A tiny language interpreter implemented purely in TypeScript's type-system☆304Updated 5 years ago
- GHC WASM backend made easy to use for platforms without precompiled bindists powered by Earthly☆14Updated 6 months ago
- A programming language that runs on TypeScript's type system☆52Updated 2 years ago
- A tool for writing better scripts☆58Updated 4 years ago
- Parser combinators for TypeScript and JavaScript☆36Updated 3 years ago
- A web based playground for parsertl/lexertl☆28Updated 2 months ago
- ☆132Updated 3 months ago
- Grain support for Visual Studio Code☆24Updated 11 months ago
- ☆186Updated 3 years ago
- Cmark.mbt is a CommonMark toolkit for MoonBit.☆29Updated 2 months ago