Trending Agda Projects

This page lists the top trending Agda projects based on the growth of GitHub stars.
It is updated once every day. The last update was on 15 Apr 2024.
» Get a weekly report « straight in your inbox. Every Friday.

Top 5 Trending Agda Projects

  • agda2hs

    Compiling Agda code to readable Haskell

  • cubical

    An experimental library for Cubical Agda

  • agda-stdlib

    The Agda standard library

  • agda-categories

    A new Categories library for Agda

  • Agda

    Agda formalisation of the Introduction to Homotopy Type Theory (by HoTT-Intro)

ABOUT: The growth percentage is calculated as the increase in the number of stars compared to the previous month. We list only projects that have at least 500 stars and a GitHub organization logo set.

Index

What are some of the trending open-source Agda projects? This list will help you:

Project Growth
1 agda2hs 2.4%
2 cubical 2.1%
3 agda-stdlib 2.0%
4 agda-categories 1.4%
5 Agda 0.0%