maude-team / full-maude

Related projects ⓘ

Alternatives and complementary repositories for full-maude

• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 6 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
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆34Updated 7 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆33Updated 4 months ago
• SMLFamily / The-Mechanization-of-Standard-ML
  The Mechanization of Standard ML
  ☆72Updated 2 years ago
• QuickChick / Luck
  Luck -- A Language for Property-Based Generators
  ☆33Updated 7 years ago
• kframework / matching-logic-prover
  ☆15Updated 3 years ago
• standardml / parcom
  SML Parser Combinator Library
  ☆27Updated 8 years ago
• ISANobody / sill
  ☆29Updated 9 years ago
• Saizan / miller
  Miller/pattern unification in Agda
  ☆62Updated 10 years ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 8 years ago
• mrocklin / matrix-algebra
  An algebra for Matrix Expressions written in Maude
  ☆24Updated 12 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆46Updated 10 years ago
• andrejbauer / miniLCF
  A bare-bones LCF-style proof assistant
  ☆21Updated 5 years ago
• gilith / opentheory
  The opentheory tool processes higher order logic theory packages
  ☆15Updated last year
• wilbowma / dissertation
  The source for "Compiling with Dependent Types" (my dissertation)
  ☆30Updated 2 years ago
• theoremprover-museum / theoremprover-museum.github.io
  ☆51Updated 3 months ago
• wilbowma / experimenting-with-redex
  A Redex tutorial with a focus on how to do work in Redex
  ☆11Updated last month
• namin / lms-black
  purple: compiling a reflective language
  ☆29Updated last month
• agda / ooAgda
  Interactive and object-oriented programming in Agda using coinductive types
  ☆22Updated 4 years ago
• coq-community / topology
  General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]
  ☆47Updated last month
• boyland / twelf-library
  Library classes for the Twelf Proof System
  ☆21Updated 4 years ago
• racket / algol60
  ☆12Updated 2 weeks ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆34Updated last year
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 10 years ago
• aa755 / ROSCoq
  Robots powered by Constructive Reals
  ☆34Updated 7 years ago
• melted / idris-chez
  An idris backend compiling to chez scheme
  ☆47Updated 7 years ago
• coq-community / dblib
  Coq library for working with de Bruijn indices [maintainer=@KevOrr]
  ☆30Updated 3 years ago