Alternatives and similar repositories for PeanoScript

Users that are interested in PeanoScript are comparing it to the libraries listed below

• Menci / tree-sitter-wasm-prebuilt
  Prebuilt WASM binaries for tree-sitter's language parsers.
  ☆16Updated 2 years ago
• wasmfx / wasmfxtime
  A fork of wasmtime (a fast and secure runtime for WebAssembly) supporting the WasmFX instruction set
  ☆20Updated 3 months ago
• cicada-lang / inet-js
  This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
  ☆53Updated 4 months ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆45Updated 3 months ago
• norskeld / sigma
  TypeScript parser combinator library for building fast and convenient parsers.
  ☆28Updated 10 months ago
• thefrontside / continuation
  Delimited Continuations for JavaScript
  ☆33Updated last year
• cdiggins / type-inference
  Type Inference Library written in TypeScript
  ☆93Updated 2 years ago
• cicada-lang / cicada-plct
  Cicada Language (PLCT little team)
  ☆92Updated 4 months ago
• grain-lang / grain-language-server
  Grain support for Visual Studio Code
  ☆23Updated 5 months ago
• formal-land / coq-of-ts
  Formal verification for TypeScript
  ☆18Updated 2 years ago
• lezer-parser / common
  Packed syntax tree data structure
  ☆62Updated last month
• Quramy / pico-ml
  A toy programming language which is a subset of OCaml.
  ☆51Updated last week
• DanielXMoore / Hera
  Elegant parsing expression grammars
  ☆52Updated 2 weeks ago
• phenax / css-everything
  A ui framework where you only write turing complete CSS. No HTML, no JS, no build system, just CSS (kinda)
  ☆26Updated last year
• moonbit-community / cmark.mbt
  Cmark.mbt is a CommonMark toolkit for MoonBit.
  ☆27Updated this week
• queso-lang / queso
  🧀 A delicious programming language
  ☆36Updated 2 years ago
• lezer-parser / highlight
  Syntax highlighting from Lezer trees
  ☆35Updated 9 months ago
• iwillspeak / Firethorn
  Implementation of Red / Green syntax trees. Inspired by Rowan
  ☆13Updated 10 months ago
• dibsonthis / Glide--old
  Glide programming language
  ☆41Updated 2 years ago
• FlatAssembler / AECforWebAssembly
  A port of ArithmeticExpressionCompiler from x86 to WebAssembly, so that the programs written in the language can run in a browser. The co…
  ☆35Updated last week
• konn / ghc-wasm-earthly
  GHC WASM backend made easy to use for platforms without precompiled bindists powered by Earthly
  ☆13Updated 3 weeks ago
• kipos-lang / kipos
  let a million languages bloom
  ☆20Updated 3 weeks ago
• leanprover / lean-client-js
  ☆38Updated last year
• cluesurf / tree
  A Modeling Notation ꕤ
  ☆15Updated this week
• coetaur0 / nox
  The Nox programming language
  ☆29Updated last year
• desi-ivanov / ts-regexp
  Type-Level Regular Expressions matching with TypeScript
  ☆23Updated 2 years ago
• rescript-lang / std
  Light weight runtime for ReScript
  ☆15Updated last year
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆23Updated this week
• mistlog / react-peg
  A react style parser generator based on PEG.js
  ☆23Updated 2 years ago
• littledivy / sh-deno
  Security hardened Deno for macOS
  ☆21Updated 6 months ago