Discover @praveenkulkarni1996 Open Source projects

Praveen Kulkarni (@praveenkulkarni1996)

praveenkulkarni1996

Stars
184
Global Rank 130,663 (Top 5 %)
Followers 66
Following 64
Registered over 9 years ago
Most used languages

C++
37.5 %

Python
31.3 %

HTML
12.5 %

Standard ML 6.3 %

VHDL 6.3 %

OCaml
6.3 %
Location 🇮🇳 India
Country Total Rank 3,459
Country Ranking

Standard ML 12

OCaml
31

VHDL 71

C++
235

Python
5,259

average-competitive-programming

The best competitive programming tutorials on codeforces for those who are not awesome yet.

awesome-program-synthesis

An curated list of papers on program synthesis.

taktics

A solver for the game of Tak as described in Patrick Rothfuss's Kingkiller Chronicles.

slitherlinky

A solver for Slitherlinky (also called Loop-the-Loop) that uses SAT.

yifysub

YIFY subtitles downloader in python

ruzzler

Game assistant to find all words in a 4x4 alphabet grid.

sml-biginteger-library

This is a big integer library for SML that uses boolean lists underneath.

project-euler

my Project Euler solutions

calamander

A calendar module (WIP)

spoj

My SPOJ solutions

python_talks

A (what should become a) comprehensive list of python talks

kickstarts

Solutions to Google Kickstarts

glamdring

pied-piper

praveenkulkarni1996.github.io

Public Website for Praveen

codeforcing

Codeforces solutions in preparation for ICPC '17

prisoners

This is (or will be) a module where you can run simulations of the Prisoners' dilemma games.

HUL261-psychology

Notes for HUL261 taught at IIT Delhi in Spring 2018

intro-to-cs-ocaml

TA solutions to Introduction to Computer Science, COL100M, IIT Delhi, Spring 2018.