Skip to content

Actions: ilyasergey/langlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
101 workflow runs
101 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
A hand-written Turpentine backend for Unlambda langlib.wtf #101: Commit 7be4584 pushed by ilyasergey
37s master
master
37s
AGENTS.md is now a link to CLAUDE.md, not a copy of it that drifted langlib.wtf #100: Commit 880af44 pushed by ilyasergey
32s master
master
32s
README: every asserted example output now re-verified by running it langlib.wtf #99: Commit c528175 pushed by ilyasergey
38s master
master
38s
Docs: recompute every line anchor, and fix the claims the audit caught langlib.wtf #98: Commit 375558d pushed by ilyasergey
30s master
master
30s
The correctness structures require lawfulness: fuel cannot be an oracle langlib.wtf #97: Commit 68ba6fd pushed by ilyasergey
36s master
master
36s
Traces can no longer underreport: the faithfulness law, proved for al… langlib.wtf #96: Commit 2535897 pushed by ilyasergey
35s master
master
35s
Malbolge Unshackled: a cheaper branch, and instructions for the next … langlib.wtf #95: Commit 4c07a2b pushed by ilyasergey
35s master
master
35s
A backend for Malbolge, bounded by Malbolge and not by us langlib.wtf #94: Commit 7ce6234 pushed by ilyasergey
38s master
master
38s
Piet: a program out to a PNG, and back in still running langlib.wtf #93: Commit 640c2f8 pushed by ilyasergey
30s master
master
30s
The matrices catch up, and two of them were lying langlib.wtf #92: Commit 7dd7250 pushed by ilyasergey
31s master
master
31s
Malbolge Unshackled: document the 99 bottles port, and how to feed input langlib.wtf #91: Commit 6542ab1 pushed by ilyasergey
35s master
master
35s
One parser for a number, because two agreed only by accident langlib.wtf #90: Commit b5ed710 pushed by ilyasergey
32s master
master
32s
Malbolge Unshackled: primes and sort, compiled and checked in langlib.wtf #89: Commit f9d556d pushed by ilyasergey
31s master
master
31s
A compiler proved to behave, not just to answer langlib.wtf #88: Commit 3478ebe pushed by ilyasergey
49s master
master
49s
Whitespace: printing a value, and the fragment that makes it provable langlib.wtf #87: Commit 6599cc5 pushed by ilyasergey
36s master
master
36s
Malbolge Unshackled: close the gap in the trit-4 argument langlib.wtf #86: Commit 72b097d pushed by ilyasergey
34s master
master
34s
Malbolge Unshackled: two printability conditions that look alike langlib.wtf #85: Commit 2ac14e7 pushed by ilyasergey
35s master
master
35s
Malbolge Unshackled: five more examples, and which Malbolge ones tran… langlib.wtf #84: Commit 4101df8 pushed by ilyasergey
33s master
master
33s
Malbolge Unshackled: tighten the gadget API, and strengthen two_sweep langlib.wtf #83: Commit c2c153f pushed by ilyasergey
31s master
master
31s
Malbolge Unshackled: a branch flag cannot be computed langlib.wtf #82: Commit da95836 pushed by ilyasergey
32s master
master
32s
Malbolge Unshackled: correct the constant-column result langlib.wtf #81: Commit 5032096 pushed by ilyasergey
36s master
master
36s
Malbolge Unshackled: the simulation invariant langlib.wtf #80: Commit a66a6cb pushed by ilyasergey
35s master
master
35s
Malbolge Unshackled: where the tapes live langlib.wtf #79: Commit fb3d513 pushed by ilyasergey
31s master
master
31s
Malbolge Unshackled: the register file, refining Counter.CState langlib.wtf #78: Commit ed167d6 pushed by ilyasergey
35s master
master
35s
Malbolge Unshackled: registers as a difference of two tapes langlib.wtf #77: Commit a8eb518 pushed by ilyasergey
36s master
master
36s