maude-team / full-maudeLinks
Automatically exported from code.google.com/p/full-maude
☆16Updated last year
Alternatives and similar repositories for full-maude
Users that are interested in full-maude are comparing it to the libraries listed below
Sorting:
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- Luck -- A Language for Property-Based Generators☆35Updated 3 months ago
- Maude Formal Environment☆17Updated 5 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- ☆29Updated 9 years ago
- Formal topology (and some probability) in Coq☆32Updated 6 years ago
- LVC verified compiler☆57Updated 6 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- The Delphin Project☆10Updated 8 years ago
- The Mechanization of Standard ML☆73Updated 2 years ago
- An algebra for Matrix Expressions written in Maude☆24Updated 12 years ago
- Dependently Typed Metaprogramming Exercises☆23Updated 7 years ago
- "Toy" SMT Solver for Educational Purposes☆20Updated 12 years ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Updated 11 years ago
- Gallina to Bedrock2 compilation toolkit☆56Updated last week
- Generation of abstract binding trees☆28Updated 8 months ago
- A version of Epigram 1 that can run with newer GHCs☆52Updated 7 years ago
- A termination checker for higher-order rewriting with dependent types☆10Updated 5 years ago
- Relational interpreter for miniKanren, in miniKanren.☆14Updated 3 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated last year
- The source for "Compiling with Dependent Types" (my dissertation)☆30Updated 3 years ago
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆22Updated last year
- αProlog☆18Updated last year
- Type theory in type theory☆16Updated 13 years ago
- Implementation of Nuprl's type theory in Coq☆45Updated 6 months ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 8 years ago
- Two-Level Type Theory☆28Updated 5 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 10 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated 3 weeks ago