Open Hub
Black Duck Open Hub

Tags : Browse Projects

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

Play! framework

Compare

  Analyzed about 21 hours ago

Discover a clean alternative to bloated enterprises Java stacks. Play! focuses on developer productivity and targets RESTful architectures.

237K lines of code

97 current contributors

7 days since last commit

75 users on Open Hub

High Activity
4.82353
   
2 Reviews
I Use This
Mostly written in Java
Licenses: apache_2
Tags agile akka async framework groovy java jvm mvc netty restful scala slick 5 more...

Rust (programming language)

Compare

Claimed by Mozilla Foundation Analyzed 1 day ago

Rust is a systems programming language that runs blazingly fast, prevents almost all crashes, and eliminates data races. It provides both high-level features and low-level control: algebraic data types, pattern matching, closures, type inference, zero-cost abstractions, guaranteed memory safety ... [More] , optional garbage collection, concurrency without data races, minimal runtime, efficient FFI. [Less]

1.85M lines of code

640 current contributors

1 day since last commit

54 users on Open Hub

Very High Activity
4.78947
   
0 Reviews
I Use This
Mostly written in Rust
Licenses: apache_2, mit
Tags compiledlanguage development genericprogramming language llvm programming programming_language rust static statictyping systemsprogramming typesafe 1 more...

icarus-lang

Compare

  Analyzed about 15 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...

eggs-variant

Compare

  Analyzed 1 day ago

Eggs.Variant is a C++11/14 generic, type-safe, discriminated union.

7.81K lines of code

0 current contributors

about 6 years since last commit

1 users on Open Hub

Inactive
0.0
 
0 Reviews
I Use This
Mostly written in C++
Licenses: boost
Tags c++ generic typesafe union variant

ponyc

Compare

  Analyzed about 15 hours ago

Pony is an open-source, object-oriented, actor-model, capabilities-secure, high performance programming language

112K lines of code

48 current contributors

3 days since last commit

1 users on Open Hub

Moderate Activity
0.0
 
0 Reviews
I Use This
Mostly written in C
Licenses: BSD-2-Clause
Tags actor_model actors capabilities compiler concurrency language languages object_oriented parallel programming programming_language typesafe 2 more...

Agda 2

Compare

  Analyzed about 20 hours ago

Agda is a dependently typed programming language / interactive theorem prover.

144K lines of code

0 current contributors

2 days since last commit

1 users on Open Hub

High Activity
0.0
 
0 Reviews
I Use This
Mostly written in Haskell
Licenses: lgpl
Tags compiler dependent-types programming-language proof-assistant typesafe

Herschel

Compare

  Analyzed about 2 hours ago

Heather is an general-purpose multiparadigm programming language. It is strongly typed, offering type inference and parametric polymorphism ("generics"). It is consequently object oriented (everything is a object, even functions), while its consequent multiple dispatch approach keeps a strong ... [More] functional touch. The object model is class-oriented, supporting multiple inheritance as well as the separation of types ("protocols", "interfaces") and classes. The grammar is regular, small, and (mostly) context free. In particular it can be parsed without symbol tables, and does not require a special preprocessor since it offers powerful hygienic macros as part of the language and special support for conditional compilation. [Less]

107K lines of code

0 current contributors

over 8 years since last commit

1 users on Open Hub

Inactive
0.0
 
0 Reviews
I Use This
Mostly written in C++
Licenses: BSD-3-Clause
Tags closure compiledlanguage compiler dynamic-typing functional_programming genericprogramming generics herschel llvm macros modules multiple_dispatch 7 more...

Object Query

Compare

  Analyzed 1 day ago

Object Query a java way to write type safe and refactor resistent query

12.5K lines of code

0 current contributors

over 9 years since last commit

1 users on Open Hub

Inactive
0.0
 
0 Reviews
I Use This
Mostly written in Java
Licenses: apache_2
Tags database development hibernate java jdo jdoql jpa jpql orientdb persistence querybuilder querycreator 1 more...

java-sql-generator

Compare

  Analyzed 1 day ago

The java-sql-generator is a framework to generate syntactically correct SQL statements with Java language. It provides uniform, typesafe, and (reasonably) easy way to create SQL statements using provided API's. It is specifically designed to handle even really complex SQL clauses. In fact, the API's ... [More] were designed by looking at SQL 99 BNF ( http://savage.net.au/SQL/sql-99.bnf.html ) in one monitor, and creating the corresponding Java API in another monitor. However, there are many things omitted from automated BNF conversion, so that API would remain usable and simple. [Less]

13.6K lines of code

0 current contributors

almost 11 years since last commit

0 users on Open Hub

Inactive
0.0
 
0 Reviews
I Use This
Mostly written in Java
Licenses: apache_2
Tags api builder builderpattern derby dsl fluent fluentinterface java javadb linq mysql postgresql 3 more...