Ecosyste.ms: Funds
An open API service for providing issue and pull request metadata for open source projects.
https://github.com/goldfirere/singletons
Last synced: about 24 hours ago
Repository metadata:
Fake dependent types in Haskell using singletons
- Host: GitHub
- URL: https://github.com/goldfirere/singletons
- Owner: goldfirere
- Created: 2012-11-26T17:31:46.000Z (almost 12 years ago)
- Default Branch: master
- Last Pushed: 2024-07-24T10:40:28.000Z (4 months ago)
- Last Synced: 2024-09-15T22:18:56.817Z (about 2 months ago)
- Language: Haskell
- Homepage:
- Size: 6.65 MB
- Stars: 286
- Watchers: 17
- Forks: 36
- Open Issues: 30
-
Metadata Files:
- Readme: README.md
Owner metadata:
- Name: Richard Eisenberg
- Login: goldfirere
- Email:
- Kind: user
- Description: I'm a language designer at @janestreet, focusing on type system improvements. I'm also a core contributor in the Haskell ecosystem.
- Website: https://richarde.dev/
- Location: Philadelphia, PA
- Twitter: RaeHaskell
- Company: @janestreet
- Icon url: https://avatars.githubusercontent.com/u/1958003?v=4
- Repositories: 24
- Last Synced at: 2023-04-03T19:42:17.666Z
- Profile URL: https://github.com/goldfirere
- Sponsor URL:
Committers metadata
Last synced: 2 days ago
Total Commits: 877
Total Committers: 23
Avg Commits per committer: 38.13
Development Distribution Score (DDS): 0.54
Commits in past year: 46
Committers in past year: 3
Avg Commits per committer in past year: 15.333
Development Distribution Score (DDS) in past year: 0.239
| Name | Commits | |
|---|---|---|
| Ryan Scott | r****t@g****m | 403 |
| Richard Eisenberg | e****r@c****u | 234 |
| Jan Stolarek | j****k@p****l | 130 |
| Richard Eisenberg | r****e@c****u | 32 |
| Index Int | v****6@g****m | 21 |
| Ryan Scott | r****t@g****m | 19 |
| Baldur Blöndal | b****t@g****m | 10 |
| Richard Eisenberg | e****r@s****u | 10 |
| Lukwago Allan | e****l@g****m | 2 |
| Matthew Bauer | m****5@g****m | 2 |
| Tom Ellis | t****t@j****k | 2 |
| Tristan Seligmann | m****i@m****t | 1 |
| Alexey Vagarenko | v****o@g****m | 1 |
| Christiaan Baaij | c****j@g****m | 1 |
| Gabor Greif | g****f@g****m | 1 |
| Greg Hale | I****g@g****m | 1 |
| Greg Steuck | b****o@g****m | 1 |
| Herbert Valerio Riedel | h****r@g****g | 1 |
| Justin Le | m****g@g****m | 1 |
| Richard Eisenberg | r****e@r****v | 1 |
| Roman S. Borschel | r****n@w****m | 1 |
| Takayuki Muranushi | m****i@g****m | 1 |
| howtonotwin | r****e@g****m | 1 |
Issue and Pull Request metadata
Last synced: 2 days ago
Package metadata
- Total packages: 3
-
Total downloads:
- hackage: 58,279 total
- Total dependent packages: 76 (may contain duplicates)
- Total dependent repositories: 294 (may contain duplicates)
- Total versions: 47
- Total maintainers: 2
hackage: singletons
singletons contains the basic types and definitions needed to support dependently typed programming techniques in Haskell. This library was originally presented in Dependently Typed Programming with Singletons, published at the Haskell Symposium, 2012. (https://richarde.dev/papers/2012/singletons/paper.pdf) singletons is intended to be a small, foundational library on which other projects can build. As such, singletons has a minimal dependency footprint and supports GHCs dating back to GHC 8.0. For more information, consult the singletons README. You may also be interested in the following related libraries: The singletons-th library defines Template Haskell functionality that allows promotion of term-level functions to type-level equivalents and singling functions to dependently typed equivalents. The singletons-base library uses singletons-th to define promoted and singled functions from the base library, including the Prelude.
- Homepage: http://www.github.com/goldfirere/singletons
- Licenses: BSD-3-Clause
- Latest release: 3.0.3 (published 6 months ago)
- Last Synced: 2024-11-08T01:34:50.211Z (2 days ago)
- Versions: 35
- Dependent Packages: 47
- Dependent Repositories: 248
- Downloads: 51,083 Total
-
Rankings:
- Dependent packages count: 0.639%
- Dependent repos count: 1.633%
- Downloads: 2.718%
- Average: 3.101%
- Stargazers count: 4.046%
- Forks count: 6.471%
- Maintainers (2)
hackage: singletons-th
singletons-th defines Template Haskell functionality that allows promotion of term-level functions to type-level equivalents and singling functions to dependently typed equivalents. This library was originally presented in Dependently Typed Programming with Singletons, published at the Haskell Symposium, 2012. (https://richarde.dev/papers/2012/singletons/paper.pdf) See also the paper published at Haskell Symposium, 2014, which describes how promotion works in greater detail: https://richarde.dev/papers/2014/promotion/promotion.pdf. singletons-th generates code that relies on bleeding-edge GHC language extensions. As such, singletons-th only supports the latest major version of GHC (currently GHC 9.10). For more information, consult the singletons README. You may also be interested in the following related libraries: The singletons library is a small, foundational library that defines basic singleton-related types and definitions. The singletons-base library uses singletons-th to define promoted and singled functions from the base library, including the Prelude.
- Homepage: http://www.github.com/goldfirere/singletons
- Licenses: BSD-3-Clause
- Latest release: 3.1.1 (published about 2 years ago)
- Last Synced: 2024-11-08T01:34:49.924Z (2 days ago)
- Versions: 6
- Dependent Packages: 7
- Dependent Repositories: 19
- Downloads: 3,806 Total
-
Rankings:
- Dependent packages count: 2.066%
- Stargazers count: 4.103%
- Forks count: 6.329%
- Dependent repos count: 12.76%
- Average: 14.57%
- Downloads: 47.591%
- Maintainers (1)
hackage: singletons-base
singletons-base uses singletons-th to define promoted and singled functions from the base library, including the Prelude. This library was originally presented in Dependently Typed Programming with Singletons, published at the Haskell Symposium, 2012. (https://richarde.dev/papers/2012/singletons/paper.pdf) See also the paper published at Haskell Symposium, 2014, which describes how promotion works in greater detail: https://richarde.dev/papers/2014/promotion/promotion.pdf. WARNING: singletons-base defines orphan instances for Sing, SingKind, etc. for common types such as Bool, [], Maybe, etc. If you define instances of these types in your code, you will likely not be able to use that code with singletons-base. singletons-base uses code that relies on bleeding-edge GHC language extensions. As such, singletons-base only supports the latest major version of GHC (currently GHC 9.10). For more information, consult the singletons README. You may also be interested in the following related libraries: The singletons library is a small, foundational library that defines basic singleton-related types and definitions. The singletons-th library defines Template Haskell functionality that allows promotion of term-level functions to type-level equivalents and singling functions to dependently typed equivalents.
- Homepage: http://www.github.com/goldfirere/singletons
- Licenses: BSD-3-Clause
- Latest release: 3.1.1 (published about 2 years ago)
- Last Synced: 2024-11-08T01:34:49.750Z (2 days ago)
- Versions: 6
- Dependent Packages: 22
- Dependent Repositories: 27
- Downloads: 3,390 Total
-
Rankings:
- Dependent packages count: 1.328%
- Stargazers count: 4.103%
- Forks count: 6.329%
- Dependent repos count: 10.094%
- Average: 14.597%
- Downloads: 51.133%
- Maintainers (1)
Dependencies
- actions/cache v2 composite
- actions/checkout v2 composite
- base ==4.17.*
- pretty *
- singletons ==3.0.*
- singletons-th >=3.1.2 && <3.2
- template-haskell ==2.19.*
- text >=1.2
- th-desugar ==1.14.*
- base ==4.17.* test
- bytestring >=0.10.9 test
- deepseq >=1.4.4 test
- filepath >=1.3 test
- process >=1.1 test
- singletons-base * test
- tasty >=1.2 test
- tasty-golden >=2.2 test
- text >=1.2 test
- turtle >=1.5 test
- base >=4.9 && <4.20
- base >=4.9 && <4.20 test
- singletons * test
- base ==4.19.*
- containers >=0.5
- ghc-boot-th *
- mtl >=2.2.1 && <2.4
- singletons ==3.0.*
- syb >=0.4
- template-haskell ==2.21.*
- th-desugar ==1.16.*
- th-orphans >=0.13.11 && <0.14
- transformers >=0.5.2