C

core-to-isabelle

Settings | Report Duplicate

0

I Use This!

Inactive

Analyzed about 16 hours ago. based on code collected about 16 hours ago.

Project Summary

Translator from GHC Core to Isabelle/HOLCF

Tags

No tags have been added

In a Nutshell, core-to-isabelle...

...
has had 127 commits made by 5 contributors
representing 1,581 lines of code
...
is mostly written in OCaml
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 September, 2010
ending with its most recent commit over 13 years ago

Quick Reference

Code Locations:

https://github.com/atomb/core-to...

Similar Projects:

Become the first manager for core-to-isabelle

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
...
by exploring contributors within projects, you can view details on every commit they have made to that project
...
there are over 3,000 projects on the Open Hub with security vulnerabilities reported against them
...
search using multiple tags to find exactly what you need

Code

Lines of Code

Activity

Commits per Month

Community

Contributors per Month

Languages

OCaml	43%
Emacs Lisp	35%
Haskell	20%
2 Other	2%

30 Day Summary

Oct 18 2025 — Nov 17 2025

0 Commits
0 Contributors

12 Month Summary

Nov 17 2024 — Nov 17 2025

0 Commits
0 Contributors

Most Recent Contributors

	Jason Dagit		Aaron Tomb
	John Matthews		Caylee Hogg
	Brian Huffman

Ratings

Be the first to rate this project

Click to add your rating

Review this Project!