Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / AutoVerse-ai / Verse-library
Library for modeling, simulation, and verification of interacting autonomous agents
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/AutoVerse-ai%2FVerse-library
Stars: 25
Forks: 15
Open Issues: 5
License: ncsa
Language: Jupyter Notebook
Repo Size: 102 MB
Dependencies:
35
Created: almost 2 years ago
Updated: 17 days ago
Last pushed: 10 days ago
Last synced: 10 days ago
Topics: ai, autonomy, formal, scenarios, vehicles, verification
Files
Loading...
Readme
Loading...
Dependencies
- myst-parser *
- numpydoc *
- sphinx *
- sphinx_rtd_theme *
requirements.txt
pypi
- astunparse *
- beautifulsoup4 *
- igraph *
- lxml *
- matplotlib *
- networkx *
- numpy *
- plotly *
- polytope *
- pyvista *
- scipy *
- six *
- sympy *
- treelib *
- z3-solver *