Alternatives and similar repositories for forest:

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

• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆133Updated last week
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆85Updated 2 weeks ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆32Updated last year
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆40Updated 2 weeks ago
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Updated 4 years ago
• ngernest / pbt-bibliography
  A collaborative bibliography of papers related to property-based testing
  ☆13Updated last week
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆43Updated 2 months ago
• Kraks / diamond-lang
  A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.
  ☆44Updated last month
• OCamlPro / owi
  Cross-language Bugfinder | Bring Your Own Language Solver-Aided Programming | WebAssembly Swissknife
  ☆173Updated this week
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 3 years ago
• jmid / pbt-frameworks
  An overview of property-based testing functionality
  ☆60Updated this week
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆156Updated 5 months ago
• mingodad / plgh
  Programming Languages Grammar House (BNF like grammars)
  ☆26Updated 7 months ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 3 years ago
• cubix-framework / cubix
  The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …
  ☆114Updated last week
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆73Updated this week
• dcao / babble
  library learning w egraphs
  ☆17Updated last year
• polytypic / prettier-printer
  A pretty printing library
  ☆24Updated 6 years ago
• langston-barrett / treeedb
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆67Updated 2 weeks ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆68Updated 2 years ago
• vezwork / Polytope
  Experimental, recursively-embeddable, domain-specific editors and text editor
  ☆78Updated last year
• cucapra / lambdalab
  interactive λ-calculus for learning
  ☆38Updated 5 years ago
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆21Updated 3 months ago
• jaredly / j3
  Another attempt to realize my programming language
  ☆23Updated 2 months ago
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆27Updated 4 years ago
• euisuny / best-of-popl
  Best of POPL (BOP) Reading Group Memoirs
  ☆67Updated 3 years ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• verse-lab / ego
  EGraphs in OCaml
  ☆64Updated last year
• cdiggins / type-inference
  Type Inference Library written in TypeScript
  ☆93Updated last year