kontroli-rs
Alternative implementation of the logical framework Dedukti in Rust
GPL-3.0 License
Ecosystems:
Rust
Commit Statistics
Past Year
All Time
Total Commits
71
742
Total Committers
3
3
Avg. Commits Per Committer
23.67
247.33
Bot Commits
8
8
Issue Statistics
Past Year
All Time
Total Pull Requests
2
10
Merged Pull Requests
2
10
Total Issues
2
5
Time to Close Issues
1 day
4 months
Package Rankings
Top 23.81% on Crates.io
Badges
Extracted from project README
