Hyperlambda

Wyzer is an open-source, statically typed, compiled, resource-oriented programming language with integrated distributed safety. Its choreographic programming model lets developers describe a distributed system as one unified program, which the compiler projects into independent participant binaries while checking communication protocols for issues such as deadlocks and dropped messages. Wyzer uses the Perceus memory model, based on precise reference counting and single-owner values rather than a garbage collector or borrow checker. Ownership transfers, including network transfers between roles, are linear moves that consume the value at its source and produce compile-time errors if it is used again. The language is designed for concise syntax, deadlock-free communication, and C ABI compatibility.

StableHLO is a backward-compatible operation set for high-level machine-learning operations and a portability layer between ML frameworks and compilers. Frameworks such as TensorFlow, JAX, and PyTorch can produce StableHLO programs, while compilers such as XLA and IREE can consume them; the programs can also be used for on-device execution through Google AI Edge. Based on the MHLO dialect, StableHLO adds serialization and versioning through MLIR bytecode, with backward- and forward-compatibility guarantees. The project includes the StableHLO specification and an MLIR-based C++ and Python implementation for defining programs and integrating them with compatible compilers.

AgentLoop is a developer tool that runs unattended coding loops on a user's machine, executing plans authored in ChatGPT by launching Codex-based workers and independent critic processes. It automates iterative code generation and evaluation until configured quality standards are met.

Bend 2 is a parallel programming language created by Victor Taelin and contributors, designed for AI-written code that must preserve declared rules. Its Python-like syntax includes dependent types, purity, linearity, and explicit proofs. A project can define invariants in a `LAWS.bend` file and provide proofs in `PROOF.bend`; the compiler checks those proofs when code changes, blocking implementations that violate the declared laws. Bend uses divide-and-conquer parallelism rather than manually managed threads, locks, or GPU kernels, and can target CPUs and GPUs through C, CUDA, and Metal, with JavaScript also supported. It is distributed through an install script and is positioned primarily for Linux and macOS; the repository describes it as a young language with limitations including no Windows support, no proof search, slow native compilation, and experimental areas of the compiler and runtime.