This is stars and forks stats for /lambdageek/unbound-generics repository. As of 11 May, 2024 this repository has 54 stars and 17 forks.
unbound-generics Support for programming with names and binders using GHC Generics. Summary Specify the binding structure of your data type with an expressive set of type combinators, and unbound-generics handles the rest! Automatically derives alpha-equivalence, free variable calculation, capture-avoiding substitution, and more. See Unbound.Generics.LocallyNameless to get started. This is a reimplementation of (parts of) unbound but using GHC generics instead of RepLib. Examples Some examples are...
unbound-generics Support for programming with names and binders using GHC Generics. Summary Specify the binding structure of your data type with an expressive set of type combinators, and unbound-generics handles the rest! Automatically derives alpha-equivalence, free variable calculation, capture-avoiding substitution, and more. See Unbound.Generics.LocallyNameless to get started. This is a reimplementation of (parts of) unbound but using GHC generics instead of RepLib. Examples Some examples are...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| sweirich/pi-forall | HaskellMakefile | 513 | 0 | 87 | 0 |
| xdanx/le-cycling | HaskellShell | 0 | 0 | 0 | 0 |
| sifive/Kami | CoqHaskellOther | 189 | 0 | 12 | 0 |
| Gabriella439/defaultable-map | Haskell | 15 | 0 | 1 | 0 |
| sifive/RiscvSpecFormal | HaskellShellC++ | 72 | 0 | 7 | 0 |
| AidanDelaney/Mira | Haskell | 4 | 0 | 3 | 0 |
| digital-asset/ghc | HaskellCMakefile | 9 | 0 | 4 | 0 |
| github/deli | HaskellOther | 166 | 0 | 9 | 0 |
| nabilhassein/scheme-interpreter | Haskell | 1 | 0 | 0 | 0 |
| ProjectDimlight/RuCalculus | Haskell | 61 | 0 | 3 | 0 |