Alternatives and similar repositories for 2017-planning-with-simulators

Users that are interested in 2017-planning-with-simulators are comparing it to the libraries listed below

• QuMuLab / pdkb-planning

  View on GitHub
  Project for converting multi-agent epistemic planning problems to automated planning problems. Also includes utilities for dealing with P…
  ☆22Dec 10, 2024Updated last year
• sysulic / MEPK

  View on GitHub
  A General Multi-agent Epistemic Planner Based on Higher-order Belief Change
  ☆10Feb 20, 2025Updated 11 months ago
• cesaro / dpu

  View on GitHub
  Dynamic analysis of multithreaded C programs
  ☆13Feb 7, 2020Updated 6 years ago
• aig-upf / automated-programming-framework

  View on GitHub
  Automated Programming Framework
  ☆15May 11, 2020Updated 5 years ago
• cesaro / cunf

  View on GitHub
  A model checker for safe Petri nets based on partial-order semantics
  ☆13Nov 30, 2020Updated 5 years ago
• jrclogic / SMCDEL

  View on GitHub
  A symbolic model checker for Dynamic Epistemic Logic.
  ☆49Oct 23, 2025Updated 3 months ago
• COSC1127-AI / pacman-contest-cluster

  View on GitHub
  Script to run the Conquer The Flag PACMAN contest
  ☆19Apr 21, 2025Updated 9 months ago
• potassco / plasp

  View on GitHub
  🗺️ ASP planning tools for PDDL
  ☆32Jul 9, 2021Updated 4 years ago
• RAIRLab / lazyslate

  View on GitHub
  An open source graphical proof construction assistant for the creation of Propositional Natural Deduction proofs.
  ☆17Feb 3, 2024Updated 2 years ago
• QuMuLab / planner-for-relevant-policies

  View on GitHub
  ☆32Mar 21, 2024Updated last year
• EncryFoundation / EncryCore

  View on GitHub
  EncryCore node reference implementation
  ☆15Apr 2, 2020Updated 5 years ago
• Insubric / box

  View on GitHub
  tool for postgres to automatically build rest services and web forms
  ☆13Feb 3, 2026Updated last week
• combinators / cls-scala

  View on GitHub
  (CL)S - Combinatory Logic Synthesizer
  ☆12Oct 1, 2021Updated 4 years ago
• conversationai / conversationai-crowdsource

  View on GitHub
  Project Gold ✨
  ☆11Jan 29, 2026Updated 2 weeks ago
• RAIRLab / Peirce-My-Heart

  View on GitHub
  A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.
  ☆11Jan 5, 2025Updated last year
• GeorgOfenbeck / SpaceTime

  View on GitHub
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Jul 20, 2017Updated 8 years ago
• Safebox36 / OdaiHTN

  View on GitHub
  ☆10Nov 23, 2024Updated last year
• webyrd / tree-automata

  View on GitHub
  Tree-automata-based run-time type constraints for miniKanren
  ☆14Aug 3, 2023Updated 2 years ago
• stewSquared / ukanren

  View on GitHub
  Relational Programming DSL in Scala. Yet another minikanren port!
  ☆15Nov 11, 2016Updated 9 years ago
• havelund / tracecontract

  View on GitHub
  A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…
  ☆11Dec 21, 2020Updated 5 years ago
• fm-polimi / zot

  View on GitHub
  The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)
  ☆10Jan 11, 2021Updated 5 years ago
• dmitraver / quikka

  View on GitHub
  An implementation of Google QUIC transport layer protocol for the Akka toolkit.
  ☆12Aug 8, 2022Updated 3 years ago
• leaderfrank / Custom-Corona-Tracker-using-PHP

  View on GitHub
  ☆10Aug 8, 2024Updated last year
• alxkm / streamer

  View on GitHub
  Java stream library
  ☆10Aug 3, 2024Updated last year
• Autoparallel / mathematics_for_physicists_and_chemists

  View on GitHub
  A textbook centered around teaching mathematics to physicists and chemists
  ☆12Feb 10, 2022Updated 4 years ago
• disteph / cdsat

  View on GitHub
  ☆10Feb 20, 2020Updated 5 years ago
• vardigroup / lisa

  View on GitHub
  Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…
  ☆12Sep 27, 2021Updated 4 years ago
• ThatGeoGuy / chicken-miniKanren

  View on GitHub
  Packages the canonical miniKanren implementation for CHICKEN Scheme (http://call-cc.org)
  ☆11Dec 30, 2025Updated last month
• CAVIND46016 / Web-Scraping

  View on GitHub
  Contains the scripts for web scraping using 'beautifulsoup' and 'selenium'.
  ☆12Dec 2, 2023Updated 2 years ago
• FelixWinterstein / LEAP-HLS

  View on GitHub
  Rapid system integration of high-level synthesis kernels using the LEAP FPGA framework
  ☆12Apr 17, 2016Updated 9 years ago
• tomasfarias / dota-gsi

  View on GitHub
  A Rust library for Dota 2's Game State Integration.
  ☆15Jan 15, 2026Updated 3 weeks ago
• JustinGOSSES / awesome-open-geoscience

  View on GitHub
  Curated from repositories that make our lives as geoscientists, hackers and data wranglers easier or just more awesome
  ☆13Oct 19, 2024Updated last year
• SYNTCOMP / benchmarks

  View on GitHub
  Repository of benchmarks for SYNTCOMP
  ☆14Sep 16, 2025Updated 4 months ago
• ilya-klyuchnikov / faba

  View on GitHub
  Fast Bytecode Analysis
  ☆15Jan 2, 2016Updated 10 years ago
• hbeck / ticker

  View on GitHub
  A rule-based stream reasoning engine utilizing sliding windows
  ☆10Jun 3, 2022Updated 3 years ago
• Aluriak / webclingo-example

  View on GitHub
  Example of clingo usage on website as a client-side JS program
  ☆14Aug 27, 2019Updated 6 years ago
• Straple / LORR24

  View on GitHub
  ☆15May 29, 2025Updated 8 months ago
• a2435191 / lean-logic-formalization

  View on GitHub
  Formalize "Logic Notes" by Lou van den Dries in Lean
  ☆12May 31, 2025Updated 8 months ago
• RichardScottOZ / GOCAD_TS-Surface-Reader

  View on GitHub
  Script to retrieve the vertices and faces from a GOCAD TS file for use in python processing
  ☆11Apr 16, 2021Updated 4 years ago