psduggirala

psduggirala's Stars

• stanleybak/acasxu_closed_loop_sim

  Closed-loop simulation code using ACAS Xu neural networks for collision avoidance

  Language:Python64

• dafny-lang/dafny

  Dafny is a verification-aware programming language

  Language:C#2.9k261

• Consensys/eth2.0-dafny

  Eth2.0 spec in Dafny

  Language:Dafny7214

• stanleybak/f1tenth_gym

  This is the repository of the F1TENTH Gym environment.

  Language:Python31

• PoPGRI/Race

  Repository for the GRAIC synthesis competition

  Language:Python2311

• incandescentman/Emacs-Settings

  Emacs for Writers

  Language:Emacs Lisp16623

• skousik/RTD_tutorial

  Get started with Reachability-based Trajectory Design for static obstacles

  Language:MATLAB6223

• kidd/org-gcal.el

  Org sync with Google Calendar. (active maintained project as of 2019-11-06)

  Language:Emacs Lisp43847

• chardorn/carla_indy

  Language:Python104

• nasa/Kodiak

  Library for rigorous verification of non-linear arithmetic

  Language:C++10629

• stanleybak/AeroBenchVVPython

  Python Version of F-16 Maneuver Verification Benchmark

  Language:Python11251

• danielecook/Awesome-Bioinformatics

  A curated list of awesome Bioinformatics libraries and software.

  3.1k611

• Tarheel-Formal-Methods/kaa

  A rewrite of Sapo in Python. Kaa is an experimental tool used to compute the reachable set of polynomial non-linear discrete dynamical systems by leveraging parallelotope bundles and Bernstein polynomials.

  Language:Python51

• kbuzzard/xena

  Lean Library currently studying for a degree at Imperial College

  Language:Lean22822

• donsheehy/geomcps

  Language:Python11

• stanleybak/hylaa

  Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs

  Language:Python276