Open Hub
Black Duck Open Hub

Tags : Browse Projects

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

SWI-Prolog

Compare

  Analyzed about 5 hours ago

SWI-Prolog is a comprehensive implementation of the Prolog programming language. It provides robust multi-threading, supports many document formats and protocols as well as interfaces to other programming languages. It includes a powerful HTTP server framework. The online version ... [More] (http://swish.swi-prolog.org) is completely written in Prolog and allows programming in your browser. [Less]

746K lines of code

26 current contributors

2 days since last commit

27 users on Open Hub

Very High Activity
4.72727
   
0 Reviews
I Use This
Mostly written in C
Licenses: bsd_2clau...
Tags logic programming-language Prolog webservice

FSharp

Compare

  Analyzed about 17 hours ago

F# is a programming language that provides support for functional programming in addition to traditional object-oriented and imperative (procedural) programming. The Visual F# product provides support for developing F# applications and extending other .NET Framework applications by using F# code. F# ... [More] is a first-class member of the .NET Framework languages and retains a strong resemblance to the ML family of functional languages. http://msdn.microsoft.com/en-us/fsharp [Less]

870K lines of code

7 current contributors

over 2 years since last commit

6 users on Open Hub

Inactive
5.0
 
0 Reviews
I Use This
Mostly written in F#
Licenses: apache_2
Tags dotnet f# functional-programming programming-language

Charm++

Compare

  No analysis available

A portable adaptive runtime system for parallel applications. Application developers create an object-based decomposition of the problem of interest, and the runtime system manages issues of communication, mapping, load balancing, fault tolerance, and more. Sequential code implementing the ... [More] methods of these parallel objects is written in C++. Calls to libraries in C++, C, and Fortran are common and straightforward. Charm++ is portable across individual workstations, clusters, accelerators (Cell SPEs, GPUs), and supercomputers such as those sold by IBM (Blue Gene, POWER) and Cray (XT3/4/5/6 and XE6). Applications based on Charm++ are used on at least 5 of the 20 most powerful computers in the world. [Less]

0 lines of code

18 current contributors

0 since last commit

4 users on Open Hub

Activity Not Available
0.0
 
0 Reviews
I Use This
Mostly written in language not available
Licenses: illinois-...
Tags bluegene bluegenel bluegenep bluegeneq c c++ cplusplus cray cray-xt cross-platform library parallel 26 more...

Elm-lang

Compare

  Analyzed 1 day ago

Compiler for the Elm programming language. Elm aims to make web development more pleasant. Elm is a type-safe, functional reactive language that compiles to HTML, CSS, and JavaScript.

36.1K lines of code

1 current contributors

6 months since last commit

1 users on Open Hub

Very Low Activity
0.0
 
0 Reviews
I Use This
Mostly written in Haskell
Licenses: BSD-3-Clause
Tags compiler css functional html javascript programming-language reactive type-safe web

helen-llvm

Compare

  Analyzed about 14 hours ago

Helen language compiler and interpreter based on LLVM.

1.96K lines of code

1 current contributors

over 5 years since last commit

1 users on Open Hub

Inactive
0.0
 
0 Reviews
I Use This
Mostly written in C++
Licenses: mit
Tags compiledlanguage compiler llvm-frontend programming-language

PyvaScript

Compare

  No analysis available

A simpler and more readable JavaScript syntax inspired by Python. Removes JavaScript's annoying bug sources: forgotten "var", semicolons, etc. Uses indentation and has multi-line lambdas.

0 lines of code

0 current contributors

0 since last commit

1 users on Open Hub

Activity Not Available
0.0
 
0 Reviews
I Use This
Mostly written in language not available
Licenses: bsd
Tags javascript language programming-language programminglanguage python syntax

Agda 2

Compare

  Analyzed about 13 hours ago

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

144K lines of code

0 current contributors

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

Ciao Programming Language

Compare

  Analyzed 4 months ago

Ciao is a LGPL licensed, extensible, next generation Prolog system, offering a programming environment with plenty of capabilities and libraries. Too many to be listed here.

332K lines of code

8 current contributors

9 months since last commit

1 users on Open Hub

Activity Not Available
0.0
 
0 Reviews
I Use This
Mostly written in Prolog
Licenses: No declared licenses
Tags compiler constraints logic programming-language Prolog virtual-machine

carbon-lang

Compare

  Analyzed about 18 hours ago

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

58.1K lines of code

0 current contributors

1 day since last commit

0 users on Open Hub

High Activity
0.0
 
0 Reviews
I Use This
Mostly written in C++
Licenses: No declared licenses
Tags c++ carbon carbon-lang clang compiler c-replacement llvm llvm-frontend programming-language programminglanguage standard-library