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
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆25Updated 10 months ago
- ☆34Updated 4 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated 10 months ago
- collaboration on work in progress☆15Updated 14 years ago
- The Heterogeneous Tool Set☆58Updated 2 months ago
- Multinomials for the Mathematical Components library.☆14Updated last month
- A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…☆23Updated last month
- The MLtonLibrary repository☆36Updated last year
- Coq library for serialization to S-expressions☆18Updated last year
- SML, The Living Language (aka, Successor ML)☆72Updated 8 years ago
- My unofficial picat http://picat-lang.org/ repository☆28Updated last year
- formalization of theorems of higher algebraic K-theory☆8Updated 10 years ago
- The Cubicle model checker☆13Updated last year
- CHR2 to SQL conversion☆13Updated 9 years ago
- The Aldor Programming Language☆34Updated last month
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- A parser and AST for Lustre☆12Updated 5 months ago
- An equational theorem prover based on Knuth-Bendix completion☆50Updated last month
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- Category theory in Coq, by Jason Gross☆14Updated 10 years ago
- An extended typed Lambda Calculus☆21Updated 7 months ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 4 years ago
- ☆29Updated 9 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆29Updated 7 years ago
- Tool for suggesting lemma names in Coq verification projects☆19Updated 2 years ago
- The opentheory tool processes higher order logic theory packages☆16Updated 2 years ago
- Relational interpreter for miniKanren, in miniKanren.☆14Updated 3 years ago
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- The rewrite of TLAPM, the TLAPS proof managerUpdated 5 years ago