Research code for heuristic search
☆34Jul 15, 2020Updated 6 years ago
Alternatives and similar repositories for search
Users that are interested in search are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This package can convert a LTL formula to Full Product Automaton☆10Mar 3, 2019Updated 7 years ago
- ☆14Jan 3, 2018Updated 8 years ago
- Simple C++ project that includes header only implementations of Monte Carlo Tree Search(MCTS), Temporal Difference Learning, Minimax, an…☆11Jan 29, 2026Updated 9 months ago
- ☆12Oct 29, 2021Updated 5 years ago
- C++ library for creating and manipulating decision diagrams.☆14Apr 20, 2026Updated 6 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Tools to read data from ROS bags and messages in Julia.☆11Oct 9, 2023Updated 3 years ago
- primitives and protocols for implementing privacy preserving networks☆16Jan 18, 2019Updated 7 years ago
- Playground for motion planning and controls algorithms.☆15Aug 15, 2018Updated 8 years ago
- Experimental Language based on Rust and Haskell☆55Jan 10, 2017Updated 9 years ago
- Julia package for deconstructing dispatch on NamedTuples.☆12Dec 20, 2020Updated 5 years ago
- ☆28Sep 16, 2019Updated 7 years ago
- (DIST A)The project is aimed at exploring 3D flight planning algorithms for coarse 3D reconstruction and is aimed for work with SUSEX pla…☆18Feb 5, 2018Updated 8 years ago
- App, scripts, configs for restricting memory <http://avd.reduct.ru/programming/restrict-memory.html>☆20Feb 5, 2015Updated 11 years ago
- Function calls with 50% less typing ;-)☆12Jul 29, 2021Updated 5 years 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.
- Hybrid Deep MILP Planner☆15Sep 6, 2022Updated 4 years ago
- Generic anonymous routing protocol framework agnostic to encryption algorithm and transport layer☆15Jun 16, 2018Updated 8 years ago
- Planning through backpropagation using TensorFlow.☆16Oct 29, 2020Updated 6 years ago
- Alternative, underscore syntax for anonymous functions in Julia☆16Apr 9, 2021Updated 5 years ago
- Website for Security and Privacy of Machine Learning☆14Dec 27, 2021Updated 4 years ago
- Library for working with simplicial and cubical complexes☆10Dec 29, 2024Updated last year
- An hash-chain with efficient O(1) append and O(logN) proof.☆14May 23, 2018Updated 8 years ago
- ☆18Jul 16, 2012Updated 14 years ago
- A heuristic PDDL+ planner based on the Discretise & Validate approach.☆16Mar 2, 2018Updated 8 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A tool for estimating a system's information leakage via Machine Learning☆10Jun 28, 2024Updated 2 years ago
- pointMass pybullet RL environment for simple experiments☆23Jan 12, 2022Updated 4 years ago
- Modern C++ port of the original implementation of the Nelder-Mead algorithm to minimize a scalar function of several variables.☆16Jul 19, 2022Updated 4 years ago
- Measure and calibrate operational privacy risks for differentially private algorithms.☆12Mar 13, 2026Updated 7 months ago
- A Julia wrapper for Fast Library for Approximate Nearest Neighbors (FLANN)☆18Apr 8, 2024Updated 2 years ago
- Belief-state planning for POMDPs using learned approximations☆25Jan 21, 2025Updated last year
- A Julia Debugger that works with mixed compiled and interpretted mode for performance☆16Feb 8, 2020Updated 6 years ago
- NPS ROS Example: Multi-Husky Simulation☆28Nov 28, 2017Updated 8 years ago
- Multi-UAV ROS control simulation and experiment☆18Mar 14, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Blazingly Fast Implementation of Deep Q-Network in C++ with NNabla☆18Mar 3, 2020Updated 6 years ago
- Proof-of-concept implementation of a cryptographic multilinear maps on the integers☆13Sep 23, 2021Updated 5 years ago
- ☆19Feb 25, 2026Updated 8 months ago
- A tool for LDLf translation to DFA and for LDLf synthesis.☆24Sep 22, 2023Updated 3 years ago
- Automatic validation contexts☆18Aug 27, 2020Updated 6 years ago
- Generalized golden sequences, a form of low discrepancy sequence or quasi random numbers☆18Jun 14, 2022Updated 4 years ago
- ITOMP Planning Framework☆29Nov 13, 2015Updated 10 years ago