This is a search and optimization library
☆26Apr 25, 2023Updated 3 years ago
Alternatives and similar repositories for Search-and-Optimization
Users that are interested in Search-and-Optimization are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The official repo for NeurIPS 2021 paper 'Reducing Collision Checking for Sampling-Based Motion Planning Using Graph Neural Networks'☆110Jan 29, 2023Updated 3 years ago
- A tool for checking tool output inspired by LLVM's FileCheck☆13Aug 29, 2025Updated 8 months ago
- Learning Dynamic Generator Model by Alternating Back-Propagation Through Time☆11Dec 26, 2018Updated 7 years ago
- Code for NeurIPS22' paper Learning-based Motion Planning in Dynamic Environments Using GNNs and Temporal Encoding☆27Jul 23, 2023Updated 2 years ago
- Abstract interpreter for real-world application programs☆32May 25, 2013Updated 12 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.
- Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/☆23Aug 25, 2017Updated 8 years ago
- Knowledge Sharing☆12Jul 13, 2021Updated 4 years ago
- Simple C++ plotting☆17Jun 13, 2019Updated 6 years ago
- openpilot is an open source driver assistance system. openpilot performs the functions of Automated Lane Centering and Adaptive Cruise Co…☆11Apr 4, 2024Updated 2 years ago
- Raspberry Pi ADS1115 4 channel 16 bit I2C analog to digital demo.☆10Jan 28, 2017Updated 9 years ago
- Slides and Source Code from "Demystifying Floating Point Numbers" given at CPPCon 2015.☆21Sep 24, 2015Updated 10 years ago
- Subscribe Loomo published image messages and process☆10Oct 22, 2017Updated 8 years ago
- ☆16Dec 23, 2024Updated last year
- Fast Artistic Videos in pyTorch☆14Oct 3, 2023Updated 2 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.
- intro ML uc berkeley course taken spring 2019 homework backup☆10Mar 13, 2020Updated 6 years ago
- yolov3-tensorflow-c++☆10Mar 2, 2019Updated 7 years ago
- Applications of the underwater image formation model and other color enhancement methods.☆17Jul 21, 2020Updated 5 years ago
- ☆11Dec 6, 2022Updated 3 years ago
- The underwater robot obstacle avoidance project with the method of deep reinforcement learning☆48Oct 9, 2022Updated 3 years ago
- A matlab version of paper: Autonomous Driving on Curvy Roads without Reliance on Frenet Frame: A Cartesian-based Trajectory Planning Meth…☆12Jul 20, 2024Updated last year
- [IROS'25] Learning to Initialize Trajectory Optimization for Vision-Based Autonomous Flight in Unknown Environments☆29Jan 8, 2026Updated 3 months ago
- a method CC-RRT-RS of Planning for SelfDriving AutoParking☆21Jun 30, 2020Updated 5 years ago
- Extending the Neural Graph Algorithm Executor☆13Dec 8, 2022Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- some tools for becoming a better developer(实际上是因为开直播不能总鸽大家所以特意开了个库放直播中写的小脚本,或者是自己觉得有意思的，平时实用性会比较高的脚本。)☆12Nov 22, 2022Updated 3 years ago
- ☆36May 1, 2022Updated 4 years ago
- https://robotmlcourse.github.io/SP20/index.html☆14Aug 27, 2020Updated 5 years ago
- snippets of what's new in the c++11 standard☆51Sep 7, 2014Updated 11 years ago
- Automated Reasoning in Nonlinear Theories of Reals☆182Mar 28, 2026Updated last month
- ROS-related hooks for pre-commit☆14Apr 27, 2026Updated last week
- agent car's trajectory prediction for autonomous vehicles using Lyft dataset☆15May 15, 2021Updated 4 years ago
- ☆14Dec 13, 2018Updated 7 years ago
- ☆12Jun 19, 2022Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Outlier Detection Toolbox for MATLAB☆13Feb 2, 2016Updated 10 years ago
- Douglas-Rachford Splitting for Optimal Transport☆12Oct 4, 2021Updated 4 years ago
- Certified Object Detection with Randomized Median Smoothing☆12Oct 21, 2020Updated 5 years ago
- SAILOR is an inverse RL algorithm that learns world and reward models to search at test-time and recover from mistakes.☆59Nov 2, 2025Updated 6 months ago
- Dynamically detect lane lines which are straight/ curved , white and yellow in color☆18Jan 16, 2018Updated 8 years ago
- Implemention of lanenet model for real time lane detection using deep neural network model https://maybeshewill-cv.github.io/lanenet-lane…☆15Feb 28, 2019Updated 7 years ago
- Repository Associated with the Paper☆16Apr 24, 2022Updated 4 years ago