Similar repositories to CyberSecLabBS/ProbPopper:
CyberSecLabBS/ProbPopper
github
similar
joshrule/list-routines-model-comparison
github
similar
JackWahlig/Popper
github
similar
nichrome-project/nichrome
github
similar
logic-and-learning-lab/ilp-experiments
github
similar
rolfmorel/popper
github
similar
JeanChristopheRohner/theory-toolbox-2
github
similar
Herb-AI/HerbSWIPL.jl
github
similar
celinehocquette/magicpopper
github
similar
UCLA-StarAI/Circuit-Model-Zoo
github
similar
laudv/bitboost
github
similar
brandonwillard/kanren
github
similar
SWI-Prolog/tabled-prolog-book
github
similar
friguzzi/aleph
github
similar
sebdumancic/loreleai
github
similar
SmartDataAnalytics/SML-Bench
github
similar
arranger1044/spyn
github
similar
Mehran-k/RelNN
github
similar
xflows/rdm
github
similar
starling-lab/BoostSRL
github
similar
logic-and-learning-lab/Popper
github
similar
informarte/yuck
github
similar
adityaSomak/PSLQA
github
similar
probcomp/sppl
github
similar
friguzzi/cplint
github
similar
921kiyo/symbolic-rl
github
similar
uclnlp/d4
github
similar
SHoltzen/dice
github
similar
scallop-lang/scallop-v1
github
similar
scallop-lang/scallop-old
github
similar
anskarl/LoMRF
github
similar
xuexue/neuralkanren
github
similar
sebdumancic/pylo2
github
similar
facebookresearch/pplbench
github
similar
potassco/clasp
github
similar
metagol/metagol
github
similar
ztangent/Julog.jl
github
similar
tias/cppy
github
similar
opcode81/ProbCog
github
similar
pythological/kanren
github
similar