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/ocaml
at
coop/rose-ash
2026-05-08 16:02:48 +00:00
404c908a9a
ocaml: phase 6 Map/Set extensions iter/fold/filter/union/inter (+4 tests, 422 total)
giles
pushed to
loops/js
at
coop/rose-ash
2026-05-08 16:02:19 +00:00
ee422f3d15
js-on-sx: Function constructor compiles + evaluates JS source
giles
pushed to
loops/ocaml
at
coop/rose-ash
2026-05-08 15:51:38 +00:00
b297c83b1d
ocaml: refresh scoreboard (419/419 across 14 suites)
giles
pushed to
loops/ocaml
at
coop/rose-ash
2026-05-08 15:50:24 +00:00
85867e329b
ocaml: phase 6 Map.Make / Set.Make functors (+4 tests, 418 total)
giles
pushed to
loops/ocaml
at
coop/rose-ash
2026-05-08 15:46:35 +00:00
cd93b11328
ocaml: phase 6 Sys module constants (+5 tests, 414 total)
giles
pushed to
loops/ocaml
at
coop/rose-ash
2026-05-08 15:43:17 +00:00
4bca2cacff
ocaml: phase 5 parse ctor arg types in user type-defs (+3 tests, 409 total)
giles
pushed to
loops/ocaml
at
coop/rose-ash
2026-05-08 15:35:30 +00:00
d61ee088c5
ocaml: refresh scoreboard (407/407 across 14 suites)
giles
pushed to
loops/ocaml
at
coop/rose-ash
2026-05-08 15:34:20 +00:00
f40dfbbeb5
ocaml: phase 6 String extensions (+6 tests, 406 total)
giles
pushed to
loops/js
at
coop/rose-ash
2026-05-08 15:31:40 +00:00
f0dffd275d
js-on-sx: arguments object + Array.from mapFn calling convention
giles
pushed to
loops/ocaml
at
coop/rose-ash
2026-05-08 15:30:33 +00:00
9f05e24c52
ocaml: phase 6 List.take/drop/filter_map/flat_map (+6 tests, 400 total)
giles
pushed to
loops/ocaml
at
coop/rose-ash
2026-05-08 15:22:38 +00:00
86343345dc
ocaml: phase 1+3 or-patterns (P1 | P2 | ...) parens-only (+5 tests, 394 total)
giles
pushed to
loops/ocaml
at
coop/rose-ash
2026-05-08 15:11:48 +00:00
ad252088c3
ocaml: phase 4 module type S = sig … end parser (+3 tests, 389 total)
giles
pushed to
loops/ocaml
at
coop/rose-ash
2026-05-08 15:07:58 +00:00
76ccbfbab6
ocaml: refresh scoreboard (387/387 across 14 suites)
giles
pushed to
loops/ocaml
at
coop/rose-ash
2026-05-08 15:06:47 +00:00
98049d5458
ocaml: phase 1+3 record patterns { f = pat } (+4 tests, 386 total)
giles
pushed to
hs-f
at
coop/rose-ash
2026-05-08 15:05:28 +00:00
92619301e2
HS: 1514/1514 = 100.0% — zero skips (full upstream coverage)
giles
pushed to
loops/ocaml
at
coop/rose-ash
2026-05-08 15:01:09 +00:00
0cf5c8f219
ocaml: phase 5.1 expr_eval.ml baseline (9/9 pass)
giles
pushed to
loops/js
at
coop/rose-ash
2026-05-08 14:46:42 +00:00
47e68454ad
js-on-sx: String(arr) honours Array.prototype.toString overrides
giles
pushed to
loops/minikanren
at
coop/rose-ash
2026-05-08 14:45:05 +00:00
8644668fc9
mk: phase 6 done — fd-fire-store iterates, N-queens FD works
giles
pushed to
loops/datalog
at
coop/rose-ash
2026-05-08 14:41:36 +00:00
62a5a29d5b
datalog-plan: rolling status 239/239 (magic worklist bug fixed)
giles
pushed to
loops/datalog
at
coop/rose-ash
2026-05-08 14:41:11 +00:00
17d6f58cc5
datalog: dl-magic-rewrite worklist now drains across rule chains (239/239)
First
Previous
...
27
28
29
30
31
...
Next
Last