Ecosyste.ms: OpenCollective
An open API service for software projects hosted on Open Collective.
The Katzenpost software project:
github.com/katzenpost/CryptWalker
Lean cryptography library for prototyping/modeling protocols and proving protocol properties.
https://github.com/katzenpost/CryptWalker
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
Lean cryptography library for prototyping/modeling protocols and proving protocol properties.
- Host: GitHub
- URL: https://github.com/katzenpost/CryptWalker
- Owner: katzenpost
- License: agpl-3.0
- Created: 2024-08-25T02:44:57.000Z (4 months ago)
- Default Branch: main
- Last Pushed: 2024-09-14T02:18:31.000Z (3 months ago)
- Last Synced: 2024-12-17T05:28:34.572Z (6 days ago)
- Language: Lean
- Size: 192 KB
- Stars: 0
- Watchers: 4
- Forks: 0
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Collective
1 +1
New Issues1 +1
New Pull Requests0
Closed Issues1 +1
Merged Pull Requests1 +1
Closed Pull Requests1 +1
Issue AuthorsN/A
Time-to-Close Issues0
Not Merged PRs1 +1
Pull Request Authors0.0hrs +0.0
Time-to-Close PRs0.0hrs +0.0
Time-to-Merge PRs1 +1
MaintainersIssues
No commits found within this period.