Karan Kashyap's repositories
slither-plus
A multiplayer recreation of slither.io built from scratch using websockets || Create private lobbies to play against friends!
flowDB
A json database built to replicate some of the core functionalities of MongoDB
kmeans-model-checking
Model checking & property verifications for the k-means clustering algorithm
KReact
A react-like frontend framework supporting JSX elements, functional components, state hooks, and more
red-greeNN-blue
A Deep Neural Network implementation for plausibly colorizing black and white images. https://devpost.com/software/red-greenn-blue
sat-solver
An iterative DPLL solver for the boolean satisfiability problem (SAT)
vehicle-routing
A simulated-annealing based local search solver for the capacitated vehicle routing problem.
ColBERT
ColBERT: state-of-the-art neural search (SIGIR'20, TACL'21, NeurIPS'21, NAACL'22, CIKM'22)
curriculum
The open curriculum for learning web development
Forge
Forge: A Tool and Language for Teaching Formal Methods
grandmaster
A multiplayer chess application built using websockets
Hangman
A simple implementation of Hangman built using PyGame.
karankashyap04
Config files for my GitHub profile.
llama
Inference code for LLaMA models
manim
Animation engine for explanatory math videos
search-backend
A search engine backend, which indexes pages, produces rapid query results, and supports Google's initial PageRank algorithm
SpaceInvader2
A simple implementation of the Space Invader game built using PyGame.
the-algorithm
Source code for Twitter's Recommendation Algorithm
the-algorithm-ml
Source code for Twitter's Recommendation Algorithm
uber-clone
A clone of the Uber mobile app built using React Native.
vidcom
A real-time video conferencing webapp built using websockets