| -rw-r--r-- | correspondence.svg | 1.5 KiB | 7cb596d931 — feat(x86): prove emitted instruction execution and return-frame consumption | 12 days ago |
| -rw-r--r-- | demo.gif | 2.3 MiB | 3ac5bae085 — feat(compiler): add verified pixel compiler and templeos runner | 2 months ago |
| -rw-r--r-- | demo.mp4 | 2.0 MiB | 3ac5bae085 — feat(compiler): add verified pixel compiler and templeos runner | 2 months ago |
| -rw-r--r-- | poster.png | 16.8 KiB | 3ac5bae085 — feat(compiler): add verified pixel compiler and templeos runner | 2 months ago |
