← Latest products

Aver

a language designed for AI to write and humans to review. Aver is a programming language for auditable AI-written code. I’ve been building Aver around a simple question: If AI is going to write more of the first draft, what should the source look like for the human reviewer?

Open source

66 stars · GitHubexternal site

Visit github.comexternal site

Reactions (1)

Similar products

by description similarity

  1. Aventos

    aventos.dev

    An experiment in cheap AI SEO

    Hacker News19 pts

  2. ADRs for AI

    adrs.systems

    Deliberation records for human–AI work, versioned in Git

    Hacker News66 pts

  3. Jacquard

    github.com

    a programming language for AI-written, human-reviewed code

    Hacker News102 pts

  4. LLM agents that write Python to analyze execution traces at scale

    github.com

    🧠 Make your agents learn from experience. Now available as a hosted solution at kayba.ai

    Hacker News10 pts

  5. Reor

    github.com

    An AI note-taking app that runs models locally

    Hacker News411 pts