Skip to content
View karankashyap04's full-sized avatar
12 followers · 11 following

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: Quickdraw

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: Quickdraw

Highlights

  • Pro

Organizations

@fullstackatbrown

Block or report karankashyap04

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
karankashyap04/README.md

Hi there 👋, I'm Karan!

I'm a Computer Science graduate from Brown University. I love building software; particularly, I'm interested in deep learning, NLP, full stack development, and computer systems. Most recently, I've been diving into the world of prescriptive analytics!

📬 Need to reach out to me? Email me at karankashyap@gmail.com anytime.

Pinned Loading

  1. sat-solver sat-solver Public

    An iterative DPLL solver for the boolean satisfiability problem (SAT)

    C++

  2. vehicle-routing vehicle-routing Public

    A simulated-annealing based local search solver for the capacitated vehicle routing problem.

    Java

  3. red-greeNN-blue red-greeNN-blue Public

    A Deep Neural Network implementation for plausibly colorizing black and white images. https://devpost.com/software/red-greenn-blue

    Python

  4. verified-sat-solver verified-sat-solver Public

    A DPLL SAT solver implemented in Lean, along with correctness proofs for the implementation.

    Lean 3

  5. slither-plus slither-plus Public

    A multiplayer recreation of slither.io built from scratch using websockets || Create private lobbies to play against friends!

    Java 2 4

  6. forge-expr-evaluator forge-expr-evaluator Public

    A TypeScript evaluator for Forge expressions

    TypeScript 2 1