F

fsharp-logic-examples

Settings | Report Duplicate

0

I Use This!

Inactive

Analyzed about 1 hour ago. based on code collected about 1 hour ago.

Project Summary

Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.

Tags

No tags have been added

In a Nutshell, fsharp-logic-examples...

...
has had 465 commits made by 4 contributors
representing 29,318 lines of code
...
is mostly written in F#
with an average number of source code comments
...
has a codebase with a long source history
maintained by nobody
with stable Y-O-Y commits
...
took an estimated 7 years of effort (COCOMO model)
starting with its first commit in September, 2012
ending with its most recent commit over 8 years ago

Quick Reference

Homepage
Download

Code Locations:

https://github.com/jack-pappas/f...

Similar Projects:

Become the first manager for fsharp-logic-examples

This Project has No vulnerabilities Reported Against it

Did You Know...

...
use of OSS increased in 65% of companies in 2016
...
check out hot projects on the Open Hub
...
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

F#	98%
XML	2%

30 Day Summary

Jun 6 2025 — Jul 6 2025

0 Commits
0 Contributors

12 Month Summary

Jul 6 2024 — Jul 6 2025

0 Commits
0 Contributors

Most Recent Contributors

	Jack Pappas		Phan Anh Dung
	dungpa		Eric Taucher

Ratings

Be the first to rate this project

Click to add your rating

Review this Project!