hybrid

I Use This!

Activity Not Available

Analyzed about 4 years ago. based on code collected over 7 years ago.

Project Summary

We have made an implementation of the language Lambda-H, described in the
paper Hybrid Type Checking by Cormac Flanagan, which uses a hybrid type
checking system. We have tried to keep our implementation as close as possible
to the language defined in Flanagan's paper. The result should be seen as a
proof-of-concept, and an exercise in implementing a hybrid type checker for a
language with advanced type specifications.

In a Nutshell, hybrid...

...
has had 31 commits made by 3 contributors
representing 561 lines of code
...
is mostly written in Haskell
with a very low 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 1 years of effort (COCOMO model)
starting with its first commit in April, 2007
ending with its most recent commit over 7 years ago

Quick Reference

Become the first manager for hybrid

Licenses

BSD 3-clause "New" or "Revised" License

Permitted

Commercial Use

Place Warranty

Modify

Distribute

Forbidden

Use Trademarks

Hold Liable

Required

Include Copyright

Include License

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...

...
Black Duck offers a free trial so you can discover if there are open source vulnerabilities in your code
...
you can embed statistics from Open Hub on your site
...
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 locations have been removed since last analysis

At one point, Open Hub analyzed source code for this project based on code location(s) available at that time. Since then, the code locations have been removed.