Showing 7 open source projects for "logic programming"

View related business solutions
  • Simplify Purchasing For Your Business Icon
    Simplify Purchasing For Your Business

    Manage what you buy and how you buy it with Order.co, so you have control over your time and money spent.

    Simplify every aspect of buying for your business in Order.co. From sourcing products to scaling purchasing across locations to automating your AP and approvals workstreams, Order.co is the platform of choice for growing businesses.
    Learn More
  • Award-Winning Medical Office Software Designed for Your Specialty Icon
    Award-Winning Medical Office Software Designed for Your Specialty

    Succeed and scale your practice with cloud-based, data-backed, AI-powered healthcare software.

    RXNT is an ambulatory healthcare technology pioneer that empowers medical practices and healthcare organizations to succeed and scale through innovative, data-backed, AI-powered software.
    Learn More
  • 1
    Totum MIT

    Totum MIT

    Small-code database for non-programmers

    Totum is a no-code/low-code platform for creating data-driven business apps and dashboards. It uses a spreadsheet-like interface to let users define logic, automate processes, and build complex forms and workflows without traditional programming. Totum-MIT is the open-source core of this system, designed for internal business tools and enterprise apps.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 2

    aguacate

    With aguacate you get a better taste

    Aguacate is a framework with focus on implement business logic functionality, using configuration files (json) instead of programming. See the wiki and the videos See https://github.com/mcnew/aguacate-swagger-demo for a functional demo using docker-compose Videos in Spanish: https://www.youtube.com/playlist?list=PLSHQIkodyHroW2XF7BWCrymDv_Nlj7HRS
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Logic Lab

    Logic Lab

    This is a suite of mathematical software solvers GUI

    This is a suite of mathematical software solvers interface on DLV and other command-line solvers. It helps researchers and students to better comprehend their declarative definitions published on papers. The user can have links to the related papers and to the software of the corresponding definitions.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Xcerpt is a Query and Transformation Language for XML and Semistructured data. Instead of the navigational approach of XPath-based languages like XSLT or XQuery, Xcerpt uses patterns for querying and is based on concepts of logic programming like unifica
    Downloads: 0 This Week
    Last Update:
    See Project
  • Skillfully - The future of skills based hiring Icon
    Skillfully - The future of skills based hiring

    Realistic Workplace Simulations that Show Applicant Skills in Action

    Skillfully transforms hiring through AI-powered skill simulations that show you how candidates actually perform before you hire them. Our platform helps companies cut through AI-generated resumes and rehearsed interviews by validating real capabilities in action. Through dynamic job specific simulations and skill-based assessments, companies like Bloomberg and McKinsey have cut screening time by 50% while dramatically improving hire quality.
    Learn More
  • 5
    A declarative logic programming system with first-class relations embedded in a pure functional subset of Scheme. The system has true unions, fair scheduling, lexically-scoped logical variables, set-theoretical semantics, high performance without cuts
    Downloads: 2 This Week
    Last Update:
    See Project
  • 6
    ARMR provides a foundation for creating an efficient in-memory database. Its unique list processing structures simplify programming logic and allow the developer to rapidly sort, group, and select data. Give your app a hypercard like capability.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    A knowledge base engine for Python built on F-Logic. It uses the FLORA-2 reasoning engine and provides permanent storage through ZODB. Logic programming concepts like logical variables, facts, rules and queries are included.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next
MongoDB Logo MongoDB