S

software-foundations

Settings | Report Duplicate

0

I Use This!

Inactive

Analyzed about 10 hours ago. based on code collected 1 day 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...

...
65% of companies leverage OSS to speed application development in 2016
...
learn about Open Hub updates and features on the Open Hub blog
...
nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
...
you can subscribe to e-mail newsletters to receive update from the Open Hub blog

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

Jul 18 2026 — Aug 17 2026

0 Commits
0 Contributors

12 Month Summary

Aug 17 2025 — Aug 17 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!