Sign in
Join now
eukhe
gildrb.com
/
Star
Starred
Star
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Coding agent with a memory of all things
Star
Starred
Star
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
eukhe
/
proof
/
theme
/
base
4 files
at
bend/all
gildrb.com
·
theme, color: run as compiled Bend (entries ffi_theme 62, ffi_color 67); the Rust copies, the bridge and the law-covered tests go
·
2w ago
56828a0a
ffi_load.bend
theme, color: run as compiled Bend (entries ffi_theme 62, ffi_color 67); the Rust copies, the bridge and the law-covered tests go
2w ago
ffi_read.bend
theme, color: run as compiled Bend (entries ffi_theme 62, ffi_color 67); the Rust copies, the bridge and the law-covered tests go
2w ago
ffi_trip.bend
theme, color: run as compiled Bend (entries ffi_theme 62, ffi_color 67); the Rust copies, the bridge and the law-covered tests go
2w ago
ffi_write.bend
theme, color: run as compiled Bend (entries ffi_theme 62, ffi_color 67); the Rust copies, the bridge and the law-covered tests go
2w ago