Popular repositories

1. Scenic Scenic Public

   A compiler and scene generator for the Scenic scenario description language.

   Python 245 87

2. VerifAI VerifAI Public

   VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components.

   Python 166 45

3. Scenic4RL Scenic4RL Public

   Scenic for RL Interface

   Jupyter Notebook 3 1

4. CPSGrader CPSGrader Public

   HTML 2 1

5. p-secure p-secure Public

   Jupyter Notebook 2

6. rednercounterexamplegenerator rednercounterexamplegenerator Public

   Python 2