roohitavaf

eBay, Michigan State University

Pinned Repositories

academy
Ray tutorials from Anyscale
Language:Jupyter Notebook0 0 00
DKVF
Language:Java9 2 47
k8s-service-grpc
A toy project to test out load balancing with grpc and K8s service
Language:Go00
KClient
C++14 Kafka library based on librdkafka
Language:C++0 1 00
NuRaftOnTheRocks
A Simple Replicated Key-value Store with RocksDB and NuRaft
Language:C++10
P
The P programming language.
Language:C#30
pluscal-examples
00
skiplist
Language:C++00

roohitavaf's Repositories

roohitavaf/DKVF
Language:Java9 2 47
roohitavaf/P
The P programming language.
Language:C#30
roohitavaf/NuRaftOnTheRocks
A Simple Replicated Key-value Store with RocksDB and NuRaft
Language:C++10
roohitavaf/academy
Ray tutorials from Anyscale
Language:Jupyter Notebook0 0 00
roohitavaf/k8s-service-grpc
A toy project to test out load balancing with grpc and K8s service
Language:Go00
roohitavaf/KClient
C++14 Kafka library based on librdkafka
Language:C++0 1 00
roohitavaf/pluscal-examples
00
roohitavaf/skiplist
Language:C++00
roohitavaf/USlicer
USlicer is a tool for slicing timed automata models. Given a timed automata model and a property of interest, USlicer generates a sliced version of the model for verifying the property of interest. As a result, the designer can analyze the sliced version in less time and memory.
Language:Python