Alternatives and similar repositories for full-maude:

Users that are interested in full-maude are comparing it to the libraries listed below

• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• ISANobody / sill
  ☆29Updated 9 years ago
• maude-team / MFE
  Maude Formal Environment
  ☆17Updated 4 years ago
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆19Updated 8 years ago
• QuickChick / Luck
  Luck -- A Language for Property-Based Generators
  ☆34Updated 7 years ago
• robsimmons / abbot
  Generation of abstract binding trees
  ☆27Updated 2 months ago
• ynot-harvard / ynot
  The Ynot Project source code.
  ☆21Updated 10 years ago
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆34Updated 8 years ago
• boyland / twelf-library
  Library classes for the Twelf Proof System
  ☆21Updated 4 years ago
• Saizan / miller
  Miller/pattern unification in Agda
  ☆63Updated 10 years ago
• philnguyen / z3-rkt
  Racket bindings for Z3
  ☆24Updated 5 years ago
• coq-community / topology
  General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]
  ☆47Updated 3 months ago
• JoeyEremondi / GDTL-artifact
  A Gradual Dependently-typed Language
  ☆14Updated 5 years ago
• agda / ooAgda
  Interactive and object-oriented programming in Agda using coinductive types
  ☆23Updated last month
• kframework / matching-logic-prover
  ☆15Updated 3 years ago
• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆38Updated last month
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 10 years ago
• SMLFamily / The-Mechanization-of-Standard-ML
  The Mechanization of Standard ML
  ☆72Updated 2 years ago
• ilyasergey / monadic-cfa
  Generic implementation of different CFA families based on monadic decomposition
  ☆21Updated 12 years ago
• clf / celf
  ☆59Updated 5 years ago
• wilbowma / dissertation
  The source for "Compiling with Dependent Types" (my dissertation)
  ☆30Updated 2 years ago
• david-christiansen / pudding-old
  A language-integrated proof assistant, for and in Racket
  ☆39Updated 8 years ago
• david-christiansen / idris-interaction.rkt
  A Racket library for interacting with Idris over the IDE protocol
  ☆31Updated 7 years ago
• dboulytchev / miniKanren-coq
  A certified semantics for relational programming workout.
  ☆26Updated 4 years ago
• wilbowma / experimenting-with-redex
  A Redex tutorial with a focus on how to do work in Redex
  ☆11Updated 2 months ago
• TOTBWF / muprl
  A small NuPRL style proof assistant
  ☆32Updated 5 years ago
• wilcoxjay / coq-lit
  Literate coq blog posts
  ☆17Updated 9 years ago
• bmsherman / topology
  Formal topology (and some probability) in Coq
  ☆32Updated 6 years ago
• rowandavies / sml-cidre
  SML Checker for Intersection and Datasort Refinements (pronounced "cider")
  ☆20Updated 11 years ago
• vrahli / NuprlInCoq
  Implementation of Nuprl's type theory in Coq
  ☆45Updated last month