9 projects for "logic programming" with 2 filters applied:

  • The Receptionist for iPad | the Original Visitor Management System Icon
    The Receptionist for iPad | the Original Visitor Management System

    Easily keep track of visitors and say goodbye to time-wasting interruptions with The Receptionist for iPad

    The Receptionist for iPad is visitor management software that allows users to calm the chaos of the front office. Our digital check-in solution is customizable to your needs; from your company branding, to configurable buttons and drag-and-drop-design badge printing. Effectively manage and track everyone who comes to your workspace and store the information securely in the cloud: no more paper visitor log!
    Learn More
  • SOCRadar Extended Threat Intelligence Platform Icon
    SOCRadar Extended Threat Intelligence Platform

    Get real-time visibility into vulnerabilities, leaked data, and threat actor activity targeting your organization.

    SOCRadar Extended Threat Intelligence, a natively single platform from its inception that proactively identifies and analyzes cyber threats with contextual and actionable intelligence.
    Start Free Trial
  • 1
    ECLiPSe CLP

    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.
    Leader badge
    Downloads: 12 This Week
    Last Update:
    See Project
  • 2
    GNU Prolog

    GNU Prolog

    The GNU Prolog native compiler

    GNU Prolog is a free implementation (under GPL) of the logic programming language PROLOG. It can compile to native machine code which is extremely fast in execution. Another feature is the included constraint solver.
    Leader badge
    Downloads: 170 This Week
    Last Update:
    See Project
  • 3
    XSB
    Logic Programming and Deductive Database system (Tabled Prolog) for Unix, Mac, and Windows.
    Leader badge
    Downloads: 15 This Week
    Last Update:
    See Project
  • 4

    Qore Programming Language

    Multithreaded scripting language

    Qore is a scripting language supporting threading and embedded logic, designed for applying a flexible scripting-based approach to enterprise interface development but is also useful as a general purpose language. No more development or releases happen on sourceforge; development has moved to https://github.com/qorelanguage/qore
    Downloads: 2 This Week
    Last Update:
    See Project
  • DeskTime is a cloud-based time tracking software Icon
    DeskTime is a cloud-based time tracking software

    DeskTime is best for medium to large companies, as well as freelancers who want to boost productivity without overworking.

    DeskTime is a high-performance, automated time tracking and workforce management solution for teams and freelancers. It runs silently in the background, logging computer activity from the moment of boot-up to ensure 100% accurate data without the need for manual timers.
    Learn More
  • 5

    dpcm-dt

    DPCM DT automates the development of WSN applications

    ...DPCM DT is a toolset developed as part of the WSN-DPCM Artemis project that aims to help the developers to create WSN applications faster by automating most development tasks below the application-specific business logic. The toolset can be used both by the application domain experts, which may have limited development skills, and power users that can interact with the toolset flow in different ways to leverage their programming and development proficiency.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6

    Xross Tab / QScript

    Market Research Data Processing Suite

    XTCC/Qscript revolves around two concepts: 1) Data collection : Qscript 2) Data analysis : XTCC Qscript enables Market Research companies to securely collect data using online and offline mediums such as web, tablets/mobile. Different products include: 1) Pen and Paper Survey Management Qscript enables faster and easier keyboard entry with real time logic and validation. It generates SPSS and IBM Quantum compatible data tabulation programs leading to significant time savings of up...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    SIPF - Simple Intelligent PHP Framework

    SIPF - Simple Intelligent PHP Framework

    This is a base PHP framework for making simple websites with clean URL

    SIPF: Simple Intelligent PHP Framework Simeon Ivaylov Petrov Framework SEO Ideological PHP Framework (SEO - Search Engine Optimization) This is a base PHP framework for making simple websites with clean URLs. It is absolutely free! It's developed for advanced php web developers but if you are a beginner in php programming, I think you can also understand how does it work. SIPF is not a CMS (Content Management System) and it doesn't use the MVC (Model View Controller) logic as most of the PHP frameworks do. I made it using my own logic and I think the final product that came out is very simple to understand and using it to develop your own website will be very easy, too.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 8
    A very easy to use programming language for beginners . A bit like BASIC but the target is to make it compileable and it is more linked with the english language. Maybe we'll do translations were the synthax is translated too. FOR DOS/WIN . License: MIT
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    An Avalon based J2EE Framework which minimizes the complexity and coding effort for middle tier programming by externalize SQL, business logic and workflow logic into XML configuration files.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Simplify Time-consuming and Overly Complicated Financial Processes. Icon
    Simplify Time-consuming and Overly Complicated Financial Processes.

    Cloud Purchase Requisition, Purchase Order & Invoice Approval Software

    Zahara's cloud based platform automates budget management, suppliers, purchase requisitions, multi-level purchase approvals, deliveries and invoice reconciliation and approvals. Zahara integrates with most leading accounting software such as QuickBooks Online and Xero to give expanding SME's real time visibility and centralized control of their purchasing. Zahara can be used to control spend in an organization. We take the initial request to buy something and automate the approval process and sending of the PO to the Vendor. Deliveries can be receipted, vendors invoices matched and processed and then exported to finance. Zahara adds control yet speeds up processing.
    Try it for FREE
  • Previous
  • You're on page 1
  • Next
MongoDB Logo MongoDB