Showing 2 open source projects for "nlp first order logic"

View related business solutions
  • Our Free Plans just got better! | Auth0 by Okta Icon
    Our Free Plans just got better! | Auth0 by Okta

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your secuirty. Auth0 now, thank yourself later.
    Try free now
  • Red Hat Enterprise Linux on Microsoft Azure Icon
    Red Hat Enterprise Linux on Microsoft Azure

    Deploy Red Hat Enterprise Linux on Microsoft Azure for a secure, reliable, and scalable cloud environment, fully integrated with Microsoft services.

    Red Hat Enterprise Linux (RHEL) on Microsoft Azure provides a secure, reliable, and flexible foundation for your cloud infrastructure. Red Hat Enterprise Linux on Microsoft Azure is ideal for enterprises seeking to enhance their cloud environment with seamless integration, consistent performance, and comprehensive support.
    Learn More
  • 1
    Reduce.jl

    Reduce.jl

    Symbolic parser for Julia language term rewriting using REDUCE algebra

    REDUCE is a portable general-purpose computer algebra system. It is a system for doing scalar, vector and matrix algebra by computer, which also supports arbitrary precision numerical approximation and interfaces to gnuplot to provide graphics. It can be used interactively for simple calculations (as illustrated in the screenshot below) but also provides a full programming language, with a syntax similar to other modern programming languages. REDUCE supports alternative user interfaces...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    JAllInOne is a suite of products First of all, it is an ERP/CRM SOA based application having a Swing UI. It manages item variants, warehouse, selling, POS, provisioning, order tracking, BOM, manufactures, accounting, callouts, agenda, documents and supports multiple languages/companies/currencies. JAllInOne Mobile is an Ajax based application, tuned for mobile devices to use for warehouse management (inward/outwards, inventory, etc) JAllInOne eCommerce is an Ajax based web application...
    Downloads: 3 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next