coala / coASTLinks
Universal and language-independent abstract syntax tree
☆54Updated 4 years ago
Alternatives and similar repositories for coAST
Users that are interested in coAST are comparing it to the libraries listed below
Sorting:
- CHR2 to SQL conversion☆15Updated 10 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆33Updated 4 months ago
- ☆36Updated 6 years ago
- Straightforward unification in Python that's extensible via generic functions.☆53Updated 3 months ago
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆41Updated last year
- Web Native language Workbench with Projectional Web Editor☆75Updated this week
- program synthesis with neuro-symbolic differentiable interpreters☆17Updated 4 months ago
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Updated 4 years ago
- Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]☆80Updated 7 months ago
- Framework for Effortless Language Servers with Language Servers for SOM, SOMns, and SimpleLanguage☆20Updated 2 years ago
- The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.☆80Updated 9 years ago
- Domain Specific Languages for Computational Law☆78Updated 7 months ago
- A command-line utility for pulling code blocks out of markdown files.☆15Updated 4 years ago
- The rule-based graph programming language GP 2☆77Updated 2 months ago
- Using Large Language Models for Repo-wide Type Prediction☆114Updated 2 years ago
- A multi-cursor structural editor prototype for TypeScript☆60Updated 2 years ago
- A list of compilers with some metadata.☆12Updated last year
- Explorations in area of programming languages: concepts, typing, formal verification☆18Updated 3 years ago
- Fuzzy Aggregators and Similarity Into a Logic Language☆26Updated last year
- Prolog, Datalog, languages, resources, and beyond!☆33Updated last year
- A teaching aid library for formal languages and compiler courses☆12Updated 8 months ago
- Python interpreter for TLA+ specifications☆116Updated last year
- ☆20Updated 3 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Updated 2 years ago
- a language for building system dynamic models☆169Updated this week
- Accompanying materials for "A Core Calculus for Documents"☆36Updated 2 years ago
- An overview of property-based testing functionality☆80Updated 2 months ago
- A CSS specification and reasoning engine☆101Updated 2 years ago
- Execute and document benchmarks reproducibly.☆97Updated 7 months ago
- Aeon programming language☆25Updated last week