maude-team / full-maudeView external linksLinks
Automatically exported from code.google.com/p/full-maude
☆16Sep 18, 2025Updated 4 months ago
Alternatives and similar repositories for full-maude
Users that are interested in full-maude are comparing it to the libraries listed below
Sorting:
- This repository contains the Maude 2 interpreter source tree.☆43Dec 9, 2017Updated 8 years ago
- Language based on Rewriting Logic☆159Updated this week
- Unified Maude model-checking tool☆13Feb 4, 2026Updated last week
- Notes on P-omega☆14Jul 11, 2017Updated 8 years ago
- 🌀 A parts mapping tool for IFS practitioners and their clients☆13Jan 29, 2026Updated 2 weeks ago
- An algebra for Matrix Expressions written in Maude☆24Oct 23, 2012Updated 13 years ago
- SuperPascal modification - compiles under fpc (Free Pascal).☆18Jun 30, 2018Updated 7 years ago
- A subfield of the complex numbers for exact calculation.☆22May 22, 2020Updated 5 years ago
- vertical + gpu + free join + datalog☆21Feb 12, 2025Updated last year
- Intrinsic Verification of Formal Grammar Theory☆27Nov 22, 2025Updated 2 months ago
- Language bindings for Maude☆24Nov 2, 2025Updated 3 months ago
- ☆31Apr 17, 2023Updated 2 years ago
- Generation of abstract binding trees☆27Sep 26, 2025Updated 4 months ago
- Partial Commutative Monoids☆32Jun 9, 2025Updated 8 months ago
- Date and time library for Prolog☆27Mar 8, 2021Updated 4 years ago
- Syntax for Virtual Equipments: a natural syntax for doing synthetic and internal category theory☆32Apr 29, 2023Updated 2 years ago
- Development of the CafeOBJ interpreter☆40Nov 18, 2024Updated last year
- FUSION is an open-source project aimed at revolutionizing networking through the simulation of advanced SD-EONs and AI-enhanced networks,…☆13Jan 30, 2026Updated 2 weeks ago
- Programming languages: MiniZinc, Prolog, Eclipse_CP, Picat, Haskell, C++, C, bash etc☆38Feb 3, 2026Updated last week
- A small astrolabe suitable for laser cutting☆12May 23, 2024Updated last year
- Template for a (PhD) thesis☆10Nov 5, 2025Updated 3 months ago
- The Graphplan algorithm is an automatic planning algorithm that can compute, given a set of rules, a plan of action to go from an initial…☆38Jan 25, 2015Updated 11 years ago
- Structured Information on State and Evolution of Dockerfiles - Online Appendix☆10Mar 16, 2018Updated 7 years ago
- Archive of the categories mailling list☆11Sep 8, 2020Updated 5 years ago
- An application for comparing two binary files☆11Feb 22, 2019Updated 6 years ago
- A command line utility for downloading Xbox screenshots and game clips to local storage☆10Apr 22, 2024Updated last year
- ☆11Sep 8, 2022Updated 3 years ago
- A hex editor widget for Qt5☆10Feb 8, 2016Updated 10 years ago
- ☆13Mar 26, 2024Updated last year
- ☆10Oct 3, 2018Updated 7 years ago
- Example code for Sunrise, written in Arduino.☆12Aug 8, 2023Updated 2 years ago
- sshkit/rake in Golang☆10May 11, 2025Updated 9 months ago
- Boost.org logic module☆12Dec 10, 2025Updated 2 months ago
- dblp Knowledge Graph☆14Jan 16, 2025Updated last year
- An open-source carbon box model implementation built on JAX.☆11Apr 2, 2024Updated last year
- UDisks2 D-Bus interfaces binding for Qt5.☆10Jul 11, 2024Updated last year
- These are the lecture notes for my class on linear algebra.☆10Oct 28, 2024Updated last year
- ☆45Jun 20, 2019Updated 6 years ago
- Autoregressive transformers in APL☆107Sep 3, 2025Updated 5 months ago