Alternatives and similar repositories for maude-se

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

• postechsv / tee-formal-analysis

  View on GitHub
  Formal Analysis of TEE Applications using TEE Formal Spec.
  ☆10Dec 26, 2025Updated last month
• postechsv / tee-formal-spec

  View on GitHub
  Formal Specification of Trusted Execution Environment APIs
  ☆10Dec 26, 2025Updated last month
• postechsv / lmc-ext

  View on GitHub
  Extension of Maude Logical Model Checker (https://maude.cs.illinois.edu/tools/lmc/)
  ☆10Dec 31, 2025Updated last month
• stlmc / stlmc

  View on GitHub
  ☆11Jan 21, 2025Updated last year
• postechsv / plc-release

  View on GitHub
  ☆13Dec 31, 2025Updated last month
• maude-lang / Maude

  View on GitHub
  Language based on Rewriting Logic
  ☆159Updated this week
• FormalizedFormalLogic / Arithmetization

  View on GitHub
  Formalization of Arithmetization of Mathematics/Metamathematics
  ☆13Mar 8, 2025Updated 11 months ago
• emap-20242-ed / fad

  View on GitHub
  lean code
  ☆10Jan 3, 2025Updated last year
• NUS-Math-Formalization / coxeter

  View on GitHub
  ☆13Jul 8, 2024Updated last year
• tydeu / lean4-partax

  View on GitHub
  Lean 4 library of tools for parsing and compiling syntax and parser definitions.
  ☆16Dec 10, 2023Updated 2 years ago
• fgdorais / lean4-unicode-basic

  View on GitHub
  Basic Unicode support for Lean 4
  ☆15Updated this week
• sven-manthe / A-formalization-of-Borel-determinacy-in-Lean

  View on GitHub
  ☆14Oct 16, 2025Updated 3 months ago
• AlexDuchnowski / rubiks-cube

  View on GitHub
  A Lean 4 representation of the Rubik's Cube, some proofs about the representation, and a simple solution algorithm.
  ☆11Jul 16, 2025Updated 6 months ago
• T-Brick / DateTime

  View on GitHub
  DateTime package for Lean 4
  ☆16Feb 28, 2024Updated last year
• latte-central / latte-kernel

  View on GitHub
  The (very) small kernel of the LaTTe proof assistant
  ☆12Mar 13, 2025Updated 11 months ago
• ipdl / ipdl

  View on GitHub
  ☆11Jan 17, 2023Updated 3 years ago
• m4lvin / lean4-pdl

  View on GitHub
  Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)
  ☆14Jan 17, 2026Updated 3 weeks ago
• pkshashank / GFLeanTransfer

  View on GitHub
  ☆12Mar 27, 2024Updated last year
• bergmannjg / leanCurl

  View on GitHub
  Lean 4 bindings to libcurl
  ☆13Feb 3, 2026Updated last week
• gteege / gentle-isabelle

  View on GitHub
  A gentle introduction to Isabelle and Isabelle/HOL
  ☆17Mar 27, 2025Updated 10 months ago
• leanprover-community / mathlib-changelog

  View on GitHub
  ☆14Feb 7, 2026Updated last week
• FWuermse / lean-postgres

  View on GitHub
  ☆14Feb 14, 2025Updated 11 months ago
• ammkrn / timelib

  View on GitHub
  A date and time library for Lean 4
  ☆14Apr 12, 2025Updated 10 months ago
• awodey / joyal

  View on GitHub
  ☆16Jun 22, 2024Updated last year
• lean-machines-central / lean-machines

  View on GitHub
  a Lean4 framework for the modeling and refinement of stateful systems
  ☆23Dec 19, 2025Updated last month
• IPK-BIT / odrl-builder

  View on GitHub
  ☆13Dec 20, 2024Updated last year
• reilabs / gnark-lean-demo

  View on GitHub
  Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.
  ☆15Mar 3, 2024Updated last year
• siddhartha-gadgil / MetaExamples

  View on GitHub
  Examples using MetaProgramming for writing tactics etc.
  ☆20Nov 26, 2025Updated 2 months ago
• gateless / clara-rules

  View on GitHub
  Performance focused forward-chaining rules in Clojure
  ☆17Jan 28, 2026Updated 2 weeks ago
• katydid / regex-deriv-lean

  View on GitHub
  Proofs written in Lean4 for the core katydid validation algorithm
  ☆17Sep 17, 2025Updated 4 months ago
• Xu-Jingyi / AlgebraicMR

  View on GitHub
  We introduce algebraic machine reasoning to solve Raven's Progressive Matrices (RPMs).
  ☆15Jul 2, 2025Updated 7 months ago
• smucclaw / baby-l4

  View on GitHub
  A miniature version of the l4 language
  ☆13Jun 29, 2025Updated 7 months ago
• rururu / es-boat

  View on GitHub
  Expert system for coastal navigation prototype
  ☆11Oct 23, 2016Updated 9 years ago
• bergmannjg / regex

  View on GitHub
  A PCRE2 compatible regular expression engine written in Lean 4.
  ☆18Feb 3, 2026Updated last week
• moise-lang / moise

  View on GitHub
  Moise is an organisational platform for Multi-Agent Systems
  ☆17Nov 5, 2025Updated 3 months ago
• readablesystems / cs260r-17

  View on GitHub
  Main repository for Harvard CS260r 2017.
  ☆12Apr 25, 2017Updated 8 years ago
• digama0 / ast_export

  View on GitHub
  AST export from Lean 4
  ☆17Jul 25, 2024Updated last year
• program-repair-project / bug-localizer

  View on GitHub
  ☆14Jan 8, 2023Updated 3 years ago
• nomeata / lean-wf-induct

  View on GitHub
  ☆17Feb 20, 2024Updated last year