This website requires JavaScript.
Explore
Help
Sign In
giles
0 Followers
·
0 Following
Joined on
2024-04-09
Block a user
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
User to block:
Optional note:
The note is not visible to the blocked user.
Cancel
Block
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)
First
Previous
...
32
33
34
35
36
...
Next
Last