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

*
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

Licenses:
bsd_2clau...

*
Analyzed about 6 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

*
Analyzed about 12 hours ago
*

Qucs is a integrated circuit simulator for rapid development of analog and digital circuits and wide range of simulations.
DC, AC, S-parameter, noise and transient analysis are supported, mathematical equations and use of a subcircuit hierarchy are available. Digital circuit models and

*
Analyzed almost 2 years ago
*

The sigrok project aims at creating a portable, cross-platform, Free/Libre/Open-Source signal analysis software suite that supports various device types, such as logic analyzers, MSOs, oscilloscopes, multimeters, LCR meters, sound level meters, thermometers, anemometers, light meters, dataloggers

Licenses:
gpl, gpl3_or_l...

P

*
Analyzed about 13 hours ago
*

Pellet is an open source, OWL DL reasoner in Java developed and supported by Clark & Parsia, LLC.

*
Analyzed about 20 hours ago
*

The sigrok project aims at creating a portable, cross-platform, Free/Libre/Open-Source signal analysis software suite that supports various device types, such as logic analyzers, MSOs, oscilloscopes, multimeters, LCR meters, sound level meters, thermometers, anemometers, light meters, dataloggers

Licenses:
gpl3_or_l...

*
Analyzed about 10 hours 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

X

*
Analyzed almost 2 years ago
*

XSB is a Logic Programming and Deductive Database system for Unix and Windows. It is being developed at a number of institutions, including the Computer Science Department of Stony Brook University, Universidade Nova de Lisboa, XSB, Inc, Katholieke Universiteit Leuven, and Uppsala Universitet.

*
Analyzed about 14 hours ago
*

Why3 is the next generation of the Why software verification platform. Why3 clearly separates the purely logical specification apart from generation of verification conditions for programs. It features a rich library of proof task transformations that can be chained to produce a suitable input for a

*
Analyzed over 1 year ago
*

Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. Isabelle is developed at University of Cambridge (Larry Paulson) and Technical University of Munich (Tobias Nipkow).

Licenses:
BSD-3-Clause