Admin message

Scheduled rate-limit preview window: between 15:00 and 19:00 UTC on 7 October, the new limits will be briefly active so you can see how your workloads are affected. They are live only during this window, and apply permanently from 19 October. Learn more.

E
executable specifications for AI-generated code

  • Any
  • Batchfile
  • Blade
  • C
  • C#
  • C++
  • CMake
  • CSS
  • Dockerfile
  • Go
  • HCL
  • HTML
  • Java
  • JavaScript
  • Kotlin
  • Makefile
  • Objective-C
  • PHP
  • Python
  • Ruby
  • SCSS
  • Shell
  • Swift
  • TSX
  • TypeScript
  • Vue

Projects with this topic

Sort by:
  • Sort by
  • Updated date
  • Name
  • Name, descending
  • Oldest updated
  • Oldest created
  • Last created
  • Most stars
  • Hide archived projects
  • Show archived projects
  • Show archived projects only
  • View contractme project

    Léo GERMOND / contractme

    A lightweight and adaptable framework for design-by-contract in python.

    Design by co... Python code-quality code quality contracts Python desig... runtime veri... preconditions postconditions executable s... executable s... lightweight lightweight ... beginner-fri... developer-tools tools devtool safety type-safety
    1
    Updated Oct 07, 2026
    1 0 0 48
    Updated Oct 07, 2026