Vera: a programming language designed for LLMs to write
☆110Apr 10, 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:
- Logical relation for predicative CC omega with booleans and an intensional identity type☆12Apr 22, 2025Updated 11 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 week
- Sharable Grakn knowledge graphs☆14Dec 28, 2022Updated 3 years ago
- Manipulate audio with a simple and easy high level interface☆20Jan 10, 2026Updated 3 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Dongle to convert Stadia Controller to BLE-HID device☆10Oct 25, 2022Updated 3 years ago
- 🦠 An experimental elaborator for dependent type theory using effects and handlers☆37Nov 21, 2025Updated 4 months ago
- Ring, field, lra, nra, and psatz tactics for Mathematical Components☆38Apr 3, 2026Updated last week
- Yeoman generator for webapps utilizing ClojureScript on the front-end and back-end.☆28Mar 19, 2014Updated 12 years ago
- A repo to share idea on customize a machine for the use of vim.☆13May 7, 2020Updated 5 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- PixelVloed udp / binary transport PixelFlut version☆14Jul 19, 2024Updated last year
- ☆10Oct 14, 2022Updated 3 years ago
- GitHub Pages☆14Feb 20, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- A light, calm and champagnesque colorscheme.☆14Dec 5, 2022Updated 3 years ago
- Welcome to ShellChat, your intelligent command-line assistant that transforms natural language requests into precise shell commands. Say …☆11Sep 26, 2024Updated last year
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- Locate Args and Execute☆19Apr 26, 2025Updated 11 months ago
- A collection of tools that help me work with Avro☆24Jan 7, 2010Updated 16 years ago
- [SIGGRAPH 2025] Official Implementation of "Instant Self-Intersection Repair for 3D Meshes"☆41Mar 26, 2026Updated 2 weeks ago
- gril controller for esp8266☆18Jul 5, 2024Updated last year
- The original parsing with derivatives haskell implementation☆12Aug 25, 2015Updated 10 years ago
- A modern, Pythonic ORM for TypeDB with an Attribute-based API that aligns with TypeDB's type system.☆18Updated this week
- 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.
- Knowledge work sdk☆49Feb 23, 2026Updated last month
- QEMU with Docker☆13May 8, 2017Updated 8 years ago
- Client for Bluesky☆16Mar 30, 2026Updated last week
- A Python-based AI coding assistant that uses the Gemini API for code generation, file manipulation, and interactive software development …☆23Jun 28, 2025Updated 9 months ago
- A modular, RedisTimeSeries-native observability agent. Designed for developers, tinkerers, and infrastructure teams who want full contro…☆27May 30, 2025Updated 10 months ago
- ☆18Jan 30, 2023Updated 3 years ago
- Collection of code files to scrap different kinds of websites.☆18Oct 2, 2020Updated 5 years ago
- ☆15Mar 28, 2022Updated 4 years ago
- TypeQL plugin for Visual Studio Code☆18Oct 30, 2025Updated 5 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- HTTP API for smstools3☆23Dec 26, 2022Updated 3 years ago
- TypeQL language library for Python☆15Jan 26, 2022Updated 4 years ago
- ☆15Jun 22, 2025Updated 9 months ago
- Haskell support☆15Mar 25, 2026Updated 2 weeks ago
- ConnectIQ widget for Tesla vehicle control☆16Sep 10, 2025Updated 7 months ago
- Elixir client for Grakn database☆15Jan 24, 2025Updated last year
- A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).☆16Jan 12, 2026Updated 2 months ago