There are no reviews yet. Be the first to send feedback to the community and the maintainers!
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 pythonruzzler
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 solutionscalamander
A calendar module (WIP)spoj
My SPOJ solutionskickstarts
Solutions to Google Kickstartsglamdring
pied-piper
praveenkulkarni1996.github.io
Public Website for Praveencodeforcing
Codeforces solutions in preparation for ICPC '17prisoners
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 2018intro-to-cs-ocaml
TA solutions to Introduction to Computer Science, COL100M, IIT Delhi, Spring 2018.Love Open Source and this site? Check out how you can help us