Pinned Repositories
academic-kickstart
atari-pong
Neural Networks For Playing Pong
awesome
😎 Awesome lists about all kinds of interesting topics
awesome-cpp
A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.
awesome-rl
Reinforcement learning resources curated
baselines
OpenAI Baselines: high-quality implementations of reinforcement learning algorithms
deepControl
DeepControl: Neural Network Controller for Quadrotor
Firmware
PX4 Pro Autopilot Software
log-store
Logger to append, truncate, replay logs
px4_data_collection
pratyusv's Repositories
pratyusv/deepControl
DeepControl: Neural Network Controller for Quadrotor
pratyusv/academic-kickstart
pratyusv/awesome
😎 Awesome lists about all kinds of interesting topics
pratyusv/awesome-cpp
A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.
pratyusv/log-store
Logger to append, truncate, replay logs
pratyusv/coreutils
upstream mirror
pratyusv/cphb
Competitive Programmer's Handbook
pratyusv/educative-io-contents
pratyusv/eran
ETH Robustness Analyzer for Deep Neural Networks
pratyusv/gym
A toolkit for developing and comparing reinforcement learning algorithms.
pratyusv/interview
Interview questions
pratyusv/Interview-Questions
Most comprehensive list :clipboard: of interview questions :blue_book: of companies scraped from Geeksforgeeks, CareerCup and Glassdoor.
pratyusv/keras-idiomatic-programmer
Handbooks and Code Samples for Software Engineers wanting to learn the Keras Machine Learning framework
pratyusv/mathworks-project
pratyusv/mav_control_rw
Control strategies for rotary wing Micro Aerial Vehicles using ROS
pratyusv/mav_trajectory_generation
Polynomial trajectory generation and optimization, especially for rotary-wing MAVs.
pratyusv/minix
Official MINIX sources - Automatically replicated from gerrit.minix3.org
pratyusv/ml19-20a
CS 771A: Introduction to Machine Learning, IIT Kanpur, 2019-20-autumn offering
pratyusv/mujoco
Multi-Joint dynamics with Contact. A general purpose physics simulator.
pratyusv/MulticopterSim
Simple C++ cross-platform Multirotor flight simulator using UnrealEngine4
pratyusv/nnv
Neural Network Verification Software Tool
pratyusv/osrm-backend
Open Source Routing Machine - C++ backend
pratyusv/pratyusv
My repo
pratyusv/pratyusv.github.io
A beautiful, simple, clean, and responsive Jekyll theme for academics
pratyusv/Python
All Algorithms implemented in Python
pratyusv/rotors_simulator
RotorS is a UAV gazebo simulator
pratyusv/storefront-adf
pratyusv/temp_github_repo
Personal Website: https://pratyusv.github.io
pratyusv/uav
pratyusv/verification_guided_training
The code here implements verification guided training scheme for neural network plant models. The verification scheme uses SHERLOCK to implement range propagation idea, and Tensorflow to train the Neural Network.