Pinned Repositories
AIM4-Simulator
The open source code behind the Autonomous Intersection Management simulator from University of Texas.
aim5
Source code for Autonomous Intersection Management (AIM) Simulator. Compared to aim4, this involves semi-autonomous vehicles.
And-Inverter-Graph-Rewriting
Rewrite DAG aware and-inverter graphs to share common logic wihout increasing delay
awesome-courses
:books: List of awesome university courses for learning Computer Science!
feed-app
Generates feed for news (with search functionality)
FFT-Implementation
Fast Fourier Transform Implementation
freebsd
FreeBSD src tree (read-only mirror)
mobile
A mobile app for busy voters
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
platooningV2V
Platooning protocol in erlang
lakhanshiva's Repositories
lakhanshiva/platooningV2V
Platooning protocol in erlang
lakhanshiva/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
lakhanshiva/awesome-courses
:books: List of awesome university courses for learning Computer Science!
lakhanshiva/feed-app
Generates feed for news (with search functionality)
lakhanshiva/freebsd
FreeBSD src tree (read-only mirror)
lakhanshiva/mobile
A mobile app for busy voters
lakhanshiva/calculaor
lakhanshiva/cocoSim2
Automated Analysis Framework for Simulink/Stateflow
lakhanshiva/cse291-program-synthesis
Program Synthesis Course
lakhanshiva/deeplearning-models
A collection of various deep learning architectures, models, and tips
lakhanshiva/docker-go
Docker implementation in Golang
lakhanshiva/formbuilder
Formbuilder project - Netcore internship
lakhanshiva/hypro
HyPro: A C++ state set representation library for the analysis of hybrid systems
lakhanshiva/Initial-Pre-Work
This is our new pre-work for the applicants from May 2019 onward.
lakhanshiva/lakhanshiva.github.io
lakhanshiva/motivational-scr
Motivational Social Companion Robot
lakhanshiva/MQTT-broker
lakhanshiva/Operating-Systems
lakhanshiva/ProbabilisticProgramming
Probabilistic Programming class
lakhanshiva/programminglanguages
Programming Languages code
lakhanshiva/ros2-web-bridge
Bridging your browser to the ROS 2.0
lakhanshiva/Saml2
Saml2 Authentication services for ASP.NET
lakhanshiva/simplecart
Simple ReactJS App
lakhanshiva/simpleOOPS
lakhanshiva/SpaceEx-tutorials
SpaceEx tutorials and features
lakhanshiva/system-design-primer
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
lakhanshiva/system_design
Preparation links and resources for system design questions
lakhanshiva/tech-interview-handbook
💯 Algorithms study materials, behavioral content and tips for rocking your coding interview
lakhanshiva/TransportationNetworks
Transportation Networks for Research
lakhanshiva/web
Firebase backend for the Ballot app