coquand/unit

Unit: a small dependent type checker with Automath segments as modules, and with it a formalisation of a model of univalent type theory over posets and simplicial sets

GitHub repository with 6 stars and 1 forks.

Language: Haskell

Open provider repository

24h trend summary

Trending score 0.10, freshness score 0.90, stars gained not enough history, forks gained not enough history.

Latest metric snapshot

2026-11-15: 6 stars and 1 forks.

Similar repositories

  1. 1. jgm/pandoc-types

    types for representing structured documents

    GitHub repository with 123 stars and 68 forks.

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

    Language: Haskell

Trending in Haskell

  1. 1. jgm/pandoc-types

    types for representing structured documents

    GitHub repository with 123 stars and 68 forks.

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

    Language: Haskell