A PDDL Solver in C++.
☆15Jan 5, 2024Updated 2 years ago
Alternatives and similar repositories for PDDL-Solver
Users that are interested in PDDL-Solver are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Domain and problem PDDL parser in C/C++ using Flex & Bison.☆16Jun 18, 2019Updated 7 years ago
- The General Mediation Engine (GME) is a software framework for producing interactive narratives using narrative mediation.☆10Feb 4, 2018Updated 8 years ago
- A demo built with the Unity General Mediation Engine (UGME), called Base Case.☆12Jan 20, 2017Updated 9 years ago
- Sentiment example using TypeChat with a self hosted LLM☆11Aug 1, 2023Updated 3 years ago
- Original LISP version of Meta-AQUA☆14Sep 3, 2018Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- we are all love blaseball☆10Oct 30, 2020Updated 5 years ago
- Tiny BASIC compiler and interpreter☆13Apr 5, 2018Updated 8 years ago
- Text-based UI components for the web☆12Aug 11, 2021Updated 5 years ago
- ☆20Apr 13, 2023Updated 3 years ago
- ☆15Dec 9, 2022Updated 3 years ago
- A website for finding great funscripts☆16Oct 10, 2021Updated 4 years ago
- Proto Actor - Ultra fast distributed actors for C++☆12Sep 9, 2017Updated 8 years ago
- ☆14Jul 7, 2026Updated last month
- Posthoc is a way to build simple and effective visualisations ✨ for sequential decision-making algorithms, such as search.☆38Jul 12, 2026Updated 3 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Pong in logisim and assembly code!☆14Oct 9, 2019Updated 6 years ago
- Examples of assembly programming for MS-DOS☆17Jan 2, 2021Updated 5 years ago
- Curso de Computação Gráfica☆45Aug 29, 2022Updated 3 years ago
- This is just a senior project for now, but I wish for this to become a free, open source software for anyone and everyone to use!☆13Apr 26, 2022Updated 4 years ago
- ☆15Nov 11, 2025Updated 9 months ago
- Repository that lets you run an automated planner as a service on heroku.☆26May 28, 2026Updated 2 months ago
- Reverse engineer of C64 Jeff Minter classic Attack of the Mutant Camels☆18Apr 10, 2020Updated 6 years ago
- PDDLStream: Integrating Symbolic Planners and Blackbox Samplers☆484Oct 4, 2023Updated 2 years ago
- External sdk integrated in WaveEngine☆12Jul 31, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆19Sep 3, 2022Updated 3 years ago
- Automated Programming Framework☆15May 11, 2020Updated 6 years ago
- ZM - a handy mathematics library☆15May 13, 2026Updated 2 months ago
- Vugu+Tinygo example☆16Jun 20, 2020Updated 6 years ago
- Experimental approach to a modularized RVIZ2 that can run natively or in the browser☆10Jul 10, 2019Updated 7 years ago
- Geek Car, An Autonomous Application Based On Cyber RT http://for-geeks.com☆13Feb 5, 2026Updated 6 months ago
- A thin abstraction layer to integrate Bullet and OpenSceneGraph☆14Jun 12, 2026Updated last month
- Tools for Design Structure Matrix☆10Jan 25, 2022Updated 4 years ago
- Unquestionable PDDL 3.1 parser☆176Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆10Dec 4, 2022Updated 3 years ago
- The Slate Interactive Theorem Prover☆23Jan 9, 2023Updated 3 years ago
- Translating HTN planning problems to PDDL☆23Jul 7, 2021Updated 5 years ago
- Moved to SourceHut☆22Jul 31, 2021Updated 5 years ago
- ☆12Jan 28, 2022Updated 4 years ago
- ☆17Apr 22, 2024Updated 2 years ago
- Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…☆100Jan 17, 2023Updated 3 years ago