Language based on Rewriting Logic
☆197Nov 2, 2026Updated this week
Alternatives and similar repositories for Maude
Users that are interested in Maude are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Unified Maude model-checking tool☆13Oct 18, 2026Updated 2 weeks ago
- Language bindings for Maude☆27Aug 28, 2026Updated 2 months ago
- Development of the CafeOBJ interpreter☆42Nov 18, 2024Updated last year
- Automatically exported from code.google.com/p/full-maude☆16Jul 18, 2026Updated 3 months ago
- An SMT extension of Maude☆12Sep 27, 2026Updated last month
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Maude Formal Environment☆17Feb 17, 2026Updated 8 months ago
- Extension of Maude Logical Model Checker (https://maude.cs.illinois.edu/tools/lmc/)☆10Dec 31, 2025Updated 10 months ago
- Formal Specification of Trusted Execution Environment APIs☆11Oct 18, 2026Updated 2 weeks ago
- ☆13May 5, 2021Updated 5 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Dec 9, 2017Updated 8 years ago
- ☆14Oct 19, 2026Updated 2 weeks ago
- A compiler and run-time system to compile and run Curry programs as Go programs☆40Sep 15, 2026Updated last month
- variations on lisp, exploring reflection☆12Jun 21, 2025Updated last year
- Embeddable Lambda Prolog Interpreter☆381Updated this week
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Type-checker for the λΠ-calculus modulo rewriting☆241Jul 1, 2026Updated 4 months ago
- Easy bindings between Lean and Python.☆37Updated this week
- Formal Analysis of TEE Applications using TEE Formal Spec.☆10Dec 26, 2025Updated 10 months ago
- Lean4 library for substitution inspired by autosubst☆16Oct 23, 2026Updated last week
- Low level (C) implementation of a CEK machine with an additional "F" failure continuation supporting amb☆15Updated this week
- Tactics for discharging Lean goals into SMT solvers.☆315Updated this week
- Original Joy☆16Dec 17, 2024Updated last year
- An intermediate verification language☆30Jan 4, 2026Updated 10 months ago
- White-box automation for Lean 4☆413Oct 27, 2026Updated last week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Logical relation for predicative CC omega with booleans and an intensional identity type☆12Apr 22, 2025Updated last year
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆245Updated this week
- Metaprogramming, verified meta-theory and implementation of Rocq in Rocq☆568Updated this week
- Randomized Property-Based Testing Plugin for Coq☆295Updated this week
- an optimizing curry compiler☆15Nov 27, 2022Updated 3 years ago
- ☆60May 17, 2025Updated last year
- A verifier for automated and interactive proofs about transition systems.☆350Updated this week
- A typechecker and lazy interpreter for System U☆12Jun 7, 2026Updated 4 months ago
- TPTP linear logic version☆14Jan 27, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆11Feb 27, 2026Updated 8 months ago
- ☆16Mar 14, 2024Updated 2 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆41Oct 14, 2025Updated last year
- Rocq plugin embedding Elpi☆197Oct 26, 2026Updated last week
- Lean 4 kernel / 'external checker' written in Lean 4☆269Oct 10, 2026Updated 3 weeks ago
- Experiments with effect systems☆12Apr 18, 2016Updated 10 years ago
- ☆16Jul 3, 2023Updated 3 years ago