celinehocquette/magicpopper

C. Hocquette and A. Cropper, Learning programs with magic values.

PrologOtherprogram-synthesisinductive-logic-programming
This is stars and forks stats for /celinehocquette/magicpopper repository. As of 02 May, 2024 this repository has 16 stars and 1 forks.

learning programs with magic values - experiments This folder contains the experimental code and data for the paper: Learning programs with magic values Requirements pyswip (You must install pyswip from the master branch!) use the command: pip install git+https://github.com/yuce/pyswip@master#egg=pyswip SWI-Prolog (8.4.2 or above) Clingo (5.5.0 or above) Usage This experimental framework is based on https://github.com/logic-and-learning-lab/ilp-experiments. Experimental data and experimental results...
Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
hlky/stable-diffusion-webuiPythonJavaScriptVue7.6k08920
pirxthepilot/wtfisPythonOther7650380
ihciah/shadow-tlsRustOther2k02210
matanolabs/matanoRustKotlinTypeScript1.2k0660
matter-labs/zksyncRustTypeScriptSolidity3.4k02.4k0
lunduniversity/introprogTeXHTMLScala13801700
juliencrn/usehooks-tsTypeScriptJavaScriptOther4.5k03200
gvergnaud/ts-patternTypeScriptOther9.4k0880
chipsalliance/aib-phy-hardwareVerilogSystemVerilogForth1110270
the-pudding/censorshipSvelteJavaScriptCSS44000