Vera: a programming language designed for LLMs to write
☆384Jul 4, 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 last year
- ☆15Apr 16, 2021Updated 5 years ago
- A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.☆23May 29, 2026Updated last month
- A fully featured, enterprise grade multi-agent harness with full observability, natural language agent creation, and intelligent context …☆46Updated this week
- A reference card for GNU APL☆11Feb 19, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆15Nov 3, 2023Updated 2 years ago
- A 2d "programming language" based around triangles☆11Sep 23, 2023Updated 2 years ago
- A string-based esoteric programming language.☆10Jul 28, 2021Updated 4 years ago
- All my code golf answers from Stack Exchange and other sites(TopAnswers, Reddit, etc.)☆11Mar 7, 2024Updated 2 years ago
- 🦠 An experimental elaborator for dependent type theory using effects and handlers☆38Jun 19, 2026Updated 2 weeks ago
- Ring, field, lra, nra, and psatz tactics for Mathematical Components☆39Apr 3, 2026Updated 3 months ago
- Yeoman generator for webapps utilizing ClojureScript on the front-end and back-end.☆28Mar 19, 2014Updated 12 years ago
- A Self-Interpreter for F-omega☆16Dec 6, 2015Updated 10 years ago
- ☆17Feb 27, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- flax tacit language☆12Jun 25, 2026Updated last week
- 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
- 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☆34Updated this week
- A toy array language inspired by J, K, and APL.☆12Dec 28, 2025Updated 6 months ago
- A collection of tools that help me work with Avro☆23Jan 7, 2010Updated 16 years ago
- The original parsing with derivatives haskell implementation☆12Aug 25, 2015Updated 10 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- The version manager to end all version managers.☆31Apr 10, 2026Updated 2 months ago
- A programming language designed around supporting ASCII animation based code golfing challenges.☆11Sep 4, 2017Updated 8 years ago
- lightweight and full featured library to display dialogs with python.☆14Apr 23, 2021Updated 5 years ago
- WIP of a script that tries to identify symbol ciphers (for now) available on dcode.fr based on input.☆16May 23, 2023Updated 3 years ago
- [SIGGRAPH 2025] Official Implementation of "Instant Self-Intersection Repair for 3D Meshes"☆52Mar 26, 2026Updated 3 months 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☆148May 5, 2026Updated last month
- A simple esolang, based on things people say while trying to think of an answer☆13Apr 12, 2020Updated 6 years ago
- Use MiniZinc in the browser or with NodeJS☆60Jun 5, 2026Updated 3 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆14Jan 3, 2022Updated 4 years ago
- A modular, RedisTimeSeries-native observability agent. Designed for developers, tinkerers, and infrastructure teams who want full contro…☆27May 30, 2025Updated last year
- A TIO clone☆12Aug 29, 2024Updated last year
- A website created using Python, Django to allow users to track TV.☆12Dec 9, 2022Updated 3 years ago
- The Gar Programming Language☆45Jan 1, 2026Updated 6 months ago
- Haskell support☆20Jun 24, 2026Updated last week
- A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).☆16Jan 12, 2026Updated 5 months ago