Open Hub
Black Duck Open Hub

Tags : Browse Projects

Select a tag to browse associated projects and drill deeper into the tag cloud.

icarus-lang

Compare

  Analyzed about 21 hours ago

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 ... [More] traditional imperative style. Allows controlled mutation and aliasing, but only when both caller and callee agree to it. No global mutable state. [Less]

35.9K lines of code

1 current contributors

about 5 years since last commit

2 users on Open Hub

Inactive
0.0
 
0 Reviews
I Use This
Mostly written in C
Licenses: mit
Tags c compiled compiler development experimental garbage_collection genericprogramming intepreter interpreted language multipledispatch programming 6 more...