praveenkulkarni1996
CS undergrad at IIT Delhi, Former Intern at MPI-SWS (Max Planck Insitute for Software Systems)
IIT DelhiNew Delhi
Pinned Repositories
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.
design-patterns-for-humans
Design Patterns for Humans™ - An ultra-simplified explanation
hazeremoval
Haze Removal tool using Dark Channel Prior. Based on work by Kaiming He.
project-euler
my Project Euler solutions
ruzzler
Game assistant to find all words in a 4x4 alphabet grid.
slitherlinky
A solver for Slitherlinky (also called Loop-the-Loop) that uses SAT.
sml-biginteger-library
This is a big integer library for SML that uses boolean lists underneath.
taktics
A solver for the game of Tak as described in Patrick Rothfuss's Kingkiller Chronicles.
yifysub
YIFY subtitles downloader in python
praveenkulkarni1996's Repositories
praveenkulkarni1996/average-competitive-programming
The best competitive programming tutorials on codeforces for those who are not awesome yet.
praveenkulkarni1996/awesome-program-synthesis
An curated list of papers on program synthesis.
praveenkulkarni1996/taktics
A solver for the game of Tak as described in Patrick Rothfuss's Kingkiller Chronicles.
praveenkulkarni1996/slitherlinky
A solver for Slitherlinky (also called Loop-the-Loop) that uses SAT.
praveenkulkarni1996/hazeremoval
Haze Removal tool using Dark Channel Prior. Based on work by Kaiming He.
praveenkulkarni1996/ruzzler
Game assistant to find all words in a 4x4 alphabet grid.
praveenkulkarni1996/sml-biginteger-library
This is a big integer library for SML that uses boolean lists underneath.
praveenkulkarni1996/yifysub
YIFY subtitles downloader in python
praveenkulkarni1996/bitcoinbook
Mastering Bitcoin 2nd Edition - Programming the Open Blockchain
praveenkulkarni1996/calamander
A calendar module (WIP)
praveenkulkarni1996/codeforcing
Codeforces solutions in preparation for ICPC '17
praveenkulkarni1996/crab
CoRnucopia of ABstractions: a language-agnostic library for abstract interpretation
praveenkulkarni1996/crab-llvm
Abstract Interpretation of LLVM bitcode
praveenkulkarni1996/dev-setup
Mac OS X development environment setup: Easy-to-understand instructions with automated setup scripts for developer tools like Vim, Sublime Text, Bash, iTerm, Python data analysis, Spark, Hadoop MapReduce, AWS, Heroku, JavaScript web development, Android development, common data stores, and dev-based OS X defaults.
praveenkulkarni1996/fzf
:cherry_blossom: A command-line fuzzy finder
praveenkulkarni1996/glamdring
praveenkulkarni1996/HUL261-psychology
Notes for HUL261 taught at IIT Delhi in Spring 2018
praveenkulkarni1996/intro-to-cs-ocaml
TA solutions to Introduction to Computer Science, COL100M, IIT Delhi, Spring 2018.
praveenkulkarni1996/java-design-patterns
Design patterns implemented in Java
praveenkulkarni1996/kickstarts
Solutions to Google Kickstarts
praveenkulkarni1996/macOS-Security-and-Privacy-Guide
A practical guide to securing macOS.
praveenkulkarni1996/ml-videos
A collection of video resources for machine learning
praveenkulkarni1996/praveenkulkarni1996.github.io
Public Website for Praveen
praveenkulkarni1996/python_talks
A (what should become a) comprehensive list of python talks
praveenkulkarni1996/spoj
My SPOJ solutions
praveenkulkarni1996/stanfordacm
Stanford ACM-ICPC related materials
praveenkulkarni1996/sv-benchmarks
Collection of Verification Tasks
praveenkulkarni1996/adventofcode
praveenkulkarni1996/compete
praveenkulkarni1996/storyteller
Model the storyteller game in haskell