Prishita Kadam's repositories
Real-Time-Sudoku-Solver
In this project we aim to create a real time Sudoku solver which recognise the elements of Sudoku puzzle and providing a digital solution using Computer vision.
AI-for-Medicine-Specialization
This repository is for the course "AI for Medicine Specialization" offered on Coursera
TimberSaw2021
A RDMA native LSM tree
android-leveldb
JNI bindings for leveldb
coq-tricks
Tricks you wish the Coq manual told you
CS536-Project
Reproducing "An argument for increasing TCP’s initial congestion window"
skncode
Using code for skincare and beauty 💅🏻
Tensorflow-Specialization
This repository contains documents done in "Tensorflow in Practice Specialization" course available on Coursera
deneva
Deneva is a distributed in-memory database framework that supports the evaluation of various concurrency control algorithms.
leveldb
LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.
leveldb-jni
A basic leveldb jni binding
leveldbjni
LevelDB JNI wrapper for Java
sf
Mirror of Software Foundations in PDF
software_foundations
My solutions to Software Foundations course in Coq proof assistant.