Open Hub
Black Duck Open Hub

Tags : Browse Projects

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

owner

Compare

  Analyzed 1 day ago

Get rid of the boilerplate code in properties based configuration.

12.3K lines of code

3 current contributors

5 days since last commit

10 users on Open Hub

Low Activity
5.0
 
0 Reviews
I Use This
Mostly written in Java
Licenses: BSD-3-Clause
Tags annotations config configuration development framework hotreload java library properties reflection typeinference variablesexpansion 1 more...

shedskin

Compare

  Analyzed about 14 hours ago

Shed Skin is an experimental compiler, that can translate pure, but implicitly statically typed Python programs into optimized C++. It can generate stand-alone programs or extension modules that can be imported and used in larger Python programs. Besides the typing restriction, programs cannot ... [More] freely use the Python standard library (although about 20 common modules, such as random and re, are currently supported). Also, not all Python features, such as nested functions and variable numbers of arguments, are supported (see the tutorial for details). For a set of 44 non-trivial test programs (at over 10,000 lines in total (sloccount)), measurements show a typical speedup of 2-40 times over Psyco, and 2-220 times over CPython. Because Shed Skin is still in an early stage of development, however, many other programs will not compile out-of-the-box. Shed Skin consists of only 5,300 lines of Python code (sloccount), and about 16,000 lines of C++ code (implementation of builtins and library modules). Unfortunately, there is still only one active developer, so please consider joining the project! [Less]

88.9K lines of code

4 current contributors

about 2 months since last commit

2 users on Open Hub

High Activity
0.0
 
0 Reviews
I Use This
Mostly written in Python
Licenses: gpl3_or_l...
Tags c compiler cplusplus llvm performance psyco pypy python rpython statictyping typeinference unladenswallow

Herschel

Compare

  Analyzed 1 day 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...

Whiley Compiler (WyC)

Compare

Claimed by Whiley Analyzed 1 day ago

Whiley is a programming language particularly suited to safety-critical systems. It is a hybrid object-oriented and functional programming language which employs extended static checking to eliminate errors at compile time, including divide-by-zero, array out-of-bounds and null dereference errors.

33.8K lines of code

1 current contributors

over 1 year since last commit

1 users on Open Hub

Very Low Activity
5.0
 
0 Reviews
I Use This
Mostly written in Java
Licenses: BSD-3-Clause
Tags compiler dsl flow_typing flowtyping functional functional_language functional_programming jvm language object_oriented programming_language programminglanguage 6 more...

mypy

Compare

  Analyzed 1 day ago

Optional static typing for Python 3 and 2 (PEP 484) .

721K lines of code

119 current contributors

2 days since last commit

1 users on Open Hub

High Activity
5.0
 
0 Reviews
I Use This
Mostly written in Python
Licenses: lgpl
Tags compiler language python static-analysis staticanalysis typechecking typeinference typesystem typing

Carp

Compare

  Analyzed about 10 hours ago

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

25.8K lines of code

21 current contributors

about 1 year since last commit

1 users on Open Hub

Very Low Activity
0.0
 
0 Reviews
I Use This
Mostly written in Haskell
Licenses: mozilla_p...
Tags compiler ffi high_performance inference interpreter language lisp memorymanagement ownership programming programming_language static 3 more...

Typpete

Compare

  Analyzed about 23 hours ago

19.3K lines of code

0 current contributors

over 5 years since last commit

0 users on Open Hub

Inactive
0.0
 
0 Reviews
I Use This
Mostly written in Python
Licenses: mozilla_p...
Tags python3 typeinference typing

Marv the Tinker

Compare

  Analyzed about 21 hours ago

A JavaScript-to-JavaScript compiler designed to simplify the writing, testing and maintenance of large JavaScript codebases. Marv is designed to be non-intrusive and features both static and early dynamic detection of numerous errors.

1.75K lines of code

0 current contributors

about 12 years since last commit

0 users on Open Hub

Inactive
0.0
 
0 Reviews
I Use This
Mostly written in JavaScript
Licenses: mozilla_p...
Tags compiler development dynamic-typing javascript objectoriented typeinference web

Autumn Programming Language

Compare

  Analyzed about 21 hours ago

Autumn is a multi-paradigm dynamically-compiled statically-typed programming language for the JVM.

44.9K lines of code

0 current contributors

8 months since last commit

0 users on Open Hub

Very Low Activity
0.0
 
0 Reviews
I Use This
Mostly written in Java
Licenses: apache_2
Tags compiler embeddable functional general_purpose interpreter jvm language modular multiparadigm multiple_dispatch object_oriented procedural 3 more...

Javarifier

Compare

  Analyzed about 18 hours ago

Javarifier divides the variables in a program into two groups: the variables the program mutates, and the variables that are never mutated. In other words, Javarifier infers the immutability of every reference in a Java program. Javarifier uses Javari's definition of immutability. Thus, Javarifier ... [More] converts Java programs and libraries to Javari. [Less]

242K lines of code

0 current contributors

about 7 years since last commit

0 users on Open Hub

Inactive
0.0
 
0 Reviews
I Use This
Mostly written in Java
Licenses: mit
Tags immutability java typeinference typesystem