Open Hub
Black Duck Open Hub

Tags : Browse Projects

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

SWI-Prolog

Compare

  Analyzed 5 months 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]

704K lines of code

26 current contributors

5 months since last commit

27 users on Open Hub

Activity Not Available
4.72727
   
0 Reviews
I Use This
Mostly written in C
Licenses: bsd_2clau...
Tags logic programming-language Prolog webservice

Coq proof assistant

Compare

  Analyzed about 23 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 ... [More] check these proofs by a relatively small certification "kernel". [Less]

475K lines of code

74 current contributors

3 days since last commit

20 users on Open Hub

Very High Activity
4.875
   
0 Reviews
I Use This
Mostly written in coq
Licenses: lgpl
Tags coq extraction functional functional_language language logic mathematics programming proof_assistant proving theorem

sigrok

Compare

  Analyzed almost 3 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 ... [More] , function generators, power supplies, GPIB interfaces, and more. [Less]

168K lines of code

55 current contributors

almost 3 years since last commit

10 users on Open Hub

Activity Not Available
3.66667
   
0 Reviews
I Use This
Mostly written in C
Licenses: gpl, gpl3_or_l...
Tags analyzer buspirate decoder gui hardware i2c libusb libzip logic logicanalyzer openbench probes 8 more...

Qucs

Compare

  Analyzed 1 day 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 ... [More] simulations are supported thanks to integration with FreeHDL and Icarus Verilog. Output is may be presented with wide variety of graph and tabular charts. The package consists of two utilities: Qucs, elegant and powerfull GUI for designing and simulating circuits, with point-and-click interface, based on Qt® by Digia®. Qucsator, a command line circuit simulator. It takes a network list in a certain format as input and outputs a Qucs dataset. May also be used by applications other than [Less]

462K lines of code

8 current contributors

about 1 year since last commit

10 users on Open Hub

Very Low Activity
4.66667
   
0 Reviews
I Use This
Mostly written in TypeScript
Licenses: gpl
Tags analog circuit digital electronics hardware logic modeling qt simulation simulator verilog vhdl

libsigrok

Compare

  Analyzed about 2 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 ... [More] , function generators, power supplies, GPIB interfaces, and more. libsigrok is a shared library written in C which provides the basic API for talking to hardware and reading/writing the acquired data into various input/output file formats. [Less]

124K lines of code

28 current contributors

17 days since last commit

6 users on Open Hub

Moderate Activity
5.0
 
0 Reviews
I Use This
Mostly written in C
Licenses: gpl3_or_l...
Tags analyzer buspirate c datalogger decoder dmm embedded firmware hardware library logic logicanalyzer 8 more...

Pellet

Compare

  Analyzed about 3 hours ago

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

410K lines of code

0 current contributors

over 5 years since last commit

5 users on Open Hub

Inactive
4.75
   
0 Reviews
I Use This
Mostly written in Java
Licenses: AGPL3
Tags descriptionlogic dl java logic ontology owl owl2 owlapi owldl reasoner semanticweb

Mercury Language

Compare

  Analyzed 5 months 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]

966K lines of code

11 current contributors

5 months since last commit

4 users on Open Hub

Activity Not Available
4.33333
   
0 Reviews
I Use This
Mostly written in Matlab
Licenses: gpl
Tags compiler cross-platform functional functional_language language logic logicalprogramming multi-platform programming_language research

XSB

Compare

  Analyzed almost 3 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.

228K lines of code

0 current contributors

over 9 years since last commit

3 users on Open Hub

Activity Not Available
5.0
 
0 Reviews
I Use This
Mostly written in C
Licenses: gpl
Tags declarative logic prolog

Why3

Compare

  Analyzed 5 months 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 ... [More] large set of theorem provers, including SMT solvers, TPTP provers, as well as interactive proof assistants. [Less]

552K lines of code

23 current contributors

5 months since last commit

3 users on Open Hub

Activity Not Available
5.0
 
0 Reviews
I Use This
Mostly written in Ruby
Licenses: lgpl
Tags logic programming verification

Isabelle

Compare

  Analyzed over 2 years 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).

312K lines of code

17 current contributors

over 2 years since last commit

2 users on Open Hub

Activity Not Available
5.0
 
0 Reviews
I Use This
Mostly written in OCaml
Licenses: BSD-3-Clause
Tags logic math proof