Skip to content
@calfproject

Calf

A dependent type theory for modular development of cost and behavior.

Pinned Loading

  1. agda-calf agda-calf Public

    A cost-aware logical framework, embedded in Agda.

    Agda 80 5

Repositories

Showing 2 of 2 repositories
  • agda-calf Public

    A cost-aware logical framework, embedded in Agda.

    calfproject/agda-calf's past year of commit activity
    Agda 80 Apache-2.0 5 2 7 Updated Oct 26, 2026
  • calfproject.github.io Public
    calfproject/calfproject.github.io's past year of commit activity
    HTML 2 0 0 0 Updated Jul 22, 2026

Top languages

Agda HTML

Most used topics

Loading…