Tags : Browse Projects

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

HUGS

Compare

  Analyzed 11 months ago

81.3K lines of code

0 current contributors

over 10 years since last commit

20 users on Open Hub

Activity Not Available
4.8
   
I Use This
Licenses: No declared licenses

Coq proof assistant

Compare

  Analyzed about 1 month 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]

421K lines of code

28 current contributors

4 months since last commit

16 users on Open Hub

Activity Not Available
4.85714
   
I Use This

Xen Project (XAPI)

Compare

  Analyzed about 1 year 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]

535K lines of code

50 current contributors

almost 3 years since last commit

8 users on Open Hub

Activity Not Available
5.0
 
I Use This

NIP2

Compare

  Analyzed about 1 month 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]

174K lines of code

2 current contributors

4 months since last commit

5 users on Open Hub

Activity Not Available
5.0
 
I Use This

Rascal MPL

Compare

  Analyzed 7 months 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.

403K lines of code

14 current contributors

8 months since last commit

5 users on Open Hub

Activity Not Available
5.0
 
I Use This

Mercury Language

Compare

  Analyzed about 1 month 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]

821K lines of code

5 current contributors

4 months since last commit

4 users on Open Hub

Activity Not Available
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.

95.1K lines of code

10 current contributors

4 months since last commit

3 users on Open Hub

Activity Not Available
5.0
 
I Use This

Lout batch document formatting system

Compare

  Analyzed 8 months 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

almost 7 years since last commit

2 users on Open Hub

Activity Not Available
5.0
 
I Use This

AspectFun

Compare

  Analyzed 11 months ago

A compiler which translated AspectFun program into Haskell.

17K lines of code

0 current contributors

almost 8 years since last commit

1 users on Open Hub

Activity Not Available
0.0
 
I Use This

fun4j

Compare

  Analyzed about 1 month ago

fun4j brings functional programming to the JVM. It's a framework that integrates major concepts from functional programming into the Java Platform. At its core there is a lambda-to-JVM bytecode compiler. Thanks to optimization techniques like tail code optimization (TCO) the compiler produces ... [More] code that runs as fast as hand optimized Java code. The compiler uses the excellent Java bytecode assembler ASM On top of this compiler you'll find a functional Java framework featuring higher order functions, partial application, support for Collections and Iterators, lambda terms, closures, etc. It's possible to define functions as lambda terms in classical LISP syntax. This avoids all the Java boilerplate code and thus improves code readability. LISP and java code are highly interoperable. [Less]

55K lines of code

0 current contributors

over 3 years since last commit

1 users on Open Hub

Activity Not Available
0.0
 
I Use This