Skip to content
View praveenkulkarni1996's full-sized avatar
68 followers · 64 following

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault ContributorAchievement: Starstruck
BetaSend feedback

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault ContributorAchievement: Starstruck
BetaSend feedback
Block or Report

Block or report praveenkulkarni1996

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Pinned

  1. average-competitive-programming average-competitive-programming Public

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

    C++ 72 25

  2. awesome-program-synthesis awesome-program-synthesis Public

    An curated list of papers on program synthesis.

    66 2

  3. taktics taktics Public

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

    Python 7 1

  4. slitherlinky slitherlinky Public

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

    Python 5 2

  5. ruzzler ruzzler Public

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

    Python 2

  6. project-euler project-euler Public

    my Project Euler solutions

    C++ 2