A library for generating automata from LTL and LDL formulas with finite-trace semantics.
☆11Dec 14, 2021Updated 4 years ago
Alternatives and similar repositories for FLLOAT
Users that are interested in FLLOAT are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Jan 2, 2018Updated 8 years ago
- A Python library for logic formalisms representation and manipulation.☆16Jan 21, 2024Updated 2 years ago
- Improving Source Extraction with Diffusion and Consistency Models☆12Jul 18, 2026Updated 3 months ago
- A tool for LDLf translation to DFA and for LDLf synthesis.☆24Sep 22, 2023Updated 3 years ago
- Code and checkpoints for our paper "STAGE: Stemmed Accompaniment Generation through Prefix-Based Conditioning"☆12Sep 24, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- From LTLf/LDLf To Automata☆23Aug 17, 2020Updated 6 years ago
- Teaching material for the course Fundamentals of Computer Graphics, 1st semester 2018, Sapienza University of Rome☆11Jun 23, 2019Updated 7 years ago
- ☆11Nov 22, 2022Updated 3 years ago
- A tool for automatically generate a microTosca specification of a microservice-based architecture☆11Nov 21, 2020Updated 5 years ago
- ISMIR 24 Supplementary Material☆14Oct 28, 2024Updated 2 years ago
- Landmark-Based Approaches for Goal Recognition as Planning.☆14Oct 17, 2025Updated last year
- An attempt to reproduce CALM (Continuous Audio Language Models) using DACVAE as the audio VAE.☆20Feb 20, 2026Updated 8 months ago
- jQuery plugin to create materialize floating action button easily☆20May 24, 2017Updated 9 years ago
- Data for "OntoChatGPT Information System: Ontology-Driven Structured Prompts For ChatGPT Meta-Learning" paper☆15Jul 2, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Datasets for predictive monitoring of business processes.☆10Jan 4, 2021Updated 5 years ago
- # This object tracking solutions utilize the "Triangle Similarity" method. # In brief, the triangle similarity takes an object (marker) …☆13Nov 15, 2023Updated 2 years ago
- Implementation of extractor algorithm by Luca Trevisan☆12May 30, 2019Updated 7 years ago
- ☆12Jan 18, 2024Updated 2 years ago
- An SMT Solver for string constraints☆56Oct 18, 2026Updated 2 weeks ago
- Public executable files and test cases of ATSim3D [ISEDA24] and ATSim3.5D [ISEDA25]☆11Oct 19, 2026Updated 2 weeks ago
- From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)☆84Oct 30, 2026Updated last week
- This is the official repository for "Explanatory Learning: Beyond Empiricism in Neural Networks".☆15May 17, 2022Updated 4 years ago
- ☆16Jul 15, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆16Sep 29, 2025Updated last year
- A ROS package for detecting and locating 3D objects☆10Jul 17, 2019Updated 7 years ago
- Beer-ISAC Community Resources☆27Jan 22, 2021Updated 5 years ago
- Deep Learning & Applied AI: Tutorials☆14Jul 5, 2020Updated 6 years ago
- Artifacts accompanying LasRCA.☆13Apr 18, 2025Updated last year
- This repository generates process mining event log features. Most of the features have been extracted from several process mining scienti…☆14Oct 28, 2021Updated 5 years ago
- Code for MGDM algorithm, ICML 2025, https://arxiv.org/abs/2502.03332☆16May 19, 2025Updated last year
- ☆11Jul 12, 2022Updated 4 years ago
- Business Process Encoding☆13Jul 9, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- NeurIPS'23: Energy Discrepancies: A Score-Independent Loss for Energy-Based Models☆18Oct 22, 2024Updated 2 years ago
- ☆15Aug 23, 2021Updated 5 years ago
- ToolBridge: An Open-Source Dataset to Equip LLMs with External Tool Capabilities☆14Feb 11, 2025Updated last year
- This repository contains Ontology Design Patterns, that are based on concepts taken from industrial standards.☆20Dec 17, 2021Updated 4 years ago
- Codebase for paper tiltled "Unleashing the Denoising Capability of Diffusion Prior for Solving Inverse Problems"☆15Mar 9, 2025Updated last year
- Stable-V2A: Synthesis of Synchronized Sound Effect with Temporal and Semantic Controls☆18May 27, 2025Updated last year
- ☆18May 26, 2022Updated 4 years ago