Skip to content
@Benchify

Benchify

Bug-free code without tests

Popular repositories Loading

  1. benchify-examples benchify-examples Public

    Examples illustrating effective use of Benchify. Also, a playground for us to test out new/unusual use-cases ...

    Python 2 1

  2. benchify-sdk benchify-sdk Public

    TypeScript 1

  3. benchify-sdk-python benchify-sdk-python Public

    Python 1

  4. benchify-licenses benchify-licenses Public

    All the licenses for software used by Benchify

    Python

  5. fixer-demo-repo fixer-demo-repo Public

    JavaScript

  6. fly-user-env-api-proxy fly-user-env-api-proxy Public

    Forked from fly-apps/user-env-api

    TypeScript

Repositories

Showing 10 of 12 repositories
  • formalize-python Public
    Benchify/formalize-python’s past year of commit activity
    Python 0 Apache-2.0 0 0 0 Updated Mar 17, 2026
  • docs Public
    Benchify/docs’s past year of commit activity
    MDX 0 MIT 0 0 0 Updated Mar 16, 2026
  • benchify-sdk Public
    Benchify/benchify-sdk’s past year of commit activity
    TypeScript 1 Apache-2.0 0 0 2 Updated Mar 3, 2026
  • benchify-sdk-python Public
    Benchify/benchify-sdk-python’s past year of commit activity
    Python 1 Apache-2.0 0 0 1 Updated Feb 25, 2026
  • lean-fuzz-experiments Public

    Early experiments fuzzing the Lean theorem-prover.

    Benchify/lean-fuzz-experiments’s past year of commit activity
    Lean 0 0 8 2 Updated Feb 12, 2026
  • rlm_benchmark Public

    Are RLMs good at coding? We decided to investigate. (WIP)

    Benchify/rlm_benchmark’s past year of commit activity
    Python 0 0 0 0 Updated Feb 9, 2026
  • catala Public Forked from CatalaLang/catala

    Programming language for literate programming law specification

    Benchify/catala’s past year of commit activity
    OCaml 0 Apache-2.0 97 0 0 Updated Jan 9, 2026
  • AST-Utils Public

    Some AST-manipulation utils for Python

    Benchify/AST-Utils’s past year of commit activity
    Python 0 Apache-2.0 0 0 0 Updated Nov 18, 2025
  • fly-user-env-api-proxy Public Forked from fly-apps/user-env-api
    Benchify/fly-user-env-api-proxy’s past year of commit activity
    TypeScript 0 2 0 0 Updated May 30, 2025
  • fixer-demo-repo Public
    Benchify/fixer-demo-repo’s past year of commit activity
    JavaScript 0 0 0 0 Updated Apr 23, 2025
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Most used topics

Loading…
Developer Program Member