Explore @whitemech Open Source projects

WhiteMech (@whitemech)

whitemech

Stars
241
Global Org. Rank 36,036 (Top 12 %)
Registered over 4 years ago
Most used languages

Python
65.4 %

C++
15.4 %

JavaScript
7.7 %

TeX
3.8 %

PDDL 3.8 %

Java
3.8 %
Location 🇮🇹 Italy
Country Total Rank 1,068
Country Ranking

PDDL 3

TeX
186

Python
187

C++
374

Java
1,087

JavaScript
2,205

LTLf2DFA

From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)

pythomata

A Python package for automata theory.

flloat

From LTLf/LDLf To Automata

lydia

A tool for LDLf translation to DFA and for LDLf synthesis.

Plan4Past

Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals

FOND4LTLf

FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems

temprl

Reinforcement Learning framework for Temporal Goals

logaut

LOGics formalisms to AUTomata

pylogics

A Python library for logic formalisms representation and manipulation.

hoa-utils

Utilities for the HOA format.

TraceAligner

Declarative Trace Alignment via Automated Planning

Syft

Synthesizer of LTLf formula

whitemech.github.io

WhiteMech's website

cynthia

SDD-based Forward LTLf Synthesis

gym-minecraft-pygame

OpenaAI Gym Minecraft-like environment implemented with Pygame

fond4ltlfpltl_web

Website of FOND 4 LTLf / PLTLf

hoa-utils-web-app

A web app that provides some utilities for the HOA format.

markov-abstractions-code-ijcai22

glucose

Repository mirror to the Glucose SAT solver.

gym-breakout-pygame

Gym Breakout environment using Pygame

LydiaSyft

grounding_LTLf_in_image_sequences

finite-synthesis-datasets

Datasets for Finite Synthesis.

doc2bib

Plan4Past-data

Imitation-Learning-over-Heterogeneous-Agents-with-Restraining-Bolts

Imitation Learning over Heterogeneous Agents with Restraining Bolts

gym-sapientino

Implementation of the Sapientino environment using Gym.