GitHub / CatalaLang / dates-calc
Formally specified computations on dates
JSON API: https://data.code.gouv.fr/api/v1/hosts/GitHub/repositories/CatalaLang%2Fdates-calc
Stars: 12
Forks: 1
Open issues: 1
License: apache-2.0
Language: F*
Size: 689 KB
Dependencies parsed at:
10
Created at: almost 3 years ago
Updated at: 6 days ago
Pushed at: 6 days ago
Last synced at: 6 days ago
.github/workflows/workflow.yml
actions
- 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
- mypy *
- typer [all]
- types-termcolor *
- typing *
- typing-extensions *