Showing 18 open source projects for "deduction"

View related business solutions
  • Top-Rated Free CRM Software Icon
    Top-Rated Free CRM Software

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

    HubSpot is an AI-powered customer platform with all the software, integrations, and resources you need to connect your marketing, sales, and customer service. HubSpot's connected platform enables you to grow your business faster by focusing on what matters most: your customers.
    Get started free
  • 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
    DAW JSON Link v3

    DAW JSON Link v3

    Fast, convenient JSON serialization and parsing in C++

    Fast, convenient JSON serialization and parsing in C++. The DAW JSON Link library is a high-performance, no allocation, C++ JSON Library. Direct parsing of JSON to your own data structures via simple declarative mappings. Earlier error reporting of unexpected data and errors. Low memory requirement, parser requires a small amount of stack but does not allocate itself. Optimizations based on data types. Does not require owning the mapped types and is not intrusive.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    JSONConverter

    JSONConverter

    owerful and beautiful JSON-to-model MacOS app

    A MacOS application with a beautiful interface and powerful functions, it formats JSON and generates model class code in the corresponding language, supports multiple development languages and its popular third-party class libraries, multiple configuration options, and flexibly builds classes
    Downloads: 6 This Week
    Last Update:
    See Project
  • 4

    Free Weighbridge Software

    Imagic Solution Easy to Use Windows Based Weighbridge Software

    Imagic Solution Provide Easy to Use Windows Based Weighbridge Software, its Support Win10/Win11/Win7, 32 and 64 Bit both OS. Facility to Create Multi User with Various Authorisation, it will Provide Secure Weighment with Various Facility Like CCTV Image Capture, RFID Reader Integration, Boom Barrier Integration, Traffic Light, PA Sound System, LED display etc... This Software Provide a secure and Fraud-Free-Operation of All Kind Of Weighbridge, its Design to Suitable for all Kind of...
    Leader badge
    Downloads: 49 This Week
    Last Update:
    See Project
  • 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
  • 5
    Dep

    Dep

    Go dependency management tool experiment

    Dep was an official experiment to implement a package manager for Go. While dep has many discrete components and moving parts, all of these parts revolve around a central model. Dep is a tool intended primarily for use by developers, to support the work of actually writing and shipping code. It is not intended for end users who are installing Go software - that's what go get does. It is strongly recommended that you use a released version of dep. While tip is never purposefully broken, its...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6

    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
  • 7

    Charity Auction/Event Manager

    Registration, charge capture, and cashiering application

    This web-based application is designed for school or charity auction events. It has been used for several years at two Northern California schools to handle dinner ticket, raffle ticket, and drink sales, as well as silent and live auction winnings. Event participants put all charges on their "tab", then pay at the end of the event. They can leave with a receipt that includes tax deduction information. The solution is designed to be portable, so that it can be run on an offline LAN environment...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    J2ME Memo Game

    J2ME Memo Game

    Memo is a color code game written for java enabled phones.

    Memo is a fun, brain teasing, code breaking game. The game is played using code pegs of different colors and black and white key pegs. Your phone will choose a random pattern of four code pegs. Your task is to break the code. Black key peg will be placed for each code peg from the guess which is correct in both color and position and a white key peg for a correct color code peg placed in the wrong position. The fewer the number of guess, the better the score. Enjoy popping the pegs.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    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
  • Manage printing in a cost-efficient and eco-friendly way with Gelato. Icon
    Manage printing in a cost-efficient and eco-friendly way with Gelato.

    Gelato offers an extensive catalog of custom products, a zero-inventory business model, and free designing tools—all in one place.

    The world's largest print on demand network with 130+ production partners across 32 countries. Gelato offers end-to-end design, production and logistics for individuals looking to start their own business today!
    Sign up for Free
  • 10

    FetalQuant

    Fractional Fetal DNA Concentration Deduction

    =============== FetalQuant: deducing frational fetal DNA concentration from massively parallel sequencing ===============
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    IdSay

    IdSay

    IdSay is an Open Domain Question Answering System

    IdSay (short name for “I would say”, or “I dare say”) is a Question Answering system whose aim is to answer open domain general knowledge questions automatically by extracting the answers from a large collection of texts. The answers are based on what is written in the texts explicitly. This means the system works according to a purely extractive Question Answering paradigm, in which no reasoning or deduction is used. Currently IdSay uses only the Portuguese language, but we intend...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12

    Set Theory Relations in Java

    Java classes implementing set theory relation concepts

    ... sets and tree sets. The current version (0.1) has been tested but not substantially used. Feedback from use in the field will be welcomed, as will offers of collaboration to improve the deduction algorithms.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    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
  • 14
    This is an intelligent Sudoku solver in c++. It is intlligent, because it uses several logical deduction methods, just like a person, before resorting to guessing. I was trying to teach my kids Sudoku, and taught a computer as proof of concept.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    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
  • 16
    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
  • 17
    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
  • 18
    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