Evaluator for the A::B Prompting Challenge
☆28Apr 10, 2024Updated last year
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:
- Build control images for Aboriginal Linux, http://landley.net/aboriginal/control-images☆13Jun 7, 2021Updated 4 years ago
- Evals meant to evaluate language models' ability to reason over long contexts.☆10Sep 12, 2024Updated last year
- ☆27Sep 11, 2024Updated last year
- ☆17Jan 3, 2025Updated last year
- ☆11Sep 5, 2023Updated 2 years 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.
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- ☆17Mar 28, 2025Updated last year
- An implementation of scoped algebraic effects and handlers in Agda.☆13Mar 11, 2021Updated 5 years ago
- Basic linear algebra for small matrices in C☆12Sep 9, 2025Updated 7 months ago
- Opa port of the TodoMVC app☆24Mar 11, 2012Updated 14 years ago
- A minimal proof checker.☆80Sep 9, 2024Updated last year
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- Unison syntax highlighting for VS code☆10Jul 13, 2022Updated 3 years ago
- Library for proving propositions quantified over finite sets☆14Sep 21, 2022Updated 3 years ago
- 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.
- Solutions to Advent of Code 2021 in APL☆11Dec 1, 2022Updated 3 years ago
- Library classes for the Twelf Proof System☆23Jun 16, 2020Updated 5 years ago
- I moved this folder. Keeping this repo up for archival purposes only.☆17Jun 5, 2024Updated last year
- The implementation of an SMTLib dialect for xDSL☆17Mar 16, 2026Updated 3 weeks ago
- A minimalistic code editor, inspired by Monaco/VSCode, based on Ace & written in Arturo☆12Jan 9, 2026Updated 3 months ago
- The name "KnowledgeMap" tries to use the metaphor of a cartographic map. If we represent all the different areas of knowledge as a bidime…☆12Mar 29, 2016Updated 10 years ago
- ☆28Updated this week
- ☆20Apr 10, 2025Updated 11 months ago
- Generate multiple seeds for Clifford or De Jong attractors simultaneously in a single page.☆10Jun 28, 2020Updated 5 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- A a tiny concatenative programming language JIT compiled to aarch64 machine code.☆16Feb 25, 2026Updated last month
- This package provides an interface and foundation for verified SAT reasoning☆56Aug 29, 2024Updated last year
- Reinforcement learning in pure JAX.☆13Dec 24, 2025Updated 3 months ago
- tak is a benchmark thing 👍 (or maybe just an excuse to collect all the languages)☆14Oct 24, 2025Updated 5 months ago
- An agda2hs-compatible library for well-scoped syntax☆11Nov 6, 2025Updated 5 months ago
- ☆13Dec 31, 2023Updated 2 years ago
- Code from PLDI '21 paper "Provable Repair of Deep Neural Networks."☆10Nov 26, 2022Updated 3 years ago
- A real-time liminal Quake/Hammer-style level editor with built-in game engine. Optimised for mobile CPUs☆110Updated this week
- Random notes on mathematics (in German)☆12Feb 12, 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 and start building anything your business needs.
- A simple and fast text editor☆14Aug 3, 2023Updated 2 years ago
- ☆21Oct 6, 2021Updated 4 years ago
- Scala staging framework☆18Jul 13, 2018Updated 7 years ago
- Unison base libraries☆24Sep 25, 2025Updated 6 months ago
- Different approaches for finetuning, evaluating, optimizations for code generation model - codestral☆11Jun 18, 2024Updated last year
- Runtime types for OCaml (beta version)☆26Mar 30, 2026Updated last week
- A minimalist implementation of type theory, suitable for experimentation☆16Aug 9, 2025Updated 8 months ago