mjgrzymek / PeanoScriptLinks
TypeScript-like theorem prover
☆42Updated 8 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 4 months ago
- Assembly interpreter implemented entirely in TypeScript's type system (type annotations)☆81Updated 3 years ago
- Full-featured language server and other tools for WebAssembly.☆58Updated this week
- Elegant parsing expression grammars☆56Updated 3 months ago
- A ui framework where you only write turing complete CSS. No HTML, no JS, no build system, just CSS (kinda)☆27Updated last year
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆58Updated 6 months ago
- A JS/TS Engine☆37Updated this week
- Security hardened Deno for macOS☆24Updated last year
- GHC WASM backend made easy to use for platforms without precompiled bindists powered by Earthly☆14Updated 9 months ago
- Delimited Continuations for JavaScript☆35Updated last year
- A react style parser generator based on PEG.js☆24Updated 2 years ago
- An implementation of interaction nets in JS.☆132Updated 6 months ago
- Cmark.mbt is a CommonMark toolkit for MoonBit.☆33Updated last week
- Prebuilt WASM binaries for tree-sitter's language parsers.☆18Updated 3 years ago
- WebAssembly grammars for tree-sitter☆38Updated 2 years ago
- Minifier for TypeScript declaration files (.d.ts)☆24Updated last year
- Very hacky transformer from TS to Go☆94Updated 10 months ago
- A programming language that runs on TypeScript's type system☆52Updated 2 years ago
- The official unyt.land CDN that allows TypeScript for Web☆17Updated last year
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆153Updated 6 months ago
- Simple, transparent parser combinators toolkit that supports any tokens☆35Updated 2 weeks ago
- Parser Combinators in the TypeScript Type System☆109Updated 2 months ago
- A web based playground for parsertl/lexertl☆28Updated 4 months 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
- Backend/data generator for test262.fyi☆112Updated last week
- Cicada Language (PLCT little team)☆94Updated last year
- Experimental REPL for Bun☆81Updated 2 years ago
- Algebraic Effects in Javascript☆48Updated 3 years ago
- A tool for writing better scripts☆58Updated 4 years ago
- A set of components for rendering deno_doc doc nodes☆24Updated last year