8 programs for "deduction" with 1 filter applied:

  • Bright Data - All in One Platform for Proxies and Web Scraping Icon
    Bright Data - All in One Platform for Proxies and Web Scraping

    Say goodbye to blocks, restrictions, and CAPTCHAs

    Bright Data offers the highest quality proxies with automated session management, IP rotation, and advanced web unlocking technology. Enjoy reliable, fast performance with easy integration, a user-friendly dashboard, and enterprise-grade scaling. Powered by ethically-sourced residential IPs for seamless web scraping.
    Get Started
  • Save hundreds of developer hours with components built for SaaS applications. Icon
    Save hundreds of developer hours with components built for SaaS applications.

    The #1 Embedded Analytics Solution for SaaS Teams.

    Whether you want full self-service analytics or simpler multi-tenant security, Qrvey’s embeddable components and scalable data management remove the guess work.
    Try Developer Playground
  • 1
    FunctionalPlus

    FunctionalPlus

    Functional Programming Library for C++

    Great code should mostly be self-documenting, but while using C++ in reality you can find yourself dealing with low-level stuff like iterators or hand-written loops that distract from the actual essence of your code. FunctionalPlus is a small header-only library supporting you in reducing code noise and in dealing with only one single level of abstraction at a time. By increasing brevity and maintainability of your code it can improve productivity (and fun!) in the long run. It pursues these...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2

    Natural Deduction Planner

    Assistant for generating Natural Deduction style proofs

    This application aids in the creation of Natural Deduction style logical proofs. The style is that used in University of Auckland Philosophy courses. Upon inputting a sequent, a proof can be completed within Natural Deduction Planner. The result can be exported to png, to text or to LaTeX macros.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 3
    Deduced is used to edit and generate model classes. It also provides tools to implement code deduction patterns. It also simplifies data exchange and persistance.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 4
    rule engine in java
    An open source java class library for deduction rules. It provides an infrastructure for defining, managing and querying rule bases and facts. Use rete.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Free CRM Software With Something for Everyone Icon
    Free CRM Software With Something for Everyone

    216,000+ customers in over 135 countries grow their businesses with HubSpot

    Think CRM software is just about contact management? Think again. HubSpot CRM has free tools for everyone on your team, and it’s 100% free. Here’s how our free CRM solution makes your job easier.
    Get free CRM
  • 5
    Superficially, Dominoes on Acid is a solitaire variant of Dominoes with weird colorful tiles. But on a deeper level it is a GUI for natural deduction. Every completed domino is equivalent to a proof of a tautology in classical propositional logic.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    A tool for proof theorists to study deduction systems and to develop proof search strategies for them. GraPE should eventually support step-by-step proof construction, automatic proof search with various strategies, proof transformations and analysis.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 7
    Deduce is an artificial intelligence program which accepts natural language sentences as input, then allows the user to ask questions against that input. Deduce attempts to answer questions using logical deduction techniques.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 8
    Chameleon is a rule-based expert system to assist farmers in semi-arid areas to prevent bush encroachment. It runs as a web-application on a Tomcat server with MySQL and is based on the Mandarax library for deduction rules and its front-end, Oryx.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next