Alternatives and similar repositories for forest

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

• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆85Updated this week
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆42Updated this week
• Kraks / diamond-lang
  A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.
  ☆44Updated 2 months ago
• vezwork / Polytope
  Experimental, recursively-embeddable, domain-specific editors and text editor
  ☆78Updated last year
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆134Updated 2 weeks ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆68Updated 2 years ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆51Updated 3 months ago
• joom / dilim
  A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.
  ☆15Updated last year
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 3 years ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆157Updated 7 months ago
• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆69Updated last month
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆125Updated 2 years ago
• zachgk / catln
  A high-level programming language
  ☆39Updated 4 months ago
• cdiggins / type-inference
  Type Inference Library written in TypeScript
  ☆93Updated 2 years ago
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Updated 4 years ago
• verse-lab / ego
  EGraphs in OCaml
  ☆65Updated last year
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆22Updated 4 months ago
• uw-pluverse / perses
  language-agnostic program reducer.
  ☆191Updated 2 months ago
• domoritz / clingo-wasm
  Clingo on the web
  ☆39Updated last month
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆52Updated 2 weeks ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆18Updated 2 years ago
• dcao / babble
  library learning w egraphs
  ☆18Updated 2 years ago
• vilterp / datalog-ts
  a datalog interpreter in typescript
  ☆210Updated 5 months ago
• Kraks / sai
  Staged Abstract Interpreters
  ☆66Updated 2 years ago
• harp-lab / gdlog
  ☆82Updated 7 months ago
• jaredly / j3
  Another attempt to realize my programming language
  ☆23Updated 3 months ago
• euisuny / best-of-popl
  Best of POPL (BOP) Reading Group Memoirs
  ☆67Updated 3 years ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 3 years ago