Explore @cosynus-lix Open Source projects

Cosynus (@cosynus-lix)

cosynus-lix

Stars
15
Global Org. Rank 133,460 (Top 43 %)
Registered almost 6 years ago
Most used languages

Python
33.3 %

SMT 16.7 %

OCaml
16.7 %

C
16.7 %

Jupyter Notebook
16.7 %
Location 🇫🇷 France
Country Total Rank 14,467
Country Ranking

SMT 3

OCaml
185

Jupyter Notebook
995

C
2,172

Python
5,380

RINO

Robust INner and Outer approximated reachability analysis

Jupyter Notebook

f1tenth_quickstart

A quickstart for using f1tenth_gym_ros to launch a virtual F1tenth compeition.

STAR

Implementation of STAR from the paper "Reconciling Spatial and Temporal Abstractions for Goal Representation" (ICLR 2024)

gmod

Geometric models.

sabbath

f1tenth_quickstart_ros2

A quickstart for using f1tenth_gym_ros to launch a virtual F1tenth compeition.