hub / github.com/LTL2Action/LTL2Action

github.com/LTL2Action/LTL2Action @main

Chat with this repo

repository ↗ · DeepWiki ↗ · + Follow

438 symbols 1,280 edges 60 files 131 documented · 30% ● updated 10mo ago★ 382 open issues

Browse by type

⨍ Functions 357◇ Types & classes 81

What it actually does AI analysis from the code graph — generated when you open this

loading…

Core symbols most depended-on inside this repo

↓ 6 filesEngine

Engine: an environment-building tool for safe exploration research. The Engine() class entails everything to do with the tasks …

src/envs/safety/safety-gym/safety_gym/envs/engine.py

↓ 5 filesSafexpEnvBase

Base used to allow for convenient hierarchies of environments

src/envs/safety/safety-gym/safety_gym/envs/suite.py

↓ 3 filesBaseAlgo

The base class for RL algorithms.

src/torch_ac/algos/base.py

↓ 3 filesregister

src/gnns/graph_registry.py

↓ 2 filesVocabulary

A mapping from tokens to ids with a capacity of `max_size` words. It can be saved in a `vocab.json` file.

src/utils/format.py

↓ 2 filesParallelEnv

A concurrent execution of environments in multiple processes.

src/torch_ac/utils/penv.py

browse all functions →

Shape

Method 286

Class 81

Function 71

Languages

Python100%

Modules by API surface

src/envs/safety/safety-gym/safety_gym/envs/engine.py66 symbols

src/envs/gym_letters/letter_env.py36 symbols

src/ltl_samplers.py27 symbols

src/envs/safety/zones_env.py25 symbols

src/envs/safety/safety-gym/safety_gym/envs/world.py21 symbols

src/env_model.py17 symbols

src/ltl_wrappers.py14 symbols

src/envs/safety/safety_wrappers.py14 symbols

src/utils/storage.py12 symbols

src/model.py11 symbols

src/envs/gym_letters/simple_ltl_env.py11 symbols

src/utils/format.py10 symbols

For agents

$ claude mcp add LTL2Action \
  -- python -m otcore.mcp_server <graph>

⬇ download graph artifact

github.com/LTL2Action/LTL2Action @main

Core symbols most depended-on inside this repo

Shape

Languages

Modules by API surface

For agents

Ask about this repo answers extend the page