Library for modeling, simulation, and verification of interacting autonomous agents
☆38Mar 28, 2026Updated 2 weeks ago
Alternatives and similar repositories for Verse-library
Users that are interested in Verse-library are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Repository for the GRAIC synthesis competition☆22Nov 22, 2023Updated 2 years ago
- The latest source code of the tool Flow*☆28Jan 15, 2023Updated 3 years ago
- ☆12Jun 18, 2024Updated last year
- ☆12Dec 14, 2021Updated 4 years ago
- Learning algorithm implementation and experiments in the paper "A Composable Specification Language for Reinforcement Learning Tasks" (ht…☆18Nov 23, 2020Updated 5 years ago
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆36May 1, 2022Updated 3 years ago
- ☆17Nov 20, 2024Updated last year
- ArduPlane, ArduCopter, ArduRover source☆11Updated this week
- Julia package for computing Hamilton-Jacobi Reachability of optimal 2-player (control/disturbance) differential games via Hopf optimizati…☆23Aug 14, 2025Updated 8 months ago
- A simple heapless command line interface parser for embedded devices☆16Mar 15, 2019Updated 7 years ago
- Paparazzi is a free and open-source hardware and software project for unmanned (air) vehicles. This is the main software repository.☆19Jan 9, 2026Updated 3 months ago
- NewzTrader - Autonomous Trading Agent Implementation Using Natural Language Processing Of WSJ Headlines☆23Dec 6, 2012Updated 13 years ago
- ☆79May 24, 2024Updated last year
- AGiXT is a dynamic AI Automation Platform that seamlessly orchestrates instruction management and complex task execution across diverse A…☆24Jan 26, 2026Updated 2 months 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.
- ☆32Mar 12, 2024Updated 2 years ago
- This ROS package is designed to help new users use the ardrone_autonomy drivers for the AR drone quadrotor robot. It includes extra helpf…☆21Apr 12, 2013Updated 13 years ago
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆38Apr 3, 2026Updated last week
- Jax version of F16 dynamics☆26Aug 18, 2024Updated last year
- UAV reference trackers in ROS, part of the "mrs_uav_core" package.☆45Feb 25, 2026Updated last month
- A set of basic tools for manipulating SyGuS benchmarks☆25Sep 7, 2023Updated 2 years ago
- This is a minimal repository containing the Matlab / Simulink to test a quadrotor subjected to single / double rotor failures, the increm…☆82Nov 18, 2023Updated 2 years ago
- Cloud Mining automatically builds exploratory faceted search systems.☆52Oct 15, 2013Updated 12 years ago
- 用matlab标定摄像机以后，用python在标定平面内建立世界坐标系并测距☆10Dec 22, 2020Updated 5 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.
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆119Apr 7, 2026Updated last week
- ☆19Jan 8, 2025Updated last year
- This is the code repository accompanying the ICML 2021 paper LTL2Action: Generalizing LTL Instructions for Multi-Task RL (https://arxiv.o…☆37Oct 23, 2025Updated 5 months ago
- Hierarchical Model Predictive Control for the F1/10 autonmous car☆24May 23, 2020Updated 5 years ago
- Incremental Passive Fault-Tolerant Control for Quadrotors With up to Three Successive Rotor Failures☆12May 10, 2025Updated 11 months ago
- Algorithm Implementation of Distributed Potential iterative Linear Quadratic Regulator☆34Mar 7, 2023Updated 3 years ago
- ☆13Oct 9, 2023Updated 2 years ago
- Stat-gram is microservice tool for Business and Influencers on Instagram platform that uses AI to help with Marketing and Management.☆11Jan 4, 2023Updated 3 years ago
- ☆29Sep 20, 2022Updated 3 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.
- https://facetimeanyone.com/☆10Nov 9, 2023Updated 2 years ago
- A distributed TEB planner for multi-robot trajectory planning☆40Oct 10, 2022Updated 3 years ago
- The visualization project of the BEV model inference result, including detBox and trackingLine!☆13Aug 14, 2023Updated 2 years ago
- CogNetX is an advanced, multimodal neural network architecture inspired by human cognition. It integrates speech, vision, and video proce…☆20Mar 30, 2026Updated 2 weeks ago
- NewsAgent is an enterprise-grade news aggregation agent designed to fetch, query, and summarize news from multiple sources at scale.☆27Oct 13, 2025Updated 6 months ago
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 4 months ago
- Gaussian processes regression models with linear inequality constraints☆16Jul 10, 2024Updated last year