Agda-zh/PLFA-zh

《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版

GitHub repository with 221 stars and 24 forks.

Language: Haskell

Open provider repository

24h trend summary

Trending score 0.04, freshness score 0.00, stars gained +0, forks gained +0.

Latest metric snapshot

2026-11-02: 221 stars and 24 forks.

Similar repositories

  1. 1. jgm/pandoc-types

    types for representing structured documents

    GitHub repository with 123 stars and 68 forks.

    Trending score: 0.02; 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.02; stars gained: +0; forks gained: +0.

    Language: Haskell