Maude Formal Environment
☆17Feb 17, 2026Updated last month
Alternatives and similar repositories for MFE
Users that are interested in MFE are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This repository contains the Maude 2 interpreter source tree.☆43Dec 9, 2017Updated 8 years ago
- Date and time library for Prolog☆27Mar 8, 2021Updated 5 years ago
- Plugin files for editing K files☆12Aug 20, 2024Updated last year
- A model checker for safe Petri nets based on partial-order semantics☆13Nov 30, 2020Updated 5 years ago
- Setup a k3s cluster on Raspberry Pi 4 SBCs.☆20Aug 6, 2020Updated 5 years ago
- Formal Semantics of P4 in K☆20May 21, 2021Updated 4 years ago
- Find repositories, releases, and modules for projects in the Cosmos ecosystem.☆16Jan 12, 2026Updated 2 months ago
- Example code demonstrating how SML modules, in particular functors, can be used for structuring a web framework.☆14Feb 26, 2014Updated 12 years ago
- DEPRECATED (Cloud Haskell Platform) in favor of distributed-process-extras, distributed-process-async, distributed-process-client-server,…☆46Nov 4, 2015Updated 10 years ago
- GitHub Action for the OCaml programming language☆18May 25, 2021Updated 4 years ago
- A configuration provider for Distillery which handles AWS SSM parameters☆10Apr 14, 2020Updated 5 years ago
- BoSy is a reactive synthesis tool based on constraint-solving☆19Aug 3, 2023Updated 2 years ago
- voxel editing tool with OpenVDB☆13Dec 31, 2018Updated 7 years ago
- ☆17Aug 28, 2024Updated last year
- Boost.org logic module☆12Mar 11, 2026Updated last week
- ☆14Oct 7, 2022Updated 3 years ago
- Library for color and formatting in the terminal☆21Updated this week
- Kleene algebra modulo theories☆27Nov 21, 2022Updated 3 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated last month
- Experimental opam plugin☆19Updated this week
- An OCaml library implementing unifiable abstract binding trees (UABTs)☆28Nov 11, 2023Updated 2 years ago
- An x86 disassembler written in Java (port of udis86)☆13Dec 10, 2014Updated 11 years ago
- Algebraic structures in OCaml.☆25Nov 21, 2025Updated 4 months ago
- An OCaml modular and generalised parser combinator library.☆22Aug 15, 2021Updated 4 years ago
- A parsing library that compiles grammars to combinators using elimination of left recursion☆27Dec 22, 2025Updated 3 months ago
- fuzzy string searching, using Levenshtein automaton. Can be used for spell-checking.☆26Apr 2, 2025Updated 11 months ago
- language verification, construction, and analysis☆20Apr 2, 2022Updated 3 years ago
- camels game☆21Jan 22, 2026Updated 2 months ago
- Formally verified Coq serialization library with support for extraction to OCaml☆24Oct 22, 2023Updated 2 years ago
- A multi-formalism, multi-solution model-checker centered on the language GAL☆27Updated this week
- EDIT: now archived, see https://github.com/nim-lang/Nim/issues/15946. niminst is a tool to generate an installer for a Nim program. Curre…☆15Mar 30, 2021Updated 4 years ago
- Binary dynamic, static, and symbolic execution analysis tools for directed test generation☆22Nov 14, 2019Updated 6 years ago
- Create audio applications, vst plugins and much more online☆13Nov 23, 2018Updated 7 years ago
- Statically-sized immutable vectors and matrices.☆21Oct 10, 2019Updated 6 years ago
- A PPX deriver that automates differential testing for OCaml modules☆26Nov 30, 2024Updated last year
- Remake of Railroad Tycoon in OCaml☆18Mar 2, 2026Updated 3 weeks ago
- ☆11May 2, 2019Updated 6 years ago
- Parser and printer for date-times in ISO8601☆29Feb 8, 2024Updated 2 years ago
- Concatenate and print files in a Rust byte slice compatible format.☆12Mar 20, 2023Updated 3 years ago