bonak

Settings | Report Duplicate

0

I Use This!

Activity Not Available

Analyzed about 2 months ago. based on code collected 3 months ago.

Project Summary

🧊 An indexed construction of truncated n-types

Tags

coq hott logic mathematics proving theorem

In a Nutshell, bonak...

...
has had 969 commits made by 2 contributors
representing 4,542 lines of code
...
is mostly written in coq
with a very low number of source code comments
...
has a well established, mature codebase
maintained by a small development team
with decreasing Y-O-Y commits
...
took an estimated 1 years of effort (COCOMO model)
starting with its first commit in August, 2019
ending with its most recent commit 7 months ago

Quick Reference

Code Locations:

https://github.com/artagnon/bonak

Similar Projects:

Ramkumar Ramachandra

Licenses

MIT

Permitted

Commercial Use

Modify

Distribute

Place Warranty

Use Patent Claims

Forbidden

Sub-License

Hold Liable

Required

Distribute Original

Disclose Source

Include Copyright

State Changes

Include License

Include Install Instructions

These details are provided for information only. No information here is legal advice and should not be used as such.

All Licenses

This Project has No vulnerabilities Reported Against it

Did You Know...

...
in 2016, 47% of companies did not have formal process in place to track OS code
...
data presented on the Open Hub is available through our API
...
55% of companies leverage OSS for production infrastructure
...
search using multiple tags to find exactly what you need

Code

Lines of Code

Activity

Commits per Month

Community

Contributors per Month

Languages

TeX/LaTeX	99%
2 Other	1%

30 Day Summary

Jan 2 2025 — Feb 1 2025

0 Commits
0 Contributors

12 Month Summary

Feb 1 2024 — Feb 1 2025

94 Commits
Down -9 (8%) from previous 12 months
2 Contributors
Down 0 (0%) from previous 12 months

Most Recent Contributors

...ar Ramachandra

Ratings

Be the first to rate this project

Click to add your rating

Review this Project!