Alternatives and similar repositories for coAST

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

• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆51Updated last month
• freon4dsl / Freon4dsl
  Web Native language Workbench with Projectional Web Editor
  ☆72Updated last week
• UoYCS-plasma / GP2
  The rule-based graph programming language GP 2
  ☆69Updated last month
• tlaplus / PlusPy
  Python interpreter for TLA+ specifications
  ☆114Updated last year
• guregu / trealla-js
  Trealla Prolog for the web
  ☆53Updated 2 months ago
• formal-land / coq-of-python
  Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.
  ☆37Updated last year
• tehwalris / forest
  A multi-cursor structural editor prototype for TypeScript
  ☆60Updated 2 years ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆77Updated 4 months ago
• WebAssembly / wasi-sql
  ☆30Updated last year
• formal-land / coq-of-ts
  Formal verification for TypeScript
  ☆22Updated 2 years ago
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆30Updated last month
• trueagi-io / MORK
  MeTTa Optimal Reduction Kernel
  ☆34Updated this week
• awto / chr2sql
  CHR2 to SQL conversion
  ☆14Updated 10 years ago
• caterinaurban / Typpete
  ☆37Updated 6 years ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆16Updated 2 months ago
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆32Updated 2 weeks ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆27Updated 2 years ago
• andorp / DepPy
  Imagine a Dependently Typed Python
  ☆11Updated 7 months ago
• GammaTauAI / opentau
  Using Large Language Models for Repo-wide Type Prediction
  ☆112Updated last year
• Fault-lang / Fault
  a language for building system dynamic models
  ☆168Updated last month
• jeanqasaur / women-in-programming-languages-research
  Women in Programming Languages and Software Engineering Research
  ☆173Updated 11 months ago
• softdevteam / eco
  Editor for language composition
  ☆58Updated 2 years ago
• luc-tielen / eclair-lang
  A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
  ☆226Updated last year
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆145Updated last week
• amyjko / whyline
  The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.
  ☆80Updated 9 years ago
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆96Updated 2 years ago
• Technologicat / unpythonic
  Supercharge your Python with parts of Lisp and Haskell.
  ☆100Updated 7 months ago
• zyedidia / gpeg
  A PEG parsing machine with support for incremental parsing.
  ☆94Updated 9 months ago
• cubix-framework / cubix
  The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …
  ☆115Updated 3 weeks ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆87Updated 2 years ago