This is stars and forks stats for /snu-sf/paco repository. As of 26 Apr, 2024 this repository has 38 stars and 10 forks.
Paco: Coq library for Parametric Coinduction Paco is a Coq library for parametric coinduction. For more information, please see: Chung-Kil Hur, Georg Neis, Derek Dreyer and Viktor Vafeiadis. The power of parameterization in coinductive proof. POPL 2013. Yannick Zakowski, Paul He, Chung-Kil Hur and Steve Zdancewic. An equational theory for weak bisimulation via generalized parameterized coinduction. CPP 2020. Paco also supports upto techniques using "companion". See: Damien Pous. Coinduction...
Paco: Coq library for Parametric Coinduction Paco is a Coq library for parametric coinduction. For more information, please see: Chung-Kil Hur, Georg Neis, Derek Dreyer and Viktor Vafeiadis. The power of parameterization in coinductive proof. POPL 2013. Yannick Zakowski, Paul He, Chung-Kil Hur and Steve Zdancewic. An equational theory for weak bisimulation via generalized parameterized coinduction. CPP 2020. Paco also supports upto techniques using "companion". See: Damien Pous. Coinduction...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
coq-community/lemma-overloading | CoqJavaScriptCSS | 26 | 0 | 6 | 0 |
samih93/e_commerce_app | DartOther | 63 | 0 | 28 | 0 |
jyotirmoy-paul/planets | DartC++CMake | 85 | 0 | 32 | 0 |
smarttang/w3a_SOC | PythonDockerfileShell | 276 | 0 | 157 | 0 |
radix-ai/poetry-cookiecutter | DockerfilePython | 139 | 0 | 17 | 0 |
emacs-ess/ESS | Emacs LispROther | 606 | 0 | 181 | 0 |
alfonsogarciacaro/Feliz.Solid | F#Other | 48 | 0 | 1 | 0 |
lanl/Fierro | GLSLC++Other | 13 | 0 | 10 | 0 |
livekit/livekit | GoOther | 5.8k | 0 | 475 | 0 |
apache/incubator-devlake | GoTypeScriptPython | 2.2k | +8 | 406 | +3 |