|6 months ago||2 months ago|
|GNU General Public License v3.0 only||GNU General Public License v3.0 only|
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Record dot syntax has been merged
8 projects | reddit.com/r/haskell | 10 Mar 2021
I've shared my experiences, too, though I don't have specific examples. I find https://hackage.haskell.org/package/parsec-22.214.171.124/docs/src/Text.Parsec.Prim.html mush easier to read, modify, and use than https://github.com/gallais/agdarsec/blob/master/src/Text/Parser.agda . That's a specific example.
What are some examples of non-trivial proofs written in Agda that I might read?
1 project | reddit.com/r/agda | 2 Oct 2021
What are some alternatives?
idris - A Dependently Typed Functional Programming Language
24-days-of-purescript-2016 - 24 Days of PureScript, 2016
ghc-proposals - Proposed compiler and language changes for GHC and GHC/Haskell
julia - The Julia Programming Language
agda-life - Conway's Game of Life in Agda.