S

software-foundations

Settings | Report Duplicate

0

I Use This!

Inactive

Analyzed 1 day ago. based on code collected 2 days ago.

Project Summary

Software Foundations in Idris

Tags

coq idris proof_assistant proofs textbook

In a Nutshell, software-foundations...

...
has had 227 commits made by 5 contributors
representing 615 lines of code
...
is mostly written in Nix
with a very low number of source code comments
...
has a young, but established codebase
maintained by nobody
with stable Y-O-Y commits
...
took an estimated 1 years of effort (COCOMO model)
starting with its first commit in June, 2016
ending with its most recent commit almost 8 years ago

Quick Reference

Code Locations:

https://github.com/idris-hackers...

Similar Projects:

This Project has No vulnerabilities Reported Against it

Did You Know...

...
nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
...
you can embed statistics from Open Hub on your site
...
in 2016, 47% of companies did not have formal process in place to track OS code
...
check out hot projects on the Open Hub

Code

Lines of Code

Activity

Commits per Month

Community

Contributors per Month

Languages

TeX/LaTeX	29%
HTML	25%
Nix	15%
4 Other	31%

30 Day Summary

Aug 22 2026 — Sep 21 2026

0 Commits
0 Contributors

12 Month Summary

Sep 21 2025 — Sep 21 2026

0 Commits
0 Contributors

Most Recent Contributors

	Eric Bailey		Erlend Hamberg
	...Muijnck-Hughes		Alex Gryzlov
	Anton Trunov

Ratings

Be the first to rate this project

Click to add your rating

Review this Project!