Search Results for "deduction"
Sort By:
Showing 33 open source projects for "deduction"
View related business solutions-
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
Our Free Plans just got better! | Auth0You 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 security. Auth0 now, thank yourself later.
-
1
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. -
2
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. -
3
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. -
4
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... -
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
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
Advanced Trigonometry Calculator
Precision Trigonometry: Advanced Calculator for Complex Math
Advanced Trigonometry Calculator is equipped with a user-friendly interface that allows for easy input of problems and instant computation. Professionals such as engineers who need to perform advanced trigonometric calculations in their work will find this tool extremely useful. ATC Online Alpha: https://advantrigoncalc.sourceforge.io/atc/ More info by clicking below: https://advantrigoncalc.sourceforge.io/ Advanced Trigonometry Calculator was only and always only developed by... -
7
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 -
8
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... -
9
drmind
Mastermind clone for DOS
...Mind is a PC adaptation of the Mastermind (TM) board game. The computer generates a secret color code, then the player has to figure out the exact pattern through deduction. -
Catch Bugs Before Your Customers DoMove from alert to fix before users notice. AppSignal monitors errors, performance bottlenecks, host health, and uptime—all from one dashboard. Instant notifications on deployments, anomaly triggers for memory spikes or error surges, and seamless log management. Works out of the box with Rails, Django, Express, Phoenix, Next.js, and dozens more. Starts at $23/month with no hidden fees.
-
10
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. ... -
11
WinPayXL2020
This is a sample payroll program, for learning payroll and MS-Access
...The WinPayXL App calculates payroll, and produces reports for tax and accounting purposes. New features for 2020 include this years Tax Percentages, and ability to print W2 forms at year end. Updates in AFPay3a.exe fixes deduction problem. Read the readme file, and manual, for greatest use of this App. Find this and/or other free programs at: dndlearning.com/marcusacademy/marcusmain/index.php Enjoy! -
12
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... -
13
The library offer perfect number mathematic abstract, and contain some algebra computation/deduction tools.
-
14
Komendant ERP
ERP, IP PBX, Accounting, CRM, Time tracking, and etc.
Comprehensive business management system The full-cycle automation ERP system - [ Full Freeware ] IP PBX - Complete synchronization with CRM system - Call accounting for PBX (PBX billing) - Phone call control and monitoring - Phone recording systems Accounting, Financial management - Trade management, warehouse - Management and tax accounting Corporate information system - Client relations management system (CRM) - Project, tasks, orders management - On-line conferences (forums) - Instant messenger, chat, sending SMS Staff management system [HRM] - Personnel records, documents circulation - Time and Attendance tracking system - Computer usage monitoring (time tracking) - Work time accounting (five levels) - Accrual and deduction system - Fines system (two levels) - Salary calculation Access control systems Management of access rights to the premises Video surveillance system (IP,Analog) Photofixation, Videofixation Technological process automation -
15
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. -
16
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. -
17
Jape
Highly configurable proof / disproof editor and calculator
Jape is a configurable graphical formal-proof calculator. It's possible to define a logic, decide how your users will view their proofs, and much more. It works with variants of the sequent calculus and natural deduction, as well as functional programming theories and theories of operational semantics. Mac, Unix, Windows. -
18
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. -
19
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.
-
20
FetalQuant
Fractional Fetal DNA Concentration Deduction
=============== FetalQuant: deducing frational fetal DNA concentration from massively parallel sequencing =============== -
21
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. -
22
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.
-
23
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. -
24
An open source java class library for deduction rules. It provides an infrastructure for defining, managing and querying rule bases and facts. Use rete.
-
25
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.
