Search Results for "deduction"
Sort By:
Showing 23 open source projects for "deduction"
View related business solutions-
Stop vibe-debugging.AppSignal's MCP server hands Claude, Cursor, or Zed your real errors, traces, and the deploy that shipped them. AI writes the fix; you review the diff.
-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
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
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
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. -
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
5
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. -
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. -
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.
-
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
