High-level programming language with incremental execution and local search
☆12May 19, 2025Updated last year
Alternatives and similar repositories for indigolog
Users that are interested in indigolog are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Tool Support, Extensibility & Interfacing for GOLOG languages☆14Nov 6, 2023Updated 3 years ago
- Pacman that plays itself☆12May 2, 2016Updated 10 years ago
- The main repository integrating the LaTeX beamer-based slides☆33Oct 23, 2026Updated 2 weeks ago
- Hard-to-ground Planning Domains☆10May 10, 2024Updated 2 years ago
- A certified checker for Datalog entailments, written in Lean☆14Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Temporal fast downward planner.☆12Apr 9, 2023Updated 3 years ago
- FOND solver based on SAT☆15Oct 22, 2022Updated 4 years ago
- From sensor measurements to Universal Scene Description (USD)☆13Oct 5, 2026Updated last month
- ROS2 admittance controller designed to modify and adapt its control parameters through topics.☆15Oct 30, 2026Updated last week
- Academic Website Template in Bootstrap 4.☆14Nov 28, 2025Updated 11 months ago
- ForbidIterative planners for top-k, top-quality, and diverse planning problems☆23Oct 12, 2026Updated 3 weeks ago
- Environments and various utilities for reinforcement learning with C++☆17Updated this week
- The INVAL plan validator, and other PDDL tools.☆24Dec 3, 2023Updated 2 years ago
- ur_fabrication_control with ROS industrial☆10Jul 17, 2026Updated 3 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Code for the ros2_control Workshop at ROSCon 2024 in Odense, Denmark☆11Oct 21, 2024Updated 2 years ago
- ☆19Dec 2, 2025Updated 11 months ago
- D4 is a Datalift module to visualize RDF DataCube data. Built with Bootstrap, D3 and CoffeeScript.☆12Sep 11, 2016Updated 10 years ago
- Octave runtime for C#4.0 using dynamics☆11Oct 7, 2012Updated 14 years ago
- React component for rendering RDF graphs and datasets using n3.js and cytoscape.js☆10Nov 8, 2021Updated 5 years ago
- ☆64Aug 24, 2026Updated 2 months ago
- Convert SWRL rules to SHACL-SPARQL rules☆10Oct 2, 2018Updated 8 years ago
- Official ISO/TC 211 Ontologies (input to def.iotc211.org)☆11Oct 13, 2026Updated 3 weeks ago
- This repository presents 3 implementations for controlling the robotic arm of Kinovarobotics: Kinova Gen3 Ultralight weight with 7 DoF an…☆13Apr 12, 2021Updated 5 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Abstract machine for formal semantics of SIMP (Simple Imperative Language)☆27Feb 21, 2021Updated 5 years ago
- a javascript library to visualize an array of RDF triples into an HTML page☆15Feb 8, 2016Updated 10 years ago
- Designed to simplify IPC routine with .NET☆11Jul 18, 2013Updated 13 years ago
- Extended, multi-agent, and multi-objective (MaMoRL / MoMaRL) gridworld environments building framework based on DeepMind's AI Safety Grid…☆12Jun 21, 2026Updated 4 months ago
- An open-source ROS 2 bridge for the Basilisk astrodynamics simulator enabling real-time spacecraft simulation and reusable autonomy softw…☆22Oct 13, 2026Updated 3 weeks ago
- Make STEP-NC for Additive Manufacturing☆11Mar 19, 2021Updated 5 years ago
- Representation of XML Schemas in OWL syntax☆10Feb 16, 2016Updated 10 years ago
- A query engine for SPARQL-DL. Originally written by Derivo Systems (http://www.derivo.de/en/resources/sparql-dl-api.html)☆13Oct 12, 2020Updated 6 years ago
- IronKernel is a dialect of the Kernel programming language for the .NET framework.☆18Oct 25, 2026Updated 2 weeks 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.
- ☆13Oct 27, 2023Updated 3 years ago
- The inverted index exchange format as defined as part of the Open-Source IR Replicability Challenge (OSIRRC) initiative☆11Aug 6, 2025Updated last year
- A Lean4 Formalization of Polynomial Functors☆30Jul 10, 2026Updated 4 months ago
- Algorithms for solving temporal planning problems☆29Jan 27, 2023Updated 3 years ago
- Thinking through AI agents and the neuro-symbolic definition from an early LLM agent paper called MRKL. I'm sharing my reasoning behind u…☆12Nov 23, 2024Updated last year
- A JAX transport-economy learning environment for route planning, cargo flow, financing, and replayable agent benchmarks.☆17Jul 27, 2026Updated 3 months ago
- Repo for smart busy block for developing and evaluating robot manipulation skills in the real-world☆24Oct 22, 2026Updated 2 weeks ago
Are these results useful?