postechsv/maude-se external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

postechsv/maude-se

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/postechsv/maude-se)

Close

postechsv / maude-seView on GitHubMore

• External links
• Readme badge

An SMT extension of Maude

☆12Jun 8, 2025Updated 8 months ago

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 2 months ago
• postechsv / tee-formal-spec

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

  View on GitHub
  Extension of Maude Logical Model Checker (https://maude.cs.illinois.edu/tools/lmc/)
  ☆10Dec 31, 2025Updated 2 months ago
• postechsv / plc-release

  View on GitHub
  ☆13Dec 31, 2025Updated 2 months ago
• maude-lang / Maude

  View on GitHub
  Language based on Rewriting Logic
  ☆164Updated this week
• emap-20242-ed / fad

  View on GitHub
  lean code
  ☆10Jan 3, 2025Updated last year
• FormalizedFormalLogic / Arithmetization

  View on GitHub
  Formalization of Arithmetization of Mathematics/Metamathematics
  ☆13Mar 8, 2025Updated 11 months ago
• 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
• T-Brick / DateTime

  View on GitHub
  DateTime package for Lean 4
  ☆17Feb 28, 2024Updated 2 years ago
• m4lvin / lean4-pdl

  View on GitHub
  Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)
  ☆14Feb 26, 2026Updated last week
• sven-manthe / A-formalization-of-Borel-determinacy-in-Lean

  View on GitHub
  ☆14Feb 26, 2026Updated last week
• ipdl / ipdl

  View on GitHub
  ☆11Jan 17, 2023Updated 3 years ago
• awodey / joyal

  View on GitHub
  ☆16Jun 22, 2024Updated last year
• 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 7 months ago
• fgdorais / lean4-unicode-basic

  View on GitHub
  Basic Unicode support for Lean 4
  ☆15Updated this week
• gteege / gentle-isabelle

  View on GitHub
  A gentle introduction to Isabelle and Isabelle/HOL
  ☆17Mar 27, 2025Updated 11 months ago
• IPK-BIT / odrl-builder

  View on GitHub
  ☆13Dec 20, 2024Updated last year
• YnirPaz / PCF-Theory

  View on GitHub
  A formalization of PCF theory in lean
  ☆12Apr 5, 2025Updated 11 months ago
• lean-machines-central / lean-machines

  View on GitHub
  a Lean4 framework for the modeling and refinement of stateful systems
  ☆25Dec 19, 2025Updated 2 months ago
• bergmannjg / leanCurl

  View on GitHub
  Lean 4 bindings to libcurl
  ☆13Feb 3, 2026Updated last month
• FWuermse / lean-postgres

  View on GitHub
  ☆14Feb 14, 2025Updated last year
• ammkrn / timelib

  View on GitHub
  A date and time library for Lean 4
  ☆14Apr 12, 2025Updated 10 months ago
• leanprover-community / mathlib-changelog

  View on GitHub
  ☆14Updated this week
• reilabs / gnark-lean-demo

  View on GitHub
  Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.
  ☆15Mar 3, 2024Updated 2 years ago
• tau-prolog / draw-derivation-trees

  View on GitHub
  A tool for drawing derivation trees of Tau Prolog
  ☆11Feb 23, 2022Updated 4 years ago
• siddhartha-gadgil / MetaExamples

  View on GitHub
  Examples using MetaProgramming for writing tactics etc.
  ☆20Nov 26, 2025Updated 3 months ago
• pkshashank / GFLeanTransfer

  View on GitHub
  ☆13Mar 27, 2024Updated last year
• katydid / regex-deriv-lean

  View on GitHub
  Proofs written in Lean4 for the core katydid validation algorithm
  ☆18Sep 17, 2025Updated 5 months ago
• rururu / es-boat

  View on GitHub
  Expert system for coastal navigation prototype
  ☆11Oct 23, 2016Updated 9 years ago
• Xu-Jingyi / AlgebraicMR

  View on GitHub
  We introduce algebraic machine reasoning to solve Raven's Progressive Matrices (RPMs).
  ☆15Jul 2, 2025Updated 8 months ago
• gateless / clara-rules

  View on GitHub
  Performance focused forward-chaining rules in Clojure
  ☆17Jan 28, 2026Updated last month
• smucclaw / baby-l4

  View on GitHub
  A miniature version of the l4 language
  ☆13Jun 29, 2025Updated 8 months ago
• bergmannjg / regex

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

  View on GitHub
  Moise is an organisational platform for Multi-Agent Systems
  ☆17Nov 5, 2025Updated 4 months 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
• readablesystems / cs260r-17

  View on GitHub
  Main repository for Harvard CS260r 2017.
  ☆12Apr 25, 2017Updated 8 years ago
• oval-group / oval-bab

  View on GitHub
  OVAL framework for BaB-based Neural Network Verification
  ☆17Dec 18, 2025Updated 2 months ago