Open Hub
Open Hub

Tags : Browse Projects

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

  • logic (145)

    SWI-Prolog

    Compare

      Analyzed 1 day 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]

    752K lines of code

    26 current contributors

    1 day since last commit

    27 users on Open Hub

    Very High Activity
    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 21 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]

    337K lines of code

    74 current contributors

    about 23 hours since last commit

    20 users on Open Hub

    Very High Activity
    4.875
       
    0 Reviews
    I Use This
    Mostly written in OCaml
    Licenses: lgpl
    Tags coq extraction functional functional_language language logic mathematics programming proof-assistant proof_assistant proving theorem 1 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]

    877K lines of code

    8 current contributors

    5 days since last commit

    10 users on Open Hub

    Moderate 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

    sigrok

    Compare

      No analysis available

    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]

    0 lines of code

    55 current contributors

    0 since last commit

    10 users on Open Hub

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

    libsigrok

    Compare

      Analyzed about 17 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]

    137K lines of code

    28 current contributors

    6 months since last commit

    6 users on Open Hub

    Very Low 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 1 day 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

    about 8 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 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 ... [More] , and close to conventional programming systems. Mercury addresses the problems of large-scale program development, allowing modularity, separate compilation, and numerous [Less]

    1M lines of code

    11 current contributors

    6 days since last commit

    4 users on Open Hub

    High Activity
    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

      No analysis available

    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.

    0 lines of code

    0 current contributors

    0 since last commit

    3 users on Open Hub

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

    Debian Science

    Compare

    Claimed by Debian No analysis available

    The main goal of the Debian Science project is to provide a system with all the most important free scientific software in each scientific field.

    0 lines of code

    0 current contributors

    0 since last commit

    3 users on Open Hub

    Activity Not Available
    4.0
       
    0 Reviews
    I Use This
    Mostly written in language not available
    Licenses: CoreSystemIV, Multiple_...
    Tags astronomy biology chemistry computeralgebrasystem dataacquisition debian engineering geography gridcomputing logic mathematics maths 6 more...

    fuzzylite

    Compare

      Analyzed about 17 hours ago

    fuzzylite is a cross-platform, free open-source fuzzy logic control library written in C++. Its goal is to allow you to easily create fuzzy logic controllers in a few steps utilizing object-oriented programming without requiring any third-party libraries.

    34.5K lines of code

    0 current contributors

    almost 4 years since last commit

    3 users on Open Hub

    Inactive
    5.0
     
    0 Reviews
    I Use This
    Mostly written in C++
    Licenses: commercia..., lgpv3_or_...
    Tags android artificial c++ control fuzzy inference intelligence ios java linux logic macosx 3 more...