Benchmark of LLMs on real open-source projects against dependency hell, legacy toolchains, and complex build systems.
☆60Jul 14, 2026Updated 3 months ago
Alternatives and similar repositories for CompileBench
Users that are interested in CompileBench are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Additional color handling for Elm☆13Mar 7, 2019Updated 7 years ago
- ☆14Jun 7, 2024Updated 2 years ago
- Applying SAEs for fine-grained control☆28Dec 15, 2024Updated last year
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆28Nov 12, 2025Updated 11 months ago
- On the Quartic Invariant of Odd Degree Binary Forms — paper, Lean formalization, and computational verification☆16Apr 16, 2026Updated 5 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- 💻 SETA: Scaling Environments for Terminal Agents - Environments☆148Feb 16, 2026Updated 7 months ago
- Elm library for integer arithmetic and number theory☆22Apr 23, 2020Updated 6 years ago
- Benchmark harness and code for "SWE-fficiency: Can Language Models Optimize Real World Repositories on Real World Workloads?"☆27Feb 17, 2026Updated 7 months ago
- (ACL 2025 Main) Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification - Offici…☆21Dec 26, 2025Updated 9 months ago
- Download Web-10K data by querying Bing Image Search☆10Feb 1, 2022Updated 4 years ago
- Visualization of Haskell data structures☆16Feb 13, 2024Updated 2 years ago
- ☆32Jul 21, 2023Updated 3 years ago
- Recursive Coding Agents — AI Engineer World's Fair 2026 talk + website (SvelteKit, Cloudflare Workers)☆22Jun 30, 2026Updated 3 months ago
- Implementation of BitNet1.58b☆15Jul 9, 2024Updated 2 years ago
- 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.
- ☆12Mar 3, 2022Updated 4 years ago
- Haskell counters that can be safely incremented from multiple threads☆19Oct 7, 2025Updated last year
- Official implementation of "BERTs are Generative In-Context Learners"☆32Mar 14, 2025Updated last year
- A Datasette instance for searching WebVid-10M☆15Sep 30, 2022Updated 4 years ago
- https://elm.run☆12Oct 31, 2024Updated last year
- A package for making 3D games and apps in Elm☆13Sep 13, 2024Updated 2 years ago
- Creating a nice interface for SVG paths in Elm☆30Jun 26, 2024Updated 2 years ago
- Improved HTTP in Elm - detailed responses, convenience functions and API mocking.☆14Feb 13, 2020Updated 6 years ago
- Samaya AI's FrontierFinance Benchmark Grader☆23Oct 7, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Different implementations of Particle Life☆19Mar 14, 2024Updated 2 years ago
- Elm <-> Expo bridge experiment☆14Jul 8, 2018Updated 8 years ago
- ☆15Oct 25, 2025Updated 11 months ago
- Providing the answer to "How to do patching on all available SAEs on GPT-2?". It is an official repository of the implementation of the p…☆14Jan 26, 2025Updated last year
- ☆18Oct 8, 2026Updated last week
- Previewing (J)SCAD 3D models inside Atom.☆31Sep 1, 2018Updated 8 years ago
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆18Sep 19, 2026Updated 3 weeks ago
- Benchmarking execution environments ability to prevent reward hacking in agent evals.☆18Updated this week
- Taylor Fausak's blog.☆19Mar 26, 2026Updated 6 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.
- Learn Elm with its compiler as a copilot!☆13May 2, 2025Updated last year
- 📖 Guia para aprendizado de Elm☆11Oct 15, 2024Updated 2 years ago
- A GitHub action that gets current tag name and puts it into an environment variable. Maintained fork☆11Oct 31, 2023Updated 2 years ago
- Browser extension to display additional information for a package on package.elm-lang.org☆13Sep 5, 2019Updated 7 years ago
- Compiler for Elm, a functional language for reliable webapps.☆39Aug 15, 2021Updated 5 years ago
- The Roguelike Tutorial in Rust -- from https://tomassedovic.github.io/roguelike-tutorial/☆12Jul 6, 2019Updated 7 years ago
- CodeMind is a generic framework for evaluating inductive code reasoning of LLMs. It is equipped with a static analysis component that ena…☆46Feb 18, 2026Updated 7 months ago