Search Results for "deduction"
Sort By:
Showing 23 open source projects for "deduction"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
Paessler - Monitor Your Whole Network in MinutesWaiting weeks for a monitoring rollout isn't an option when infrastructure doesn't stop running. PRTG's auto-discovery scans your network and suggests from over 200 pre-configured sensor types, so you're watching servers, applications and devices within minutes, not after a multi-week deployment. Enterprise-strength monitoring, without the enterprise complexity. Start your free trial today.
-
1
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. -
2
alphageometry
AI-driven neuro-symbolic solver for high-school geometry problems
...The repository provides the full implementation of DDAR (Deductive Difference and Abductive Reasoning) and AlphaGeometry, two automated geometry solvers described in the 2024 Nature paper “Solving Olympiad Geometry without Human Demonstrations.” AlphaGeometry integrates a symbolic deduction engine with a transformer-based language model to propose and validate geometric constructions in a stepwise proof process. The DDAR solver focuses purely on rule-based reasoning, while AlphaGeometry enhances this by using a learned model to suggest auxiliary constructions when logical reasoning alone is insufficient. The repository includes pre-trained weights, vocabulary files, and detailed configuration options for reproducing experiments. -
3
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... -
4
Quint Code
Structured reasoning framework for Claude Code, Gemini, and Cursor
...Instead of accepting the first plausible answer generated by an AI assistant, Quint Code encourages generating multiple competing hypotheses, verifying them, and validating them against real evidence stored in a structured “knowledge base” within your project. It supports a cycle of abduction, deduction, and induction backed by CLI commands (like /q1-hypothesize, /q2-verify, /q3-validate, etc.) that create a persisting audit trail in a .quint/ directory. -
Build Data Resilience - Take the Assessment TodayIs your recovery strategy as strong as you think? Take this quick self-assessment to check your recovery readiness and gain tailored insights. In only 2 minutes, you'll learn where you fall on the recovery readiness scale.
-
5
Cpp17
Chinese translation of C++17 The Complete Guide
...The content is organized into multiple parts: basic language features (e.g. structured binding, inline variables, enhanced switch, lambdas), template and compile-time features (e.g. fold expressions, class template argument deduction, constexpr improvements), and the additions to the standard library (e.g. std::optional, std::variant, std::string_view, file system, concurrency, and parallel algorithms). It also covers enhancements to existing STL components, new library utilities, and advanced topics like polymorphic memory resources (PMR), alignment, and generic programming improvements. -
6
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... -
7
Miaosha
Design and implementation of flash sale system
...It illustrates patterns like cache-first reads for hot data, request rate limiting, and asynchronous order processing to protect databases under load. The project demonstrates stock deduction strategies designed to avoid overselling, combining pre-decrement in cache with reliable persistence and message-driven confirmation. Security hardening is addressed with ideas such as dynamic request paths, anti-bot measures, and one-time tokens to reduce automated abuse. The code showcases a typical Spring Boot stack that cleanly separates controllers, services, and persistence, making bottlenecks and optimization points easy to identify. ... -
8
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. -
9
Charity Auction/Event Manager
Registration, charge capture, and cashiering application
...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 (since most charity events are held in locations without internet access). Other features include: * Reports - totals, winners, check deposits * Printouts - bidsheets, raffle winner sheets * Expense reporting - coming soon * Role-based authentication - coming soon * Payments - records cash, checks, charge, paypal, and supports writeoffs and transfers between client accounts * Audit trail on every charge and payment The project is written in PHP and uses the Yii framework. -
Earn up to 16% annual interest with Nexo.Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.
-
10
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. -
11
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.
-
12
FetalQuant
Fractional Fetal DNA Concentration Deduction
=============== FetalQuant: deducing frational fetal DNA concentration from massively parallel sequencing =============== -
13
IdSay
IdSay is an Open Domain Question Answering System
...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 to introduce other languages, for instance English, and to explore multilingual issues. -
14
tkmrm is a game of guess and deduction you play against the computer. The GUI version has a TclTk/BLT interface, is fully playable plus in-program docs. Everything is useable from keyboard. Additionally, a textconsole-only version is provided.
-
15
Set Theory Relations in Java
Java classes implementing set theory relation concepts
...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. -
16
An open source java class library for deduction rules. It provides an infrastructure for defining, managing and querying rule bases and facts. Use rete.
-
17
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.
-
18
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.
-
19
WordBreaker is a fun iPhone game where you attempt to guess the computer's secret word before the computer guesses yours, using logic and deduction. The game is based on Jotto and similar to MasterMind.
-
20
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.
-
21
-
22
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.
-
23
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.
- Previous
- You're on page 1
- Next
