Library for modeling, simulation, and verification of interacting autonomous agents
☆37Aug 10, 2025Updated 6 months ago
Alternatives and similar repositories for Verse-library
Users that are interested in Verse-library are comparing it to the libraries listed below
Sorting:
- Repository for the GRAIC synthesis competition☆22Nov 22, 2023Updated 2 years ago
- ☆12Jun 18, 2024Updated last year
- A swarm of LLM agents that will help you test, document, and productionize your code!☆16Feb 16, 2026Updated 2 weeks ago
- The latest source code of the tool Flow*☆28Jan 15, 2023Updated 3 years ago
- AgentParse is a high-performance parsing library designed to map various structured data formats (such as Pydantic models, JSON, YAML, an…☆18Oct 13, 2025Updated 4 months ago
- ☆12Dec 14, 2021Updated 4 years ago
- CogNetX is an advanced, multimodal neural network architecture inspired by human cognition. It integrates speech, vision, and video proce…☆19Feb 9, 2026Updated 3 weeks ago
- A package for compositional system analysis and design☆29Jul 22, 2025Updated 7 months ago
- asmeta main repository with code and examples☆23Feb 23, 2026Updated last week
- A forest of autonomous agents.☆19Jan 27, 2025Updated last year
- NewsAgent is an enterprise-grade news aggregation agent designed to fetch, query, and summarize news from multiple sources at scale.☆26Oct 13, 2025Updated 4 months ago
- Julia package for computing Hamilton-Jacobi Reachability of optimal 2-player (control/disturbance) differential games via Hopf optimizati…☆22Aug 14, 2025Updated 6 months ago
- ROS2 packages to simulate (and control) a quadcopter using CARLA☆21Feb 19, 2024Updated 2 years ago
- ☆23Mar 24, 2023Updated 2 years ago
- Learning algorithm implementation and experiments in the paper "A Composable Specification Language for Reinforcement Learning Tasks" (ht…☆17Nov 23, 2020Updated 5 years ago
- Streamlit Web UI for AGiXT☆28Jan 8, 2026Updated last month
- Hierarchical Model Predictive Control for the F1/10 autonmous car☆25May 23, 2020Updated 5 years ago
- Jax version of F16 dynamics☆26Aug 18, 2024Updated last year
- A set of basic tools for manipulating SyGuS benchmarks☆25Sep 7, 2023Updated 2 years ago
- quick playground to animate pippin☆14Nov 11, 2024Updated last year
- AI4Science: Efficient data-driven Online Model Learning (OML) / system identification and control☆33Oct 20, 2022Updated 3 years ago
- Last-Mile Embodied Visual Navigation https://jbwasse2.github.io/portfolio/SLING/☆30Nov 1, 2022Updated 3 years ago
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆116Updated this week
- Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs☆28Mar 21, 2023Updated 2 years ago
- A red teaming agent☆18Oct 15, 2025Updated 4 months ago
- A universal messaging library for cross-platform applications (Chrome extension, Web, Mobile, Iframe,...)☆15Oct 10, 2025Updated 4 months ago
- Purdue Proton Lab Experiments for ECE 362☆37Feb 17, 2026Updated 2 weeks ago
- Libraries, guides, blueprints, and sample code, to enable rapidly building 0-1 applications on iOS, Android and web.☆11May 12, 2023Updated 2 years ago
- Implementation of followinf estimation algorithms in python: Kalman Filter, Extended Kalman Filter, Unscented Kalman Filter, Cubature Kal…☆11Dec 2, 2023Updated 2 years ago
- Deploy your autonomous agents to production grade environments with 99% Uptime Guarantee, Infinite Scalability, and self-healing.☆51Oct 13, 2025Updated 4 months ago
- A python package to automate downloads of Salesforce Weekly Data Exports☆10Jan 26, 2021Updated 5 years ago
- Fivetran's Salesforce source dbt package☆13Oct 1, 2025Updated 5 months ago
- Basic operations prototype/syntax for developers☆12Mar 12, 2023Updated 2 years ago
- ☆10Mar 24, 2025Updated 11 months ago
- ☆11Sep 17, 2024Updated last year
- This is a demo project to compare two web scrapping frameworks, Playwright and Selenium and using the new Pipelining tool Dagster☆15Sep 9, 2021Updated 4 years ago
- All code for the Piecewise Linear Neural Networks verification: A comparative study paper☆35Nov 7, 2018Updated 7 years ago
- A distributed TEB planner for multi-robot trajectory planning☆40Oct 10, 2022Updated 3 years ago
- BluSTL (pronounced "blue steel") is a MATLAB toolkit for automatically generating hybrid controllers from specifications written in Signa…☆30Feb 28, 2018Updated 8 years ago