Ecosyste.ms: OpenCollective
An open API service for software projects hosted on Open Collective.
The Katzenpost software project:
github.com/katzenpost/formal_specifications
formal specifications
https://github.com/katzenpost/formal_specifications
Project activity
New Projects: 0
New Releases: 0
New Issues: 0
New Pull Requests: 0
Closed Issues: 0
Merged Pull Requests: 0
Closed Pull Requests: 0
Issue Authors: 0
Pull Request Authors: 0
Active Maintainers: 0
Time to close issues:
N/A
Time to merge pull requests:
N/A
Time to close pull requests:
N/A
Commit Stats
Commits: 0
Commit Authors: 0
Commit Committers: 0
Additions: 0
Deletions: 0
Last synced: 1 day ago
JSON representation
formal specifications
- Host: GitHub
- URL: https://github.com/katzenpost/formal_specifications
- Owner: katzenpost
- License: gpl-3.0
- Created: 2023-05-15T21:10:38.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2024-02-22T22:54:04.000Z (10 months ago)
- Last Synced: 2024-04-14T11:01:14.639Z (8 months ago)
- Language: TLA
- Size: 63.5 KB
- Stars: 1
- Watchers: 5
- Forks: 0
- Open Issues: 1
-
Metadata Files:
- License: LICENSE