coquand/agda-godel-tree

24h trend summary

Trending score 0.41, freshness score 0.80, stars gained +0, forks gained +0.

Latest metric snapshot

2026-06-15: 7 stars and 1 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