Giters
Kanghee Park (ebmoon)

ebmoon

Geek Repo

10

followers

0

following

13

stars

Company:University of Wisconsin-Madison

Github PK Tool:Github PK Tool

Kanghee Park's repositories

spyro-sketch

Language:JavaStargazers:5Issues:0Issues:0

sygus-sketch

Language:JavaStargazers:0Issues:0Issues:0

secure-synthesis

Language:ScalaStargazers:0Issues:0Issues:0

spyro

Synthesizer for provably sound, and most-precise specifications

Language:PythonStargazers:3Issues:0Issues:0

oopsla23-artifact

Language:DafnyStargazers:1Issues:0Issues:0

spyro-sygus

SyGuS version of spyro

Language:PythonStargazers:0Issues:0Issues:0

sapience

Library Learning Modulo Theory with Automated Rule Deduction

Language:RustLicense:MITStargazers:1Issues:0Issues:0

Semgus-Benchmarks

Benchmark files for SemGuS

Language:SlashLicense:MITStargazers:0Issues:0Issues:0

cs704_project

Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.

Language:RoffLicense:MITStargazers:0Issues:0Issues:0

ROPcle

ROP gadget finder for cLEMENCy architecture binary

Language:PythonStargazers:0Issues:0Issues:0