Kasraghasemi

Kasraghasemi's Stars

• google-research/tuning_playbook

  A playbook for systematically maximizing the performance of deep learning models.

  27.4k2.3k

• RIVeR-Lab/apriltag_ii_ros

  Language:C21

• sharif1093/openvr_ros

  A package that connects to SteamVR through OpenVR and provides tracking information for VR devices in ROS.

  Language:C++146

• sharif1093/digideep

  A Deep Reinforcement Learning (DeepRL) package for RL algorithm developers.

  Language:Python10

• huanzhang12/RecurJac-and-CROWN

  Reference implementations for RecurJac, CROWN, FastLin and FastLip (Neural Network verification and robustness certification algorithms) [Do not use this repo, use https://github.com/Verified-Intelligence/auto_LiRPA instead]

  Language:Python266

• eth-sri/eran

  ETH Robustness Analyzer for Deep Neural Networks

  Language:Python323103

• JuliaReach/LazySets.jl

  Scalable symbolic-numeric set computations in Julia

  Language:Julia22632

• sadraddini/PARCIS

  Parameterized Robust Control Invariant Sets (PARCIS)

  Language:Jupyter Notebook55

• RobotLocomotion/drake

  Model-based design and verification for robotics.

  Language:C++3.4k1.3k

• sadraddini/pypolycontain

  A Toolbox For Polytopic Objects, Operations, and Containment Problems

  Language:Python216