Automatically exported from code.google.com/p/full-maude
☆16Sep 18, 2025Updated 5 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☆164Updated this week
- Unified Maude model-checking tool☆13Feb 4, 2026Updated last month
- 🌀 A parts mapping tool for IFS practitioners and their clients☆14Feb 22, 2026Updated last week
- An algebra for Matrix Expressions written in Maude☆24Oct 23, 2012Updated 13 years ago
- vertical + gpu + free join + datalog☆21Feb 12, 2025Updated last year
- Intrinsic Verification of Formal Grammar Theory☆27Nov 22, 2025Updated 3 months ago
- Language bindings for Maude☆25Nov 2, 2025Updated 4 months ago
- ☆32Apr 17, 2023Updated 2 years ago
- Generation of abstract binding trees☆27Sep 26, 2025Updated 5 months ago
- Partial Commutative Monoids☆32Feb 18, 2026Updated 2 weeks 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
- Programming languages: MiniZinc, Prolog, Eclipse_CP, Picat, Haskell, C++, C, bash etc☆38Feb 26, 2026Updated last week
- Template for a (PhD) thesis☆11Nov 5, 2025Updated 4 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
- High-end Cryptographic Library☆44Nov 22, 2019Updated 6 years ago
- Julia notebook for exploring correlations among consecutive primes.☆10Sep 7, 2020Updated 5 years ago
- These are the lecture notes for my class on linear algebra.☆10Oct 28, 2024Updated last year
- Multi Dimensional Identity Protocol (MDIP) reference implementation☆14Updated this week
- ☆10Oct 3, 2018Updated 7 years ago
- Example code for Sunrise, written in Arduino.☆12Aug 8, 2023Updated 2 years ago
- A command line utility for downloading Xbox screenshots and game clips to local storage☆10Apr 22, 2024Updated last year
- An open-source carbon box model implementation built on JAX.☆11Apr 2, 2024Updated last year
- dblp Knowledge Graph☆14Jan 16, 2025Updated last year
- Generate Go bindings for shared C libraries.☆15Jul 13, 2024Updated last year
- Structured Information on State and Evolution of Dockerfiles - Online Appendix☆10Mar 16, 2018Updated 7 years ago
- sshkit/rake in Golang☆10May 11, 2025Updated 9 months ago
- Pure-Haskell proper unicode string handling☆15Jun 5, 2016Updated 9 years ago
- A small astrolabe suitable for laser cutting☆12May 23, 2024Updated last year
- A hex editor widget for Qt5☆10Feb 8, 2016Updated 10 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- An application for comparing two binary files☆11Feb 22, 2019Updated 7 years ago
- ☆13Mar 26, 2024Updated last year
- Archive of the categories mailling list☆12Sep 8, 2020Updated 5 years ago
- ☆45Jun 20, 2019Updated 6 years ago
- Autoregressive transformers in APL☆107Sep 3, 2025Updated 6 months ago
- an optimizing curry compiler☆14Nov 27, 2022Updated 3 years ago