Lakhan Shiva Kamireddy's repositories
platooningV2V
Platooning protocol in erlang
PlatooningPi-Calc
Describing Platooning in the language of MWB (Mobility Workbench), a tool for manipulating and analyzing mobile concurrent systems described in pi-calculus (tool written in standard SML and runs on SML/NJ compiler). Then describing it in Promela to model check using SPIN and Isabelle
awesome-courses
:books: List of awesome university courses for learning Computer Science!
cocoSim2
Automated Analysis Framework for Simulink/Stateflow
cse291-program-synthesis
Program Synthesis Course
deeplearning-models
A collection of various deep learning architectures, models, and tips
docker-go
Docker implementation in Golang
formbuilder
Formbuilder project - Netcore internship
Initial-Pre-Work
This is our new pre-work for the applicants from May 2019 onward.
motivational-scr
Motivational Social Companion Robot
ProbabilisticProgramming
Probabilistic Programming class
programminglanguages
Programming Languages code
ros2-web-bridge
Bridging your browser to the ROS 2.0
simplecart
Simple ReactJS App
SpaceEx-tutorials
SpaceEx tutorials and features
system-design-primer
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
system_design
Preparation links and resources for system design questions
tech-interview-handbook
💯 Algorithms study materials, behavioral content and tips for rocking your coding interview
TransportationNetworks
Transportation Networks for Research