Maude Formal Environment
☆17Feb 17, 2026Updated last week
Alternatives and similar repositories for MFE
Users that are interested in MFE are comparing it to the libraries listed below
Sorting:
- This repository contains the Maude 2 interpreter source tree.☆43Dec 9, 2017Updated 8 years ago
- Automatically exported from code.google.com/p/full-maude☆16Sep 18, 2025Updated 5 months 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
- Date and time library for Prolog☆27Mar 8, 2021Updated 4 years ago
- A multi-formalism, multi-solution model-checker centered on the language GAL☆28Updated this week
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated last month
- tool for postgres to automatically build rest services and web forms☆13Feb 17, 2026Updated last week
- EncryCore node reference implementation☆15Apr 2, 2020Updated 5 years ago
- This repository contains solutions for Beecrowd exercises, showcasing over 400 solved problems across more than 21 programming languages.…☆12Feb 26, 2025Updated last year
- ☆10Nov 23, 2024Updated last year
- Advanced extra high speed deep packet inspect library with private AFDL language supported☆11Jul 29, 2018Updated 7 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- Boost.org logic module☆12Dec 10, 2025Updated 2 months ago
- Repositório com materiais para competições de programação☆10Oct 3, 2019Updated 6 years ago
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Oct 2, 2021Updated 4 years ago
- A collection of resources related to OTT and streaming.☆11Oct 15, 2019Updated 6 years ago
- Get Telemetry Data from YAMCS in OpenMCT☆10Sep 15, 2017Updated 8 years ago
- Pure-Haskell proper unicode string handling☆15Jun 5, 2016Updated 9 years ago
- An implementation of Google QUIC transport layer protocol for the Akka toolkit.☆12Aug 8, 2022Updated 3 years ago
- N-Queens puzzle built with react and SWI Pengines.☆10Feb 24, 2025Updated last year
- A CLOS implementation of an in memory hypergraph database and semantic networks.☆11Feb 16, 2021Updated 5 years ago
- Rapid system integration of high-level synthesis kernels using the LEAP FPGA framework☆12Apr 17, 2016Updated 9 years ago
- Ulrich Newmerkel's library for reified if, as a prolog pack☆11Aug 11, 2020Updated 5 years ago
- Source for the public website / documentation☆11Feb 2, 2026Updated last month
- Lazy python recipes.☆10Apr 17, 2021Updated 4 years ago
- Babel plugin for transforming ES2017 features Object.entries and Object.keys☆13May 2, 2024Updated last year
- LotusJS is a framework for developing HTML5 applications using web components and TypeScript. It uses a functional style and leverages ra…☆11Feb 17, 2026Updated last week
- High-Level Nets Blaster for the Model-Checking Contest☆10Jan 18, 2026Updated last month
- A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…☆11Dec 21, 2020Updated 5 years ago
- the helena Petri net tool repository☆11Sep 8, 2021Updated 4 years ago
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 2 years ago
- Exercises for Rust tutorial☆14Oct 27, 2017Updated 8 years ago
- The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)☆10Jan 11, 2021Updated 5 years ago
- Repository of benchmarks for SYNTCOMP☆14Sep 16, 2025Updated 5 months ago
- Visual SPARQL query tool☆10Feb 26, 2016Updated 10 years ago
- ☆10Apr 20, 2015Updated 10 years ago
- Haskell Protocol Buffers☆12Jan 22, 2020Updated 6 years ago
- Fast Bytecode Analysis☆15Jan 2, 2016Updated 10 years ago