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 77 4

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 77 Apache-2.0 4 2 4 Updated Feb 23, 2026
  • calfproject.github.io Public
    calfproject/calfproject.github.io’s past year of commit activity
    HTML 2 0 0 0 Updated Feb 21, 2026

Top languages

Loading…

Most used topics

Loading…