Vera: a programming language designed for LLMs to write
☆355May 19, 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:
- A Python-based AI coding assistant that uses the Gemini API for code generation, file manipulation, and interactive software development …☆23Jun 28, 2025Updated 10 months ago
- Observability for contexts. Given a coversation log (messages), this tool will provide a breakdown of its components and their sizes. It …☆69Mar 27, 2026Updated last month
- [CVPR 2026] Official Implementation of "Interact2Ar: Full-Body Human-Human Interaction Generation via Autoregressive Diffusion Models".☆18Feb 23, 2026Updated 3 months ago
- ☆10Sep 13, 2019Updated 6 years ago
- A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.☆23Apr 1, 2026Updated last month
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- This step by step guide allows you to import your Obsidian network data directly into a software such as Gephi, or any other graph analys…☆13Jul 1, 2022Updated 3 years ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆15Nov 3, 2023Updated 2 years ago
- An esoteric language based on overlapping tree-like structures☆10Oct 16, 2021Updated 4 years ago
- ☆14Feb 26, 2026Updated 2 months ago
- All my code golf answers from Stack Exchange and other sites(TopAnswers, Reddit, etc.)☆11Mar 7, 2024Updated 2 years ago
- Ring, field, lra, nra, and psatz tactics for Mathematical Components☆39Apr 3, 2026Updated last month
- 🦠 An experimental elaborator for dependent type theory using effects and handlers☆37Apr 7, 2026Updated last month
- purple garden is a lean scripting language designed for performance, with aggressive optimisations, JIT compilation, fine-grained memory …☆40Updated this week
- ☆75May 8, 2026Updated 2 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A Self-Interpreter for F-omega☆16Dec 6, 2015Updated 10 years ago
- ☆17Feb 27, 2025Updated last year
- The Ash golfing language☆10Apr 1, 2021Updated 5 years ago
- Radvylf Should Not Be Allowed To Write Programming Languages☆12Nov 11, 2022Updated 3 years ago
- PixelVloed udp / binary transport PixelFlut version☆14Jul 19, 2024Updated last year
- A fully type-safe finite state machines☆20Nov 19, 2024Updated last year
- concise functionless functional esolang☆14Jan 18, 2026Updated 4 months ago
- A functional, fractional-byte programming language☆14Jan 28, 2023Updated 3 years ago
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Locate Args and Execute☆19Apr 26, 2025Updated last year
- A Discord entertainment bot with lots of cool and fun games to kill your time. Created for the Discord Hack Week 2019.☆10Dec 8, 2022Updated 3 years ago
- SwiftUI Bluesky client app☆33May 1, 2026Updated 3 weeks ago
- An advanced open-source Lumines spiritual successor☆30Mar 21, 2026Updated 2 months ago
- A toy array language inspired by J, K, and APL.☆12Dec 28, 2025Updated 4 months ago
- Public repository for HPPS☆14Jan 26, 2025Updated last year
- gril controller for esp8266☆18Jul 5, 2024Updated last year
- ☆18Jul 3, 2020Updated 5 years ago
- Knowledge work sdk☆49Feb 23, 2026Updated 3 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- An ASCII-based golfing language☆14Jan 7, 2023Updated 3 years ago
- lightweight and full featured library to display dialogs with python.☆14Apr 23, 2021Updated 5 years ago
- A type-safe, immutable builder to construct complex objects with runtime validation while maintaining compile-time type safety.☆16Dec 28, 2024Updated last year
- sas-audio-processor☆147May 5, 2026Updated 2 weeks ago
- Use MiniZinc in the browser or with NodeJS☆58May 8, 2026Updated 2 weeks ago
- A simple esolang, based on things people say while trying to think of an answer☆13Apr 12, 2020Updated 6 years ago
- You like pytorch? You like micrograd? You love tinygrad! ❤️☆16May 15, 2026Updated last week