cwi-swat / meta-environment
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.
☆15Updated 12 years ago
Alternatives and similar repositories for meta-environment:
Users that are interested in meta-environment are comparing it to the libraries listed below
- ☆34Updated 4 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated 11 months ago
- An extended typed Lambda Calculus☆21Updated 8 months ago
- Python term rewriting☆29Updated 12 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- Paradox model finder and equinox theorem prover for first-order logic.☆20Updated last year
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- My unofficial picat http://picat-lang.org/ repository☆28Updated last year
- Monadic Constraint Programming framework☆28Updated 6 years ago
- Library classes for the Twelf Proof System☆21Updated 4 years ago
- Tutorial for the CHR system☆16Updated 4 years ago
- Lean 4 Metamath verifier☆17Updated last year
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- A heuristic procedure for proving inequalities☆33Updated 6 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆29Updated 7 years ago
- Optimizing Abstract Abstract Machines☆31Updated 8 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- Extend Definite Clause Grammars for Prolog by the corresponding parse tree☆11Updated 2 years ago
- Miller/pattern unification in Agda☆65Updated 11 years ago
- An equational theorem prover based on Knuth-Bendix completion☆50Updated 3 weeks ago
- A Gradual Dependently-typed Language☆14Updated 5 years ago
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 90's☆11Updated last year
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- The formal proof of the Odd Order Theorem☆30Updated this week
- The Boole Interactive Reasoning Assistant☆27Updated 10 years ago
- A talk☆28Updated 4 years ago