giles
0 Followers · 0 Following
  • Joined on 2024-04-09
Repositories Projects Packages Public Activity Starred Repositories
giles pushed to loops/minikanren at coop/rose-ash 2026-05-08 11:17:29 +00:00
2d51a8c4ea mk: numbero / stringo / symbolo type predicates
giles pushed to loops/minikanren at coop/rose-ash 2026-05-08 11:15:27 +00:00
b4c1253891 mk: graph reachability via patho — classic miniKanren
giles pushed to loops/minikanren at coop/rose-ash 2026-05-08 11:13:24 +00:00
e7dca2675c mk: everyo / someo — predicate-style relations
giles pushed to loops/minikanren at coop/rose-ash 2026-05-08 11:11:29 +00:00
f00054309d mk: mapo (relational map) — 300/300 milestone
giles pushed to loops/minikanren at coop/rose-ash 2026-05-08 11:09:51 +00:00
cfb43a3cdf mk: samelengtho — equal-length relation
giles pushed to loops/minikanren at coop/rose-ash 2026-05-08 11:07:34 +00:00
186171fec3 mk: pythagorean triples search — intarith showcase
giles pushed to loops/minikanren at coop/rose-ash 2026-05-08 11:02:14 +00:00
9795532f7d mk: intarith.sx — ground-only integer arithmetic via project
giles pushed to loops/minikanren at coop/rose-ash 2026-05-08 11:00:16 +00:00
b89b0def93 mk: 2x2 Latin square — small classic FD constraint demo
giles pushed to loops/js at coop/rose-ash 2026-05-08 10:54:04 +00:00
f03aa3056d js-on-sx: js-to-number throws TypeError on non-primitive
giles pushed to loops/minikanren at coop/rose-ash 2026-05-08 10:50:33 +00:00
428ca79f61 mk: rembero / assoco / nth-o — more list relations
giles pushed to loops/minikanren at coop/rose-ash 2026-05-08 10:46:15 +00:00
bf9fe8b365 mk: flatteno — nested list flattener
giles pushed to loops/minikanren at coop/rose-ash 2026-05-08 10:43:48 +00:00
2ae848dfe7 mk: laziness tests — Zzz-conde + interleaving fairness
giles pushed to loops/datalog at coop/rose-ash 2026-05-08 10:41:48 +00:00
96f66d3596 datalog: dl-magic-query handles mixed EDB+IDB relations (225/225)
giles pushed to loops/minikanren at coop/rose-ash 2026-05-08 10:41:05 +00:00
33693fc957 mk: 4-queens classic benchmark green
giles pushed to loops/datalog at coop/rose-ash 2026-05-08 10:36:43 +00:00
254052a43b datalog-plan: rolling status 224/224
giles pushed to loops/datalog at coop/rose-ash 2026-05-08 10:36:16 +00:00
ec7e4dd5c4 datalog: bounded-successor regression test (224/224)
giles pushed to loops/datalog at coop/rose-ash 2026-05-08 10:33:46 +00:00
370df5b8e5 datalog: diagonal query (repeated var) regression test (223/223)
giles pushed to loops/datalog at coop/rose-ash 2026-05-08 10:32:03 +00:00
a648247ae4 datalog: dl-magic-query falls back on built-in/agg/neg goals (222/222)
giles pushed to loops/datalog at coop/rose-ash 2026-05-08 10:29:18 +00:00
5a3db1a458 datalog: magic preserves arithmetic test (221/221)
giles pushed to loops/datalog at coop/rose-ash 2026-05-08 10:27:46 +00:00
549cb5ea84 datalog: mixed-EDB+IDB-same-relation regression test (220/220)