coala / coAST
Universal and language-independent abstract syntax tree
☆51Updated 3 years ago
Alternatives and similar repositories for coAST:
Users that are interested in coAST are comparing it to the libraries listed below
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆25Updated 8 months ago
- Formal verification for TypeScript☆14Updated 2 years ago
- TiML: A Functional Programming Language with Time Complexity☆76Updated 7 years ago
- The Ur/Web People Organizer☆29Updated 9 months ago
- Fuzzy Aggregators and Similarity Into a Logic Language☆21Updated 5 months ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆67Updated 2 years ago
- My unofficial picat http://picat-lang.org/ repository☆28Updated last year
- An arbitrary-precision differentiable programming language.☆34Updated last year
- Ranked Programming Extension for Racket☆54Updated 4 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆28Updated 7 years ago
- A summary of ideas about transpilation -- work in progress☆19Updated last year
- Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.☆22Updated 7 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- A CSS specification and reasoning engine☆94Updated 2 years ago
- Straightforward unification in Python that's extensible via generic functions.☆46Updated 5 months ago
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆32Updated 5 months ago
- Pure haskell encoding of MLIR for printing, parsing, and mutating MLIR within haskell☆16Updated 4 years ago
- git mirror with some local fixes. currently not uptodate☆15Updated last year
- an Abstract Semantic Graph (ASG) for ECMAScript programs and a way to generate one from a Shift AST☆17Updated 4 years ago
- A minimal Python interpreter in Python with runtime AST definition and edit-and-continue☆33Updated 7 years ago
- Well Typed Foundations 🏛️☆15Updated 4 years ago
- Learn multi-variable optimization by creating a drawing assistant. No deep learning required!☆27Updated 2 years ago
- program synthesis is possible☆41Updated 5 years ago
- The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …☆113Updated 2 months ago
- MeTTa Optimal Reduction Kernel☆15Updated this week
- OCaml bindings for RE2☆45Updated 2 months ago
- Modernized Sisal Interpreter☆28Updated 6 years ago
- Generate code Python source cross-reference facts in Kythe format☆23Updated 4 months ago
- A dynamic language inspired by Python and E.☆78Updated 4 years ago