praveenkulkarni1996/awesome-program-synthesis praveenkulkarni1996/awesome-program-synthesis

  • Stars
    star
    64
  • Rank 479,282 (Top 10 %)
  • Language
  • Created almost 7 years ago
  • Updated about 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
praveenkulkarni1996/awesome-program-synthesis
github

praveenkulkarni1996

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

An curated list of papers on program synthesis.

More Repositories

1

average-competitive-programming

The best competitive programming tutorials on codeforces for those who are not awesome yet.
C++
69
star
2

taktics

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

slitherlinky

A solver for Slitherlinky (also called Loop-the-Loop) that uses SAT.
Python
5
star
4

yifysub

YIFY subtitles downloader in python
2
star
5

ruzzler

Game assistant to find all words in a 4x4 alphabet grid.
Python
2
star
6

sml-biginteger-library

This is a big integer library for SML that uses boolean lists underneath.
Standard ML
2
star
7

project-euler

my Project Euler solutions
C++
2
star
8

calamander

A calendar module (WIP)
Python
1
star
9

spoj

My SPOJ solutions
C++
1
star
10

python_talks

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

kickstarts

Solutions to Google Kickstarts
C++
1
star
12

glamdring

C++
1
star
13

pied-piper

VHDL
1
star
14

praveenkulkarni1996.github.io

Public Website for Praveen
HTML
1
star
15

codeforcing

Codeforces solutions in preparation for ICPC '17
C++
1
star
16

prisoners

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

HUL261-psychology

Notes for HUL261 taught at IIT Delhi in Spring 2018
1
star
18

intro-to-cs-ocaml

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