lakhanshiva Goto Github PK

mifosx

The next evolution of mifos focusing on being faster, lighter and cheaper to change (than existing mifos) so that it is more responsive to the needs of MFIs and Integrators

mobile

A mobile app for busy voters

mockapi

Simple mock API for Fuse SOC Provider

motivational-scr

Motivational Social Companion Robot

mqtt-broker

mygithubpage

operating-systems

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

practical-uvm-step-by-step

This is the main repository for all the examples for the book Practical UVM

practice

probabilisticprogramming

Probabilistic Programming class

programminglanguages

Programming Languages code

pvs

Pacemaker Verification System project

ros2-web-bridge

Bridging your browser to the ROS 2.0

saml2

Saml2 Authentication services for ASP.NET

simplecart

Simple ReactJS App

simpleoops

sl2sx

slidify-project

Slidify coursera assignment

soc-programs

A list of open source internship programs.

spaceex-benchmarks

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

uvmprimer

Contains the code examples from The UVM Primer Book sorted by chapters.

web

Firebase backend for the Ballot app