program-porting

Here is 1 public repository matching this topic...

Dicklesworthstone / beads_bend

A law-proved port of br (beads_rust), the local-first, dependency-aware issue tracker for AI coding agents, to the Bend 2 language. Golden-tested against the original on every lane; early work in progress.

cli dependent-types issue-tracker formal-verification ai-agents bend jsonl beads local-first conformance-testing bend-lang program-porting

Updated Sep 28, 2026
Shell

Add this topic to your repo

To associate your repository with the program-porting topic, visit your repo's landing page and select "manage topics."

Learn more