Skip to content
Change the repository type filter

All

    Repositories list

    • SWI-Prolog WebAssembly build as a NPM package
      JavaScript
      Other
      442126Updated Nov 19, 2024Nov 19, 2024
    • The SWI-Prolog zlib compressed stream interface
      Prolog
      6400Updated Nov 18, 2024Nov 18, 2024
    • YAML reader and writer
      C
      6200Updated Nov 18, 2024Nov 18, 2024
    • The graphics toolkit for SWI-Prolog
      C
      141660Updated Nov 18, 2024Nov 18, 2024
    • Example DLL and windows registry access library
      C
      5400Updated Nov 18, 2024Nov 18, 2024
    • Provide Unicode normalization and info using utf8proc
      C
      Other
      4500Updated Nov 18, 2024Nov 18, 2024
    • The SWI-Prolog TIPC interface
      C
      5301Updated Nov 18, 2024Nov 18, 2024
    • The SWI-Prolog library for accessing structured files
      C
      5600Updated Nov 18, 2024Nov 18, 2024
    • Python interface for SWI-Prolog
      C
      64221Updated Nov 18, 2024Nov 18, 2024
    • Portable Qt-based console for SWI-Prolog by Carlo Capelli
      C++
      101020Updated Nov 18, 2024Nov 18, 2024
    • GNU-Emacs interface that embeds Prolog as an Emacs module
      Emacs Lisp
      BSD 2-Clause "Simplified" License
      51100Updated Nov 18, 2024Nov 18, 2024
    • STOMP client for message brokers
      Prolog
      3200Updated Nov 18, 2024Nov 18, 2024
    • The SWI-Prolog SSL interface
      C
      14540Updated Nov 18, 2024Nov 18, 2024
    • The SWI-Prolog SGML/XML/HTML parser
      C
      9550Updated Nov 18, 2024Nov 18, 2024
    • The SWI-Prolog RDF store
      Prolog
      1529260Updated Nov 18, 2024Nov 18, 2024
    • Redis client library
      Prolog
      4400Updated Nov 18, 2024Nov 18, 2024
    • GNU readline interface
      C
      4120Updated Nov 18, 2024Nov 18, 2024
    • An interface to Google Protocol Buffers (protobuf)
      Prolog
      7850Updated Nov 18, 2024Nov 18, 2024
    • The SWI-Prolog Unit Testing library
      Prolog
      13901Updated Nov 18, 2024Nov 18, 2024
    • The SWI-Prolog documentation system
      Prolog
      146130Updated Nov 18, 2024Nov 18, 2024
    • Pengines: Prolog engines
      Prolog
      1412131Updated Nov 18, 2024Nov 18, 2024
    • SWI-Prolog package for access to Perl Regular Expressions
      Prolog
      7590Updated Nov 18, 2024Nov 18, 2024
    • SWI-Prolog replicating key-value store
      Prolog
      5500Updated Nov 18, 2024Nov 18, 2024
    • The SWI-Prolog ODBC interface
      C
      4710Updated Nov 18, 2024Nov 18, 2024
    • The SWI-Prolog NLP support library (stemming, etc.)
      C
      5800Updated Nov 18, 2024Nov 18, 2024
    • Machine Query Interface
      Python
      618110Updated Nov 18, 2024Nov 18, 2024
    • SWI-Prolog LaTeX to HTML translation for the documentation
      Prolog
      6301Updated Nov 18, 2024Nov 18, 2024
    • Binding to BSD libedit command line editor
      C
      4100Updated Nov 18, 2024Nov 18, 2024
    • JPL: The Prolog <-> Java interface
      Java
      BSD 2-Clause "Simplified" License
      3354100Updated Nov 18, 2024Nov 18, 2024
    • Constraint solver for nonlinear (polynomial) constraints over reals
      Prolog
      4810Updated Nov 18, 2024Nov 18, 2024