Tags : Browse Projects

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

icarus-lang

Compare

  Analyzed 24 days 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

over 3 years since last commit

2 users on Open Hub

Inactive
0.0
 
I Use This

joynr

Compare

  Analyzed about 2 months ago

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 ... [More] appropriate communication paradigm to talk with the desired end point * provides a simple application programming interface to the joynr framework * speeds up integration of new applications ... allowing you to focus solely on your application. [Less]

225K lines of code

18 current contributors

over 3 years since last commit

1 users on Open Hub

Activity Not Available
0.0
 
I Use This

Carp

Compare

  Analyzed 1 day ago

A statically typed lisp, without a GC, for high performance applications.

25.6K lines of code

21 current contributors

4 months since last commit

1 users on Open Hub

Low Activity
0.0
 
I Use This

MODELED Python

Compare

  Analyzed almost 2 years ago

MODELED Objects Damn Easily Load and Emit Data

3.63K lines of code

0 current contributors

almost 7 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This

MODELED.netconf

Compare

  Analyzed almost 2 years ago

Highly Pythonized NETCONF and YANG

2.16K lines of code

0 current contributors

over 6 years since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This

php-arrayof

Compare

  No analysis available

PHP_ArrayOfClass for strongly-typed array/collection/list and to get control over what can be added to it. InstallationCan be installed through PEAR: pear channel-discover pear.11abacus.com pear install 11abacus/PHP_ArrayOf

0 lines of code

0 current contributors

0 since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: bsd

Lydrige

Compare

  Analyzed 3 months 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 ... [More] (called lists, they are not dynamic), input from user, outputting to the screen (printing), strings and chars, etc. [Less]

28.3K lines of code

0 current contributors

over 4 years since last commit

0 users on Open Hub

Activity Not Available
5.0
 
I Use This

Strongly Typed Url Generator

Compare

  No analysis available

The UrlGenerator tool is used to generate strongly typed Urls according to the website directory. So you could navigate to a URL or receive the request parameters safely. The project is developed based on C# and ASP.NET 2.0.

0 lines of code

0 current contributors

0 since last commit

0 users on Open Hub

Activity Not Available
0.0
 
I Use This
Mostly written in language not available
Licenses: No declared licenses

BType

Compare

  Analyzed 19 days ago

A compiled JavaScript-like language

12.9K lines of code

0 current contributors

over 5 years since last commit

0 users on Open Hub

Inactive
5.0
 
I Use This