peleghila

Pinned Repositories

commons-lang
Apache Commons Lang
Language:Java2.7k 172 01.6k
SnippySynthesizer
Language:Java7 4 03
bester
Language:Slash51
commons-lang
Mirror of Apache Commons Lang
Language:Java0 1 00
html_to_mobi
Convert an html page to a Hebrew-enabled mobi file
00
JPlag-with-bison
Adding bison support to jplag
Language:Java00
wholeprogramprops
synthesis with whole program properties
Language:Python0 2 00
Probe
Language:Slash3 6 02
prime
Language:Java14 7 05
suslik
Synthesis of Heap-Manipulating Programs from Separation Logic
Language:Scala124 10 1120

peleghila's Repositories

peleghila/bester
Language:Slash51
peleghila/commons-lang
Mirror of Apache Commons Lang
Language:Java0 1 00
peleghila/html_to_mobi
Convert an html page to a Hebrew-enabled mobi file
00
peleghila/JPlag-with-bison
Adding bison support to jplag
Language:Java00
peleghila/wholeprogramprops
synthesis with whole program properties
Language:Python0 2 00