Select a tag to browse associated projects and drill deeper into the tag cloud.
Coq proof assistant
Analyzed about 16 hours 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
Licenses:
lgpl
Xen Project (XAPI)
Analyzed 41 minutes 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
Licenses:
lgpl21le
NIP2
Analyzed about 4 hours 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."
Rascal MPL
No analysis available
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.
Mostly written in language not available
Licenses:
eclipse
Mercury Language
Analyzed 1 day 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
Frege
Analyzed 1 day 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.
Lout batch document formatting system
L
No analysis available
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.
Mostly written in language not available
Licenses:
gpl3
Whiley Compiler (WyC)
Claimed by Whiley Analyzed about 1 hour 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.
Licenses:
BSD-3-Clause
Open Server Platform
O
Analyzed 1 day 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.