gallais / generic-syntax

A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs

gallais
gallais
Date Created 2017-03-31 (7 years ago)
Commits 548 (last one 3 years ago)
Stargazers 72 (0 this week)
Watchers 5 (0 this week)
Forks 11
License gpl-3.0
Ranking

RepositoryStats indexes 630,459 repositories, of these gallais/generic-syntax is ranked #383,051 (39th percentile) for total stargazers, and #323,396 for total watchers. Github reports the primary language for this repository as Agda, for repositories using this language it is ranked #20/40.

Other Information

gallais/generic-syntax has Github issues enabled, there is 1 open issue and 1 closed issue.

There have been 1 release, the latest one was published on 2019-03-29 (5 years ago) with the name CoCoDo release.

Homepage URL: https://gallais.github.io/generic-syntax/Generic.html

Star History

Github stargazers over time

80807070606050504040303020201010002018201820192019202020202021202120222022202320232024202420252025

Watcher History

Github watchers over time, collection started in '23

7777666666555520232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Recent Commit History

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

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

Yearly Commits

Commits to the default branch (master) per year

25025020020015015010010050500020172017201820182019201920202020202120212022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
2222111111000020222022Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Languages

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

AgdaAgdaHaskellHaskellShellShellMakefileMakefileDockerfileDockerfile

updated: 2025-03-11 @ 09:46am, id: 86833225 / R_kgDOBSz4SQ