Select a tag to browse associated projects and drill deeper into the tag cloud.
icarus-lang
Analyzed about 4 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
Licenses:
mit
joynr
No analysis available
joynr is a web-based communication framework for applications wanting to interact with other applications, no matter whether they're deployed on consumer devices, vehicles, or backend infrastructure.
joynr makes writing distributed applications easy, as it:
* takes care of determining the most
Mostly written in language not available
Licenses:
apache_2
Carp
Analyzed about 2 hours ago
A statically typed lisp, without a GC, for high performance applications.
Licenses:
mozilla_p...
MODELED Python
M
Analyzed 4 months ago
MODELED Objects Damn Easily Load and Emit Data
Licenses:
lgpv3_or_...
Lydrige
L
Analyzed about 23 hours ago
Lydrige is a simple statically typed interpreted programming language inspired by lisp. It supports all major platforms including Windows, Mac, Linux, and FreeBSD and is written in C. It is a work-in-progress. It doesn't support many things yet, but it does support: functions, variables, arrays