sergei-romanenko/staged-mrsc-agda

Staged multi-result supercompilation (a model in Agda)

GitHub repository with 12 stars and 2 forks.

Language: Agda

Open provider repository

Latest metric snapshot

2026-06-15: 12 stars and 2 forks.

Similar repositories

  1. 1. 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: univalent-foundations, agda, homotopy-type-theory, type-theory, constructive-mathematics, compact-type

  2. 2. 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

  3. 3. 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

  4. 4. 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. 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: univalent-foundations, agda, homotopy-type-theory, type-theory, constructive-mathematics, compact-type

  2. 2. 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

  3. 3. 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

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