gorkempacaci
Ph.D. on Program Synthesis, Relational Programming. Lately working with Constraint Logic Programming at Tacton Systems
Tacton SystemsStockholm
Pinned Repositories
AoC23
AoC24
CNP
CNP 2022 Meta-interpreter implemented in Prolog
CNPHaskell
CNP embedded in Haskell
CNPInduce
CNP Synthesizer implemented in C#
EagerLinq
An eager wrapper for System.Linq.Enumerable class
gorkempacaci.github.io
plpack
Prolog package manager
zampara
Automatically exported from code.google.com/p/zampara
rice
Rule Induction of CNP Explanations (RICE): Extracting human-readable programs from ML models
gorkempacaci's Repositories
gorkempacaci/CNP
CNP 2022 Meta-interpreter implemented in Prolog
gorkempacaci/CNPInduce
CNP Synthesizer implemented in C#
gorkempacaci/AoC23
gorkempacaci/AoC24
gorkempacaci/CNPHaskell
CNP embedded in Haskell
gorkempacaci/EagerLinq
An eager wrapper for System.Linq.Enumerable class
gorkempacaci/gorkempacaci.github.io
gorkempacaci/plpack
Prolog package manager
gorkempacaci/zampara
Automatically exported from code.google.com/p/zampara