Skip to content
Change the repository type filter

All

    Repositories list

    • Scenic

      Public
      A compiler and scene generator for the Scenic scenario description language.
      Python
      Other
      103000Updated Jul 1, 2024Jul 1, 2024
    • CLIP

      Public
      CLIP (Contrastive Language-Image Pretraining), Predict the most relevant text snippet given an image
      Jupyter Notebook
      MIT License
      3.4k000Updated Apr 12, 2024Apr 12, 2024
    • deepreach

      Public
      Python
      MIT License
      35000Updated Feb 25, 2024Feb 25, 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
      47000Updated Feb 2, 2024Feb 2, 2024
    • ck forked this for examples, GitHub Action workflows to deploy to Azure
      Pug
      MIT License
      628000Updated Nov 1, 2023Nov 1, 2023
    • An Open Flexible Quadrotor Simulator (beta fork)
      C++
      Other
      351000Updated Oct 28, 2023Oct 28, 2023
    • AirSim

      Public archive
      Open source simulator for autonomous vehicles built on Unreal Engine / Unity, from Microsoft AI & Research
      C++
      Other
      4.6k000Updated Oct 2, 2023Oct 2, 2023
    • Repository Containing the Code associated with the Paper: "Learning High-Speed Flight in the Wild"
      C++
      GNU General Public License v3.0
      166000Updated Jan 23, 2023Jan 23, 2023
    • Flightmare branch used for agile autonomy project
      C++
      1000Updated Sep 21, 2021Sep 21, 2021