icarus-lang

I Use This!

Inactive

Analyzed 2 days ago. based on code collected 3 days ago.

Project Summary

Programming language designed as an experiment to explore static verification of mutation contracts.

A hybrid imperative/functional language designed to explore the boundary between these 2 paradigms - trying to port some of the lessons and advantages from functional programming back to a more traditional imperative style.

Allows controlled mutation and aliasing, but only when both caller and callee agree to it.
No global mutable state.

Badges

In a Nutshell, icarus-lang...

...
has had 1,824 commits made by 1 contributors
representing 35,951 lines of code
...
is mostly written in C
with a very well-commented source code
...
has a codebase with a long source history
maintained by nobody
with stable Y-O-Y commits
...
took an estimated 9 years of effort (COCOMO model)
starting with its first commit in March, 2015
ending with its most recent commit almost 6 years ago

Quick Reference

Project Links:

Homepage

Code Locations:

https://github.com/mkfifo/icarus

Similar Projects:

Managers:

Chris Hall

Licenses

MIT License

Permitted

Commercial Use

Modify

Distribute

Sub-License

Private Use

Forbidden

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

...
in 2016, 47% of companies did not have formal process in place to track OS code
...
you can subscribe to e-mail newsletters to receive update from the Open Hub blog
...
use of OSS increased in 65% of companies in 2016
...
check out hot projects on the Open Hub