Ecosyste.ms: OpenCollective
An open API service for software projects hosted on Open Collective.
The Katzenpost software project:
github.com/katzenpost/crypt_walker
Lean and Rust based cryptographic protocol framework for formally proving protocol properties
https://github.com/katzenpost/crypt_walker
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: 3 days ago
JSON representation
Lean and Rust based cryptographic protocol framework for formally proving protocol properties
- Host: GitHub
- URL: https://github.com/katzenpost/crypt_walker
- Owner: katzenpost
- License: agpl-3.0
- Created: 2024-07-16T02:57:33.000Z (5 months ago)
- Default Branch: main
- Last Pushed: 2024-08-21T19:31:59.000Z (4 months ago)
- Last Synced: 2024-08-22T08:26:58.219Z (4 months ago)
- Language: Lean
- Size: 89.8 KB
- Stars: 2
- Watchers: 4
- Forks: 0
- Open Issues: 2
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Collective
2 +2
New Issues3 +3
New Pull Requests0
Closed Issues3 +3
Merged Pull Requests3 +3
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.