24h trend summary

Trending score 0.83, freshness score 1.00, stars gained +2, forks gained +0.

Latest metric snapshot

2026-06-15: 7 stars and 0 forks.

Similar repositories

  1. 1. H-Yulong/TEAL

    Meta-theory of TEAL

    GitHub repository with 7 stars and 0 forks.

    Trending score: 0.83; stars gained: +2; forks gained: +0.

    Language: Agda

  2. 2. martinescardo/TypeTopology

    Logical manifestations of topological concepts, and other things, via the univalent point of view.

    GitHub repository with 279 stars and 56 forks.

    Trending score: 0.63; stars gained: +1; forks gained: +0.

    Language: Agda

    Topics: agda, compact-type, constructive-mathematics, homotopy-type-theory, injective-type, ordinal

  3. 3. samtoth/agda-synthetic-categories

    An agda library for developing synthetic category theory - and other synthetic mathematics

    GitHub repository with 27 stars and 8 forks.

    Trending score: 0.55; stars gained: +0; forks gained: +0.

    Language: Agda

  4. 4. coquand/agda-godel-tree

    A formalisation in Agda of Godel's Theorem

    GitHub repository with 7 stars and 1 forks.

    Trending score: 0.41; stars gained: +0; forks gained: +0.

    Language: Agda

  5. 5. szumixie/mltt

    Martin-Löf type theory as a QIIT in Agda (postulated OTT) + canonicity

    GitHub repository with 5 stars and 1 forks.

    Trending score: 0.00; stars gained: +0; forks gained: +0.

    Language: Agda

Trending in Agda

  1. 1. H-Yulong/TEAL

    Meta-theory of TEAL

    GitHub repository with 7 stars and 0 forks.

    Trending score: 0.83; stars gained: +2; forks gained: +0.

    Language: Agda

  2. 2. martinescardo/TypeTopology

    Logical manifestations of topological concepts, and other things, via the univalent point of view.

    GitHub repository with 279 stars and 56 forks.

    Trending score: 0.63; stars gained: +1; forks gained: +0.

    Language: Agda

    Topics: agda, compact-type, constructive-mathematics, homotopy-type-theory, injective-type, ordinal

  3. 3. samtoth/agda-synthetic-categories

    An agda library for developing synthetic category theory - and other synthetic mathematics

    GitHub repository with 27 stars and 8 forks.

    Trending score: 0.55; stars gained: +0; forks gained: +0.

    Language: Agda

  4. 4. coquand/agda-godel-tree

    A formalisation in Agda of Godel's Theorem

    GitHub repository with 7 stars and 1 forks.

    Trending score: 0.41; stars gained: +0; forks gained: +0.

    Language: Agda

  5. 5. szumixie/mltt

    Martin-Löf type theory as a QIIT in Agda (postulated OTT) + canonicity

    GitHub repository with 5 stars and 1 forks.

    Trending score: 0.00; stars gained: +0; forks gained: +0.

    Language: Agda