Open Hub
Open Hub

Tags : Browse Projects

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

SWI-Prolog

Compare

  Analyzed about 13 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]

766K lines of code

26 current contributors

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

Julia Programming Language

Compare

  Analyzed about 4 hours ago

The Julia Language: A fresh approach to technical computing.

375K lines of code

264 current contributors

about 20 hours since last commit

18 users on Open Hub

Very High Activity
5.0
 
0 Reviews
I Use This
Mostly written in Ruby
Licenses: mit
Tags dynamic hpc jit julia language machine-learning multi_platform numerical programming programming-language science scientific

FSharp

Compare

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

almost 5 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...

Ciao Programming Language

Compare

  Analyzed about 2 years 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

over 2 years since last commit

2 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

metta-wam

Compare

  Analyzed 1 day ago

A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine

761K lines of code

0 current contributors

11 months since last commit

1 users on Open Hub

Very Low Activity
5.0
 
0 Reviews
I Use This
Mostly written in Prolog
Licenses: lgplv3-st...
Tags compiler programming-language Prolog SingularityNET swi-prolog

Herschel

Compare

  Analyzed about 6 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 10 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...

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

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

7 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 15 hours ago

Helen language compiler and interpreter based on LLVM.

1.96K lines of code

1 current contributors

over 7 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