gallais / agdarsec

Total Parser Combinators in Agda

gallais
gallais
Date Created 2017-03-14 (8 years ago)
Commits 95 (last one about a year ago)
Stargazers 126 (0 this week)
Watchers 3 (0 this week)
Forks 11
License gpl-3.0
Ranking

RepositoryStats indexes 632,768 repositories, of these gallais/agdarsec is ranked #261,561 (59th percentile) for total stargazers, and #417,530 for total watchers. Github reports the primary language for this repository as Agda, for repositories using this language it is ranked #13/40.

Other Information

gallais/agdarsec has Github issues enabled, there are 4 open issues and 8 closed issues.

There have been 9 releases, the latest one was published on 2021-07-23 (3 years ago) with the name Providing an entrypoint free of level-polymorphism.

Homepage URL: https://gallais.github.io/agdarsec/

Star History

Github stargazers over time

1401401201201001008080606040402020002018201820192019202020202021202120222022202320232024202420252025

Watcher History

Github watchers over time, collection started in '23

4444443.53.533333320232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Recent Commit History

3 commits on the default branch (master) since jan '22

332.52.5221.51.5110.50.500Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Yearly Commits

Commits to the default branch (master) per year

45454040353530302525202015151010550020172017201820182019201920202020202120212022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
12121010886644220020192019202020202021202120222022202320232024202420252025

Languages

The primary language is Agda but there's also others...

AgdaAgdaMakefileMakefile

updated: 2025-03-07 @ 11:58am, id: 84888363 / R_kgDOBQ9LKw