Evaluator for the A::B Prompting Challenge
☆28Apr 10, 2024Updated 2 years ago
Alternatives and similar repositories for ab_challenge_eval
Users that are interested in ab_challenge_eval are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Evals meant to evaluate language models' ability to reason over long contexts.☆10Sep 12, 2024Updated last year
- ☆27Sep 11, 2024Updated last year
- Evaluating LLMs by having them play games against each other☆23Sep 9, 2025Updated 9 months ago
- ☆16Jan 3, 2025Updated last year
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- An implementation of scoped algebraic effects and handlers in Agda.☆17Mar 11, 2021Updated 5 years ago
- Basic linear algebra for small matrices in C☆12Sep 9, 2025Updated 9 months ago
- Opa port of the TodoMVC app☆24Mar 11, 2012Updated 14 years ago
- A minimal proof checker.☆81Sep 9, 2024Updated last year
- Unison syntax highlighting for VS code☆10Jul 13, 2022Updated 3 years ago
- book for Halide language programming☆13Sep 8, 2021Updated 4 years ago
- Solutions to Advent of Code 2021 in APL☆11Dec 1, 2022Updated 3 years ago
- Library classes for the Twelf Proof System☆22Jun 16, 2020Updated 6 years ago
- The implementation of an SMTLib dialect for xDSL☆19Apr 16, 2026Updated 2 months ago
- 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.
- A minimalistic code editor, inspired by Monaco/VSCode, based on Ace & written in Arturo☆12Jan 9, 2026Updated 5 months ago
- Haskell support☆20Updated this week
- ☆33Updated this week
- ☆20Apr 10, 2025Updated last year
- A a tiny concatenative programming language JIT compiled to aarch64 machine code.☆18Feb 25, 2026Updated 4 months ago
- Meta-programming utilities for Agda.☆20Jun 15, 2026Updated 2 weeks ago
- Generate multiple seeds for Clifford or De Jong attractors simultaneously in a single page.☆10Jun 28, 2020Updated 6 years ago
- Reinforcement learning in pure JAX.☆13Updated this week
- tak is a benchmark thing 👍 (or maybe just an excuse to collect all the languages)☆14Oct 24, 2025Updated 8 months 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.
- An agda2hs-compatible library for well-scoped syntax☆11Apr 15, 2026Updated 2 months ago
- Static builds for Lit☆12Oct 20, 2025Updated 8 months ago
- My PhD Thesis☆16Jan 4, 2022Updated 4 years ago
- Code from PLDI '21 paper "Provable Repair of Deep Neural Networks."☆10Nov 26, 2022Updated 3 years ago
- The Abstraction and Reasoning Corpus made into a web game☆89Aug 27, 2024Updated last year
- Leaner CSS, in your browser.☆22Oct 28, 2025Updated 8 months ago
- Random notes on mathematics (in German)☆13Jun 5, 2026Updated 3 weeks ago
- A simple and fast text editor☆14Jun 3, 2026Updated 3 weeks ago
- ☆21Oct 6, 2021Updated 4 years 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.
- A Zig Shell☆13Jul 25, 2025Updated 11 months ago
- Scala staging framework☆18Jul 13, 2018Updated 7 years ago
- Unison base libraries☆25Sep 25, 2025Updated 9 months ago
- ☆15Apr 26, 2025Updated last year
- Port of tFPDF (PHP) by by Ian Back and Tycho Veltmeijer (modified version of FPDF by Olivier Plathey) to TCL☆13Oct 16, 2025Updated 8 months ago
- ☆15Apr 16, 2021Updated 5 years ago
- Mini Offline Singleplayer game in Crystal☆18Oct 24, 2017Updated 8 years ago