Vera: a programming language designed for LLMs to write
☆420Nov 2, 2026Updated this week
Alternatives and similar repositories for vera
Users that are interested in vera are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- VeraBench: a benchmark suite for LLM code generation in Vera☆15Sep 22, 2026Updated last month
- Metadata-first trust control plane for authorized security workflows, evidence retention, release trust, and business-flow proof.☆14Aug 11, 2026Updated 2 months ago
- Spectre programming language☆75Updated this week
- An open-source geospatial infrastructure that transforms institutional hyperlinks into a unified spatial index of cultural heritage prove…☆12Updated this week
- A tiny experimental language designed to be targeted by coding LLMs☆630Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆18Jun 19, 2026Updated 4 months ago
- Catalogue of languages designed for Agents☆25Updated this week
- tiny lang for differentiable tensors and reactive programming☆23Oct 14, 2026Updated 2 weeks ago
- Interactive CI pipeline debugger. Step through GitHub Actions workflows locally with Docker.☆20Mar 13, 2026Updated 7 months ago
- An experimental language whose object system is a topos: places are pre-sheaves, values are content-addressed on the Leech lattice, and t…☆27Oct 23, 2026Updated last week
- ARCHIVED — split into 6 standalone repos. See README for links.☆128Jul 13, 2026Updated 3 months ago
- Miri: GPU-first programming language☆16Updated this week
- 🤠 Just a programming language with a silly name☆15Oct 30, 2022Updated 4 years ago
- A SQL transformation engine that type-checks your whole pipeline and catches breaking changes before they run — branches, replay, column-…☆308Updated this week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆13Dec 19, 2020Updated 5 years ago
- Deploy and manage AI agents in seconds.☆94Jun 12, 2026Updated 4 months ago
- An open-source cost controller for AI agent loops — stops a loop when it's actually converged and rolls back before it degrades, instead …☆126Oct 26, 2026Updated last week
- TypeScript compiler and JavaScript engine in Lean☆67Oct 12, 2026Updated 3 weeks ago
- Axe programming language☆165Mar 28, 2026Updated 7 months ago
- LeanEff is a small Lean 4 extensible-effects library☆23Oct 13, 2026Updated 2 weeks ago
- The OCaml runtime ported from C to Rust☆15Jun 6, 2026Updated 4 months ago
- The Milo Programming Language☆34Oct 22, 2026Updated last week
- Pilang is a lightweight, general-purpose programming language written in C. a full real-world scripting language with modular architectur…☆22Updated this week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Jacquard is a small programming language designed for a regime in which most code is written by machine-learning models and reviewed by p…☆122Updated this week
- The Agentic-Native Operating System☆99Updated this week
- Open-source email API for applications and AI agents. Managed hosting at e2a.dev, or self-host with Docker.☆197Updated this week
- An ott-like DSL embedded in Lean.☆22Oct 15, 2026Updated 2 weeks ago
- Introducing NERD - the first intermediate language designed for machine authorship☆170Jan 24, 2026Updated 9 months ago
- The Fuzion Language Implementation☆66Updated this week
- xs programming language☆129May 20, 2026Updated 5 months ago
- A cross-platform remote control application, optimised for gaming.☆20Jun 14, 2026Updated 4 months ago
- ☆38Feb 10, 2026Updated 8 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Code from CS152 lectures☆14Apr 13, 2026Updated 6 months ago
- APEX defines how AI agents communicate with brokers, exchanges, dealers, and other execution venues. One protocol. Realtime state. Autono…☆16Jul 23, 2026Updated 3 months ago
- ☆15Oct 15, 2026Updated 2 weeks ago
- ☆48May 7, 2026Updated 5 months ago
- Browser automation, web crawling, and iOS + Android device control for AI agents. Zig-native, token-efficient CDP snapshots, HAR recordin…☆367Oct 9, 2026Updated 3 weeks ago
- 🧀 Chīzu is a small macOS default browser that sends links to a configured browser and, for Google Chrome/Dia/Firefox, a named profile.☆33Updated this week
- Opaline: CLI for Claude Code and Codex session analytics.☆307Oct 25, 2026Updated last week