https://github.com/lambdageek/unbound-generics
bound ghc-generics haskell-library substitution unbound variable-binding
Last synced: about 1 month ago
Repository metadata:
Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
- Host: GitHub
- URL: https://github.com/lambdageek/unbound-generics
- Owner: lambdageek
- License: bsd-3-clause
- Created: 2014-08-01T22:47:06.000Z (over 10 years ago)
- Default Branch: main
- Last Pushed: 2024-03-21T00:42:21.000Z (9 months ago)
- Last Synced: 2024-10-29T20:37:25.636Z (about 2 months ago)
- Topics: bound, ghc-generics, haskell-library, substitution, unbound, variable-binding
- Language: Haskell
- Homepage: https://hackage.haskell.org/package/unbound-generics/
- Size: 298 KB
- Stars: 56
- Watchers: 5
- Forks: 18
- Open Issues: 18
-
Metadata Files:
- Readme: README.md
- Changelog: Changelog.md
- License: LICENSE
Owner metadata:
- Name: Aleksey Kliger (λgeek)
- Login: lambdageek
- Email:
- Kind: user
- Description: I believe that programmers are most efficient in languages with expressive type systems that can directly encode program invariants.
- Website: https://mastodon.social/@lambdageek
- Location: Boston, MA
- Twitter: lambdageek
- Company: @Microsoft
- Icon url: https://avatars.githubusercontent.com/u/480437?v=4
- Repositories: 15
- Last Synced at: 2023-03-11T11:45:41.856Z
- Profile URL: https://github.com/lambdageek
- Sponsor URL:
Committers metadata
Last synced: about 2 months ago
Total Commits: 186
Total Committers: 19
Avg Commits per committer: 9.789
Development Distribution Score (DDS): 0.285
Commits in past year: 8
Committers in past year: 3
Avg Commits per committer in past year: 2.667
Development Distribution Score (DDS) in past year: 0.25
| Name | Commits | |
|---|---|---|
| Aleksey Kliger | a****y@l****g | 133 |
| Reed Mullanix | r****x@g****m | 10 |
| Aleksey Kliger (λgeek) | a****r@g****m | 9 |
| Christiaan Baaij | c****j@g****m | 8 |
| Aleksey Kliger | a****r@b****m | 7 |
| Andreas Abel | a****l@i****e | 3 |
| Aleksey Kliger (λgeek) | a****g@m****m | 3 |
| Austin Erlandson | a****7@g****m | 2 |
| Jaro Reinders | n****e | 1 |
| The Gitter Badger | b****r@g****m | 1 |
| Adam Bergmark | a****m@b****l | 1 |
| Alex McKenna | a****a@o****m | 1 |
| Bohdan Liesnikov | b****v@g****m | 1 |
| Brent Yorgey | b****y@g****m | 1 |
| Emily Pillmore | e****i@c****y | 1 |
| Mark | l****y@b****u | 1 |
| Mark Lemay | r****y@g****m | 1 |
| Stephanie Weirich | s****h@s****u | 1 |
| Stephen Diehl | s****l@g****m | 1 |
Issue and Pull Request metadata
Last synced: about 1 month ago
Package metadata
- Total packages: 1
-
Total downloads:
- hackage: 13,811 total
- Total dependent packages: 4
- Total dependent repositories: 230
- Total versions: 19
- Total maintainers: 1
hackage: unbound-generics
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 an independent re-implementation of Unbound but using GHC.Generics instead of RepLib. See the accompanying README for some porting notes.
- Homepage: http://github.com/lambdageek/unbound-generics
- Licenses: BSD-3-Clause
- Latest release: 0.4.4 (published 9 months ago)
- Last Synced: 2024-11-11T01:36:59.386Z (about 1 month ago)
- Versions: 19
- Dependent Packages: 4
- Dependent Repositories: 230
- Downloads: 13,811 Total
-
Rankings:
- Dependent repos count: 1.775%
- Dependent packages count: 5.567%
- Average: 7.703%
- Forks count: 9.24%
- Stargazers count: 10.941%
- Downloads: 10.992%
- Maintainers (1)
Dependencies
- base * benchmark
- criterion >=1.0.0.1 benchmark
- deepseq >=1.3.0.0 benchmark
- deepseq >=1.4.0.0 benchmark
- deepseq-generics * benchmark
- unbound-generics * benchmark
- unix <=2.6.0.1 benchmark
- ansi-wl-pprint >=0.6.7.2 && <0.7
- base >=4.6 && <5
- containers >=0.5 && <0.7
- contravariant >=0.5
- deepseq >=1.3.0.0
- exceptions >=0.8 && <0.11
- mtl >=2.1
- profunctors >=4.0
- semigroups ==0.18.*
- template-haskell >=2.8.0.0
- transformers >=0.3
- transformers-compat >=0.3
- QuickCheck >=2.7 && <3 test
- base * test
- mtl * test
- tasty * test
- tasty-hunit * test
- tasty-quickcheck * test
- unbound-generics * test
- actions/cache v3 composite
- actions/checkout v3 composite
- haskell-actions/setup v2 composite