https://github.com/catalalang/dates-calc
Formally specified computations on dates
Science Score: 36.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
○CITATION.cff file
-
✓codemeta.json file
Found codemeta.json file -
✓.zenodo.json file
Found .zenodo.json file -
○DOI references
-
○Academic publication links
-
✓Committers with academic emails
2 of 5 committers (40.0%) from academic institutions -
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (6.0%) to scientific vocabulary
Keywords from Contributors
Repository
Formally specified computations on dates
Basic Info
- Host: GitHub
- Owner: CatalaLang
- License: apache-2.0
- Language: F*
- Default Branch: main
- Homepage: https://catalalang.github.io/dates-calc/dates_calc/Dates_calc/Dates/index.html
- Size: 672 KB
Statistics
- Stars: 12
- Watchers: 6
- Forks: 1
- Open Issues: 2
- Releases: 1
Metadata Files
README.md
A date calculation library
Aim
This library handles dates (YYYY-MM-DD) and periods (in days, months and years). It provides operators on dates and periods. The addition of dates and periods containing months or years is a tricky case that may require roundings. We have taken special care to define those rounding operators and expose different rounding modes for users.
This library is a work in progress. You can find the library's description in lib/dates.mli. There are also a Python and C implementations (which correspond to ports of the OCaml implementation).
The full semantics of the library has been formalized and is available in the related ESOP 2024 paper Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law.
Installation
Just run opam install dates_calc or opam install . if you've cloned the git repository.
Building the documentation
The documentation can be built with dune build @doc, and is then available in doc/odoc.html.
Owner
- Name: CatalaLang
- Login: CatalaLang
- Kind: organization
- Repositories: 4
- Profile: https://github.com/CatalaLang
GitHub Events
Total
- Issues event: 2
- Issue comment event: 2
- Push event: 17
- Pull request review event: 8
- Pull request review comment event: 4
- Pull request event: 4
- Create event: 5
Last Year
- Issues event: 2
- Issue comment event: 2
- Push event: 17
- Pull request review event: 8
- Pull request review comment event: 4
- Pull request event: 4
- Create event: 5
Committers
Last synced: over 1 year ago
Top Committers
| Name | Commits | |
|---|---|---|
| Aymeric Fromherz | a****z@i****r | 17 |
| Raphaël Monat | r****t@l****r | 11 |
| Denis Merigoux | d****x@g****m | 9 |
| Raphaël Monat | r****t@i****r | 7 |
| Louis Gesbert | l****t@o****m | 5 |
Committer Domains (Top 20 + Academic)
Issues and Pull Requests
Last synced: over 1 year ago
All Time
- Total issues: 2
- Total pull requests: 3
- Average time to close issues: 13 days
- Average time to close pull requests: 7 days
- Total issue authors: 2
- Total pull request authors: 2
- Average comments per issue: 1.0
- Average comments per pull request: 1.67
- Merged pull requests: 3
- Bot issues: 0
- Bot pull requests: 0
Past Year
- Issues: 2
- Pull requests: 2
- Average time to close issues: 13 days
- Average time to close pull requests: 7 days
- Issue authors: 2
- Pull request authors: 1
- Average comments per issue: 1.0
- Average comments per pull request: 2.5
- Merged pull requests: 2
- Bot issues: 0
- Bot pull requests: 0
Top Authors
Issue Authors
- rmonat (1)
- AltGr (1)
Pull Request Authors
- AltGr (3)
- rmonat (2)
- vincent-botbol (2)
- rprimet (1)
Top Labels
Issue Labels
Pull Request Labels
Dependencies
- actions/cache v1 composite
- actions/checkout v3 composite
- actions/setup-python v4 composite
- ocaml/setup-ocaml v2 composite
- peaceiris/actions-gh-pages v3.9.3 composite