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

Repositories

Showing 2 of 2 repositories
  • calfproject.github.io Public
    calfproject/calfproject.github.io’s past year of commit activity
    1 0 0 0 Updated Feb 6, 2026
  • agda-calf Public

    A cost-aware logical framework, embedded in Agda.

    calfproject/agda-calf’s past year of commit activity
    Agda 75 Apache-2.0 4 2 4 Updated Nov 7, 2025

Top languages

Loading…

Most used topics

Loading…