bendlang/bend

This page introduces an external open-source repository. It is not an HDATF product.

What it does

A programming language that uses declared laws and mathematical proofs to check code correctness. Its compiler also supports parallel execution.

How it helps ATF

Harness can reference its approach to checking AI-generated code against explicit rules.

License

Apache-2.0 Permissive, with a patent grant. Commercial use is allowed; keep the notices and state your changes.

More in this category

• qiz029/dscode
  DSCODE is a macOS terminal coding agent built on DeepSeek Harness. A persistent shell, TUI, CLI and scripts share a session runtime, while sessions can hand off tasks and request independent review.
• smithy-lang/smithy-rs
  Smithy code generators for Rust clients, servers and the AWS SDK. The project describes its internal and external interfaces as unstable.
• zai-org/ZCode
  An AI coding workbench with desktop, browser, and terminal interfaces. The repository contains clients, backend services, shared UI, and agent CLI and runtime source.
• miuuyy/codex-chatgpt-web
  A launcher that adds ChatGPT Web models, including Pro, to Codex's model picker, using ChatGPT Web's own usage limits instead of Codex quota. A full harness mode connects ChatGPT to the task's files, terminal, tools and approvals through MCP.
• zeronsh/zeron
  A native control plane for coding agents such as Claude Code, Codex and Cursor. Each device runs a local engine that stores sessions on that device, with optional sign in for multi device sync.

Only repositories in the ranked Trendshift lists are included, and the lists are used only to find candidates. We do not copy their ranks. Descriptions, licenses and star counts come from each GitHub repository. The notes are our own reading. We have not tested these projects, and a place on a trending list does not prove quality.