icarus-lang

I Use This!

Inactive

Analyzed about 4 hours ago. based on code collected about 7 hours 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 about 5 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...

...
use of OSS increased in 65% of companies in 2016
...
by exploring contributors within projects, you can view details on every commit they have made to that project
...
nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
...
search using multiple tags to find exactly what you need