Search Results for "deduction"
Sort By:
Showing 24 open source projects for "deduction"
View related business solutions-
Demo Series - Small Business Backup By VeeamWatch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.
-
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.
-
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
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... -
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
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. -
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.
-
5
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... -
6
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. ... -
7
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! -
8
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... -
9
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 -
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
10
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. -
11
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. -
12
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. -
13
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.
-
14
FetalQuant
Fractional Fetal DNA Concentration Deduction
=============== FetalQuant: deducing frational fetal DNA concentration from massively parallel sequencing =============== -
15
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. -
16
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. -
17
An open source java class library for deduction rules. It provides an infrastructure for defining, managing and querying rule bases and facts. Use rete.
-
18
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.
-
19
Sudoku+ is a fully-featured Windows Sudoku puzzle game. If you like puzzles, deduction or intense arcade style Sudoku action, this is the game for you.
-
20
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.
-
21
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.
-
22
-
23
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.
-
24
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
