Tags : Browse Projects

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

HUGS

Compare

  Analyzed 28 days ago

81.3K lines of code

0 current contributors

over 12 years since last commit

20 users on Open Hub

Inactive
4.8
   
I Use This
Licenses: No declared licenses

Coq proof assistant

Compare

  Analyzed 14 days ago

Coq is a formal proof management system: a proof done with Coq is mechanically checked by the machine. In particular, Coq allows: * to define functions or predicates, * to state mathematical theorems and software specifications, * to develop interactively formal proofs of these theorems, * to ... [More] check these proofs by a relatively small certification "kernel". [Less]

425K lines of code

74 current contributors

14 days since last commit

18 users on Open Hub

Very High Activity
4.85714
   
I Use This

Xen Project (XAPI)

Compare

  Analyzed 27 days ago

The Xen Project is a Linux Foundation Collaborative Project that focusses on the development and support of the Xen open source hypervisor and related components, developed and designed to run with the Linux platform. It includes the Xen Hypervisor, the Xen ARM Hypervisor, XAPI and Mirage OS. This ... [More] page covers the XAPI toolstack. The project develops the enterprise ready XAPI toolstack. Xen used with the XAPI toolstack consolidates server workloads, enables savings in power, cooling, and management costs and thus contributing to environmentally sustainable computing, an increased ability to adapt to ever-changing IT environments, an optimized use of existing hardware, and an improved level of IT reliability. [Less]

404K lines of code

44 current contributors

27 days since last commit

8 users on Open Hub

High Activity
5.0
 
I Use This

NIP2

Compare

  Analyzed 19 days ago

nip2, the "free love child of Photoshop and Excel," is the GUI of vips. You don't directly edit images --- instead, like a spreadsheet, you build relationships between objects. nip2 actively manages these relationships: if you change an object property, the change is propagated "spreadsheet-style." ... [More] Like vips, nip2 is fast and needs little memory. You can comfortably work with multi-gigabyte images on very modest hardware. In addition to the visual programming interface accessible through the GUI, nip2 has command-line and batch modes. It even has its own functional programming language (for writing extensions). [Less]

176K lines of code

1 current contributors

9 months since last commit

6 users on Open Hub

Very Low Activity
5.0
 
I Use This

Rascal MPL

Compare

  Analyzed 18 days ago

Rascal is a domain specific language for source code analysis and manipulation a.k.a. meta-programming. It is currently being developed and tested at CWI. No formal release has been made yet, but there are alpha quality previews available.

329K lines of code

12 current contributors

19 days since last commit

5 users on Open Hub

Moderate Activity
5.0
 
I Use This

Mercury Language

Compare

  Analyzed 8 days ago

Mercury is a logic/functional programming language, which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features. Its highly optimized execution algorithm delivers efficiency far in excess of existing logic programming systems ... [More] , and close to conventional programming systems. Mercury addresses the problems of large-scale program development, allowing modularity, separate compilation, and numerous [Less]

934K lines of code

11 current contributors

14 days since last commit

4 users on Open Hub

High Activity
4.33333
   
I Use This

Frege

Compare

  Analyzed about 1 month ago

Frege is a non-strict, pure functional programming language in the spirit of Haskell. The main difference to Haskell is that Frege programs are compiled to Java and run in a JVM. Existing Java Classes and Methods can be used seamlessly from Frege.

98.1K lines of code

5 current contributors

about 2 months since last commit

3 users on Open Hub

Activity Not Available
5.0
 
I Use This

Lout batch document formatting system

Compare

  Analyzed 13 days ago

Lout is a batch document formatter. It reads a high-level description of a document similar in style to LaTeX and produces a PostScript file which can be printed on most laser printers. Plain text and PDF output are also available.

34.7K lines of code

0 current contributors

about 9 years since last commit

2 users on Open Hub

Inactive
5.0
 
I Use This

Ela, functional language

Compare

  Analyzed 28 days ago

Ela is a modern programming language that runs on CLR and Mono. The language is dynamically (and strongly) typed and comes with a rich and extensible type system out of box. It provides an extensive support for the functional programming paradigm including but not limited to - first class ... [More] functions, first class currying and composition, list/array comprehensions, pattern matching, polymorphic variants, thunks, etc. It also provides some imperative programming features. Ela supports both strict and non-strict evaluation but is strict by default. The current language implementation is a light-weight and efficient interpreter written fully in C#. The interpreter was designed to be embeddable and has a clear and straightforward API. [Less]

0 lines of code

0 current contributors

0 since last commit

2 users on Open Hub

Activity Not Available
5.0
 
I Use This
Mostly written in language not available
Licenses: gpl

Open Server Platform

Compare

  Analyzed 18 days ago

Open Server Platform (OSP) is a system to abstract away all the boilerplate code from developing scalable server daemons designed to run on multiple machines. It allows developers to just focus on writing the server logic in a XML file using Erlang syntax which then gets run by OSP on a number of machines, replicating state between them.

3.91K lines of code

0 current contributors

over 9 years since last commit

1 users on Open Hub

Inactive
4.5
   
I Use This