maude-team / maude
This repository contains the Maude 2 interpreter source tree.
☆43Updated 7 years ago
Alternatives and similar repositories for maude:
Users that are interested in maude are comparing it to the libraries listed below
- Automatically exported from code.google.com/p/full-maude☆15Updated last year
- Maude Formal Environment☆17Updated 4 years ago
- Gallina to Bedrock2 compilation toolkit☆52Updated this week
- Luck -- A Language for Property-Based Generators☆34Updated 7 years ago
- SPARK 2014 repository for the Why3 verification platform.☆29Updated last week
- ☆88Updated 2 years ago
- ☆51Updated 2 months ago
- surgical precision JIT compilers☆121Updated 7 years ago
- generative programming & verification☆32Updated 3 years ago
- ☆59Updated 5 years ago
- Coq library for working with de Bruijn indices [maintainer=@KevOrr]☆30Updated 3 years ago
- The Ynot Project source code.☆21Updated 10 years ago
- Mostly Automated Synthesis of Correct-by-Construction Programs☆151Updated 2 weeks ago
- A SuperCompiler for Martin-Löf's Type Theory☆119Updated 3 years ago
- Higher Order Prolog with Extensional Semantics☆53Updated 4 years ago
- LVC verified compiler☆57Updated 6 years ago
- SML Parser Combinator Library☆27Updated 8 years ago
- The SAW core language.☆54Updated 3 years ago
- CLP(SMT) on top of miniKanren☆35Updated 2 years ago
- Logic for story telling!☆33Updated 6 years ago
- Library classes for the Twelf Proof System☆21Updated 4 years ago
- The Mechanization of Standard ML☆72Updated 2 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- Standard ML compiler based on typed intermediate languages.☆47Updated 10 years ago
- The formal proof of the Odd Order Theorem☆29Updated 3 weeks ago
- ☆58Updated 11 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 7 years ago
- αProlog☆17Updated last year
- ☆52Updated last month
- Reason about Term Rewriting Systems☆15Updated 2 years ago