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:
- The Heterogeneous Tool Set☆59Updated 2 months ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆33Updated 2 months ago
- ☆34Updated 5 years ago
- Git mirror of https://isabelle.in.tum.de/repos/isabelle☆77Updated this week
- ☆11Updated 8 years ago
- The mathematical study of type theories, in univalent foundations☆117Updated 10 months ago
- Grammatical Framework core: compiler, shell & runtimes☆145Updated last month
- Spoofax runtime☆156Updated 7 months ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆55Updated 5 years ago
- Pedagogical first-order prover in Python☆78Updated 6 months ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Updated last month
- Community contributions to the Grammatical Framework☆62Updated last year
- ☆159Updated last month
- This repository contains the Maude 2 interpreter source tree.☆43Updated 8 years ago
- Language based on Rewriting Logic☆154Updated this week
- CHR2 to SQL conversion☆15Updated 10 years ago
- Development of the CafeOBJ interpreter☆40Updated last year
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- ☆38Updated 2 years ago
- Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used …☆48Updated 2 years ago
- An Open Encyclopedia of Proof Systems☆120Updated 3 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated 3 months ago
- git mirror of the Munich isabelle hg repository☆129Updated last week
- Constraint Logic Programming over Integers☆209Updated last year
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆107Updated 2 years ago
- ☆37Updated last year
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆57Updated 11 years ago
- A Jupyter kernel for Prolog☆24Updated last year
- Intuitionistic Programming Language☆12Updated 11 years ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆50Updated 2 months ago