cwi-swat / meta-environmentLinks
The ASF+SDF Meta-Environment is an inter-active IDE for language prototyping, source code analysis and source-to-source transformation. It contains the implementation of SDF2 and ASF+SDF.
☆16Updated 13 years ago
Alternatives and similar repositories for meta-environment
Users that are interested in meta-environment are comparing it to the libraries listed below
Sorting:
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆33Updated 3 months ago
- ☆34Updated 5 years ago
- Git mirror of https://isabelle.in.tum.de/repos/isabelle☆81Updated this week
- The Heterogeneous Tool Set☆60Updated 3 months ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated 4 months ago
- The rule-based graph programming language GP 2☆72Updated last month
- Accompanying materials for "A Core Calculus for Documents"☆36Updated 2 years ago
- CHR2 to SQL conversion☆15Updated 10 years ago
- Pedagogical first-order prover in Python☆79Updated 7 months ago
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆107Updated 2 years ago
- Editor for language composition☆58Updated 3 years ago
- My unofficial picat http://picat-lang.org/ repository☆30Updated 2 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Updated 2 weeks ago
- Modernized Sisal Interpreter☆29Updated 7 years ago
- Spoofax runtime☆159Updated 8 months ago
- Polynomial-time Meta-Interpretive Learning☆131Updated 11 months ago
- An attempt to implement the typing rules of Featherweight Java using Haskell.☆11Updated 13 years ago
- Grammar Zoo☆98Updated 7 years ago
- Python term rewriting☆30Updated 12 years ago
- ☆162Updated last month
- Straightforward unification in Python that's extensible via generic functions.☆53Updated 3 months ago
- Reactive Web Programming☆29Updated this week
- [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…☆56Updated 3 months ago
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Updated 4 months ago
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's☆14Updated 4 months ago
- Language based on Rewriting Logic☆157Updated this week
- Grammatical Framework core: compiler, shell & runtimes☆147Updated 2 months ago
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆86Updated 2 years ago
- Machine Query Interface☆20Updated 2 weeks ago
- ☆11Updated 8 years ago