Repositories list

• Scenic

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

  Python

  •

  Other

  •103•296•23•20•Updated Dec 20, 2024Dec 20, 2024

• Scenic_Website

  Public
  Website for the Scenic Open Source Project

  SCSS

  •

  BSD 3-Clause "New" or "Revised" License

  •0•0•0•0•Updated Nov 3, 2024Nov 3, 2024

• 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

  •

  BSD 3-Clause "New" or "Revised" License

  •48•177•10•2•Updated Aug 15, 2024Aug 15, 2024

• compositional-analysis

  Public
  Makefile

  •

  BSD 3-Clause "New" or "Revised" License

  •0•0•0•0•Updated Aug 5, 2023Aug 5, 2023

• BryantFLoC22

  Public
  HTML

  •0•0•0•0•Updated Jan 18, 2023Jan 18, 2023

• HSCC_2020

  Public
  Source code for the HSCC 2020 website.

  HTML

  •1•0•0•0•Updated Jan 15, 2023Jan 15, 2023

• ULGEN

  Public
  Java

  •

  BSD 3-Clause "New" or "Revised" License

  •0•0•0•0•Updated Dec 1, 2022Dec 1, 2022

• rednercounterexamplegenerator

  Public
  Python

  •0•2•0•3•Updated Nov 22, 2022Nov 22, 2022

• Scenic4RL

  Public
  Scenic for RL Interface

  Jupyter Notebook

  •0•3•0•0•Updated May 20, 2022May 20, 2022

• VerifiedAIWebsite

  Public
  HTML

  •1•0•0•0•Updated Apr 7, 2021Apr 7, 2021

• p-secure

  Public
  Jupyter Notebook

  •

  MIT License

  •0•2•0•0•Updated Mar 28, 2021Mar 28, 2021

• AlgoImprov

  Public
  HTML

  •0•0•0•0•Updated Jan 13, 2021Jan 13, 2021

• LOGiCS_Website

  Public
  HTML

  •0•0•0•0•Updated Dec 17, 2020Dec 17, 2020

• CPSGrader

  Public
  HTML

  •1•2•0•0•Updated Dec 8, 2020Dec 8, 2020

• ITSC20

  Public
  0•0•1•0•Updated Jul 1, 2020Jul 1, 2020

• Scenic_Gazebo

  Public
  1•0•0•1•Updated Feb 20, 2020Feb 20, 2020

• GameTime

  Public
  HTML

  •0•0•0•0•Updated Sep 4, 2017Sep 4, 2017