VeraBench: a benchmark suite for LLM code generation in Vera
☆15Sep 22, 2026Updated last month
Alternatives and similar repositories for vera-bench
Users that are interested in vera-bench are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Drop-in replacement for git worktree add that shares disk blocks instead of copying your tree. On the Linux kernel, 1816 MB becomes 36 MB…☆22Updated this week
- ☆11Jun 16, 2024Updated 2 years ago
- A convore chatbot☆12Apr 18, 2011Updated 15 years ago
- devcontainer for neovim - fork of https://codeberg.org/esensar/nvim-dev-container☆10Oct 15, 2023Updated 3 years ago
- Bend's landing page☆18Sep 9, 2026Updated last month
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Run coding agents overnight or for days. Looper plans tasks, checks their work, and keeps progress visible in your terminal.☆16Oct 14, 2026Updated last week
- ☆12Aug 18, 2021Updated 5 years ago
- Django row level object sharing app.☆15Sep 30, 2010Updated 16 years ago
- ☆13Mar 2, 2023Updated 3 years ago
- Welcome to ShellChat, your intelligent command-line assistant that transforms natural language requests into precise shell commands. Say …☆11Sep 26, 2024Updated 2 years ago
- Mimetics determines the file type, MIME type, and media type of a given file using magic numbers and content analysis to detect the most …☆10Aug 7, 2025Updated last year
- A Neovim plugin to streamline the creation of React components with support for TSX and JSX file templates.☆14May 28, 2024Updated 2 years ago
- [R] charting package using the JS Flot charting library☆11Feb 12, 2015Updated 11 years ago
- Riemann sum generating app. App is made fully accessibility to VoiceOver to demo UIAccessibility techniques.☆14Sep 16, 2014Updated 12 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.
- Miri: GPU-first programming language☆16Updated this week
- "Strand" is an open-source implementation of the identically named parallel Prolog dialect as described in the book "Strand: New Concepts…☆14Apr 27, 2021Updated 5 years ago
- .feels() on anything — the AI if statement as a real, typed method. Jev + BAML.☆24Sep 19, 2026Updated last month
- A simple term-rewriting interpreter that displays intermediate expressions.☆15Jun 2, 2025Updated last year
- A Mac app for managing software license keys.☆15May 13, 2026Updated 5 months ago
- n8n node to validate input data before continuing a workflow☆28Aug 29, 2022Updated 4 years ago
- Stripe + Firebase = Fireline☆10Jan 9, 2023Updated 3 years ago
- Write TAP tests with SWI-Prolog☆13Jan 19, 2023Updated 3 years ago
- Get product reviews on Reaction Commerce.☆16Oct 3, 2018Updated 8 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.
- ☆16Oct 21, 2025Updated last year
- Become a quickfix wizard.☆11Nov 6, 2024Updated last year
- Honcho persistent memory extension for pi coding agent☆24May 23, 2026Updated 4 months ago
- Rust SDK for interacting with the WorkOS API.☆15May 13, 2026Updated 5 months ago
- A Jupyter kernel for Logtalk☆15Aug 23, 2025Updated last year
- A page-backed SQL database built with SWI-Prolog, featuring persistent B+Tree indexes, a bounded buffer pool, recovery, streaming imports…☆26Aug 13, 2026Updated 2 months ago
- ☆14Feb 24, 2023Updated 3 years ago
- POST data to CodePen.io to prefill code in a new Pen☆18Feb 21, 2019Updated 7 years ago
- Productivity and analysis tools for online marketing☆10Aug 31, 2017Updated 9 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Quick and flexible web project generator for standalone sites or use with QEDServer. gem install qedproject☆18Jul 1, 2014Updated 12 years ago
- Official Helm Chart Repository for Joxit Applications☆18Apr 17, 2026Updated 6 months ago
- A pure Python implementation of jq - no C extension, runs anywhere Python runs (Pyodide/WASM included). 96% of jq's official test suite.☆23Aug 3, 2026Updated 2 months ago
- ☆13Dec 19, 2020Updated 5 years ago
- 💎 Blink-Bang-Word-Light is a Neovim plugin that highlights the word under the cursor throughout the buffer.☆11Jan 1, 2026Updated 9 months ago
- ☆18Jan 30, 2023Updated 3 years ago
- QEMU with Docker☆14May 8, 2017Updated 9 years ago