Science & Engineering Software

OS OS

  • More...

Category Category

    • More...

License License

    • More...

Translations Translations

  • More...

Programming Language Programming Language

  • More...

Status Status

  • More...

Audience Audience

User Interface User Interface

  • More...

Database Environment Database Environment

Freshness Freshness

Science & Engineering Software

  • PubNub: Realtime APIs, Global Infrastructure PubNub: Realtime APIs, Global Infrastructure Icon
    PubNub: Realtime APIs, Global Infrastructure Icon

    Harness the power of PubNub’s programmable APIs and robust global network to power realtime chat, geolocation, IoT, multiplayer games, and more.

    The realtime revolution is upon us. Users want data, and they want it now. Deliver the immersive, interactive experiences your audience craves with PubNub. Get to market quickly with pre-built SDKs, integrations, and serverless computing at the edge; then scale on a global network that delivers any message in under a quarter of a second with five 9’s reliability guaranteed.
  • Focus on your Business with an integrated Business Cloud Focus on your Business with an integrated Business Cloud Icon
    Focus on your Business with an integrated Business Cloud Icon

    Reliable & Secure Communications Systems

    • 90+ features: video, file management, cloud phones
    • 99.999% financially backed uptime SLA
    • Expert support, certified by J.D. Power 2 years in a row
  • ECLiPSe CLP Icon

    ECLiPSe CLP

    ECLiPSe Constraint Logic Programming System

    The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques.

  • XSB Icon

    XSB

    Logic Programming and Deductive Database system (Tabled Prolog) for Unix and Windows.

    Downloads: 19 This Week Last Update: See Project
  • OpenSHORE

    OpenSHORE is an XML based Semantic Document Repository (SDR) with a free definable meta model that builds up a semantic network from sections and relations in documents. The acronym SHORE means Semantic Hypertext Object Repository.

    Downloads: 7 This Week Last Update: See Project
  • PESS - Prolog Expert System Shell

    The Prolog Expert System Shell (PESS) is a software that generates ES using basically two components: Knowledge Base, used by the ES to guide its decisions making, and Inference Machine, cable of collection the rules and generating new facts.

    Downloads: 5 This Week Last Update: See Project
  • DLog

    DLog is an Description Logic ABox reasoner that uses resolution. The basic idea is that a DL knowledge base is transformed into a Prolog program without any knowledge on the content of the ABox. The answers are obtained during normal Prolog execution.

    Downloads: 3 This Week Last Update: See Project
  • Monitor your Cisco ASA like an expert Monitor your Cisco ASA like an expert Icon
    Monitor your Cisco ASA like an expert Icon

    See how Network Insight™ for Cisco® ASA, a feature of SolarWinds Network Performance Monitor and Network Configuration Manager, can help.

    Get visibility into the health and performance of your entire Cisco ASA environment in a single dashboard. View VPN tunnel status and monitor firewall high availability, health, and readiness. Automatically discover and filter within ACLs, show rule hit counts, and detect shadow and redundant rules. Automate the monitoring and management of your ASA infrastructure in a fully integrated solution. Try it free for 30 days!
  • JinnIde

    JinnIde is a plugin that allows using Jinni Prolog, now also hosted here on this site (with open source license!), within the confines of an IDE integrated in JEdit.

    Downloads: 1 This Week Last Update: See Project
  • TinyCog

    Cognitive architecture with a focus on self-models

    TinyCog is a cognitive architecture (perception, action, reasoning, planning, and language) with a focus on representing "self-models" (physical, capabilities, intentions, social, historical, "cognitive stream") in order to implement social reasoning and collaborative planning in a "hunter domain" test bed. We use Prolog, RDF Triples, Description Logic and a HTN-Planner as base technologies.

    Downloads: 1 This Week Last Update: See Project
  • Voko-iloj de Reta Vortaro

    This is software to create web dictionaries, esp. for Esperanto like Reta Vortaro (http://reta-vortaro.de). A dictionary is made from articles written in a special XML dialect by transformations using XSLT, ant and some Java code.

  • pyclp

    PyCLP is a Python library to interface ECLiPSe Constraint System

    PyCLP is a Python library to interface ECLiPSe Constraint Programmig System. This module try to implement a pythonic interface to ECLiPSe ( http://www.eclipseclp.org ) by compromising on a little bit on performance.

    Downloads: 1 This Week Last Update: See Project
  • Card Raytracer Benchmark

    Short C++/Java/C#/Python benchmark

    This is a short C++/Java/C#/Python benchmark. Based on Paul Heckbert's sources. Thank you Paul!

    Downloads: 0 This Week Last Update: See Project
  • Focus on Business Growth with a VoIP Solution Focus on Business Growth with a VoIP Solution Icon
    Focus on Business Growth with a VoIP Solution Icon

    Cloud Phone Service. Built for Business.

    • Over 50 business-class features
    • Easy setup. Professional installation.
    • CRM integration
  • CommGen: Component Integration Platform

    The CommGen platform is intended to be a simple, scalable integration platform for small to medium problem sets. The architecture is simple, consisting of a distributed kernel, distributed O/S, agent and application layer.

    Downloads: 0 This Week Last Update: See Project
  • CxProlog plugin for Code::Blocks IDE

    A plugin for Code::Blocks IDE to support CxProlog.

    Downloads: 0 This Week Last Update: See Project
  • DarlandPhilosophy

    Dennis J. Darland's Philosophy

    Representation of my philosophy (currently limited to philosophy of language) in the languages Prolog or Life. These languages must be acquired separately and Ruby is also needed. However the main purpose is to show how some philosophy problems can be solved. The source code and output are sufficient for that.

    Downloads: 0 This Week Last Update: See Project
  • F-OWL

    Implemented in Flora-2/XSB, F-OWL is an inference engine for the standard Web Ontology Language OWL. A set of Java API is provided for applications to assert and query OWL ontology statements.

  • Fishell - a front end to your system she

    Fi-shell is a front-end to your system shell. It provides nonblocking i/o (concurrency) and pattern maching that is both easy to remember and readable (logic programming)

    Downloads: 0 This Week Last Update: See Project
  • LogicMOO Simulated World

    Use a language CycL or KIF to represent shared ontological integration with a first person MOO system to provide debugging and agent facilities.

    Downloads: 0 This Week Last Update: See Project
  • Network Agents

    A group of systems for building network-oriented intelligent agents, consisting an agent communications infrastructure, April - an agent construction programming language, Go! - a logic programming language and DialoX - an XML-based user interface engine

    Downloads: 0 This Week Last Update: See Project
  • Object Oriented Prolog

    Oopl (rhymes with "scruple") is an object-oriented extension for Prolog. This kernel now lets you write Prolog programs making use of all the advantages of working with classes, instances, attributes and service-like predicates.

    Downloads: 0 This Week Last Update: See Project
  • PVN

    PVN evaluates logical formula in a user defined n-valued semantics. Current efforts are aimed at fleshing out the port to GNU\'s prolog environment. Possible uses include embedding into a public domain knowledge base for a defeasible reasoning system.

    Downloads: 0 This Week Last Update: See Project
  • Prolog Image Processing

    Prolog Image Processing is a (initially) MacOS based extension to OpenProlog which allows to use image processing function in the context of Prolog.

    Downloads: 0 This Week Last Update: See Project
  • Pythagoras 3D Interactive Geometry

    Pythagoras is a dynamic geometry software, providing construction, evaluation, manipulation and visualization of geometric objects in 2D and 3D eucledian space. Natural Language support, Smart Agent.

    Downloads: 0 This Week Last Update: See Project
  • Regulus

    Regulus is a Prolog-based toolkit for building spoken dialogue systems.

    Downloads: 0 This Week Last Update: See Project
  • Resolution of anaphora in Portuguese

    Tool for linguists and computer scientists interested in natural language processing (NLP) and related areas. It implements the Centering theory with proved extensions that enhance anaphora resolution for Portuguese documents.

    Downloads: 0 This Week Last Update: See Project
  • SLIE agent modelling software

    The SLIE agent modelling software allows researchers in MAS (Multi-Agent Systems) to build simulations of MASes with a view to exploring design problems relating to scalability and robustness using techniques from ecology, biology and economics.

    Downloads: 0 This Week Last Update: See Project
  • STALEMATE KDD Lab Icon

    STALEMATE KDD Lab

    The project provides an incubator for intelligent agent-assisted, AR gaming-oriented BI applications generated through the STALEMATE Knowledge-based System Design Environment (KBSDE), integrating Web-enabled knowledge bases, data mining and warehousing and directed at asset management and investment banking.

    Downloads: 0 This Week Last Update: See Project
  • Previous
  • You're on page 1
  • 2
  • Next

Get latest updates about Open Source Projects, Conferences and News.

No, Thank you