Search Results for "logic"
Sort By:
Showing 54 open source projects for "logic"
View related business solutions-
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
1
Mathematics Dataset
This dataset code generates mathematical question and answer pairs
...It generates question-and-answer pairs across a wide range of mathematical topics typically found in school-level curricula, testing a model’s ability to reason about algebra, arithmetic, calculus, probability, and more. Each question is programmatically generated with structured templates to ensure clear logic and reproducibility. The dataset enables models to learn mathematical problem-solving through examples that involve both numeric and symbolic reasoning. Version 1.0 includes over 2 million examples per category, with training splits labeled as “easy,” “medium,” and “hard,” supporting curriculum-based learning strategies. The data can be accessed via PyPI or generated locally using provided Python scripts, with outputs formatted for direct use in training or evaluation pipelines. -
2
A mostly MATLAB-compatible fuzzy logic toolkit for Octave. A complete function reference is located here: https://lmarkowsky.github.io/fuzzy-logic-toolkit/, and the official Octave documentation is here: https://www.octave.org/support If the function reference and Octave documentation do not address your questions or if you have comments, contact me at lmarkov@users.sourceforge.net.
-
3
REDUCE
A Portable General-Purpose Computer Algebra System
REDUCE is an interactive system for general algebraic computations of interest to mathematicians, scientists and engineers. It can be used interactively for simple calculations but also provides a flexible and expressive user programming language. The development of the REDUCE computer algebra system was started in the 1960s by Anthony C. Hearn. Since then, many scientists from all over the world have contributed to its development. REDUCE has a long and distinguished place in the... -
4
HOL is a system for proving theorems in Higher Order Logic. It comes with a large variety of existing theories formalising various parts of mathematics and theoretical computer science.
-
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
UnBBayes
Framework & GUI for Bayes Nets and other probabilistic models.
UnBBayes is a probabilistic network framework written in Java. It has both a GUI and an API with inference, sampling, learning and evaluation. It supports Bayesian networks, influence diagrams, MSBN, OOBN, HBN, MEBN/PR-OWL, PRM, structure, parameter and incremental learning. Please, visit our wiki (https://sourceforge.net/p/unbbayes/wiki/Home/) for more information. Check out the license section (https://sourceforge.net/p/unbbayes/wiki/License/) for our licensing policy. -
6
Interval arithmetic for Ada
An implementation of interval arithmetic
The library provides an implementation of intervals for Ada. It includes arithmetic and relational operations. The library supports intervals with integer and floating-point bounds. Dimensioned intervals are also supported -
7
tau-math-tool
Fast Win32 math & science tool
tau is a simple, fast RPN scientific command line math tool with array processing, complex number support, plotting, unit conversions, built-in help, logic operations, statistics, signal processing, and many advanced functions. tau evolved to be efficient and practical. We listen to our user stories. -
8
Fuzzy Logic Tools (FLT) is a C++ framework for storage, analysis and design of fully general multiple-input multiple-output (MIMO) Takagi-Sugeno fuzzy control systems, without constraints in the order of either the inputs or the output vectors.
-
9
mXparser - Math Parser Java C# Library
A flexible mathematical expressions parser for JAVA, Android, C# .NET
mXparser is highly flexible parser of math expressions. Software provides easy to use API for JAVA, Android, C# .NET/MONO (CLS). Main functionalities: - basic operators, i.e.: +, -, *, ^, ! - Boolean logic operators i.e.: or, and, xor - binary relations i.e.: =, <, > - math functions (large library of 1-arg, 2-arg, 3-arg - - functions) i.e.: sin, cos, Stirling numbers, log, inverse functions - constants (large library), i.e.: pi, e, golden ratio - n-args functions i.e.: greatest common divisor - iterated summation and product operators - differentiation and integration High flexibility: - user defined constants and arguments, both free - and dependent on other arguments + possibility of use in functions - user defined functions (both free and depended) - user defined recursive arguments + simple (controlled) recursion (1 recursive argument) - user defined recursive functions / expressions (any) - complex, many arguments, no limitation - internal syntax checkin -
Auth0 B2B Essentials: SSO, MFA, and RBAC Built InAuth0's B2B Essentials plan gives you everything you need to ship secure multi-tenant apps. Unlimited orgs, enterprise SSO, RBAC, audit log streaming, and higher auth and API limits included. Add on M2M tokens, enterprise MFA, or additional SSO connections as you scale.
-
10
ObjectVolume
Calculates Volume, Surface Area & Centroid of a Closed Triangular Mesh
...Tetrahedrons with back facing triangles are added and those with forward facing triangles are subtracted yielding the object volume. A detailed description of the process is presented in the ObjectVolumeTutorial.doc document as well as program logic and results. A key component in the program is a subroutine that calculates the volume of a tetrahedron. Four sets of equations were tested and to my surprise all four produced similar results in accuracy and timing. -
11
CLP Calculator
A calculator for solving problems using Constraint Logic Programming.
It is a simple calculator for solving problems using Constraint Logic Programming. Thanks to it, we can quickly see solution of: - Combinatory problem (Einstein's Riddle) - Scheduling problem (Museum of Art) - Optimization problems (Map Coloring) -
12
A shell for using the methods of Contextual Logic to do qualitative data analysis, mathematical research on the theory underlying Conceptual Knowledge Processing, or learning Formal Concept Analysis. It uses the framework provided by the Tockit project..
-
13
VeriSiMPL
Verification via biSimulations of Max-Plus-Linear models
...The LTS finite abstractions are shown to either simulate or to bisimulate the original MPL system. LTS models are to be verified against given specifications expressed as formulae in Linear Temporal Logic (LTL) and Computation Tree Logic (CTL). The toolbox intends to leverage the NuSMV model checker. Models are to be expressed in the C++ language. The abstraction procedure runs in C++. The generated LTS is exported to the NuSMV language. As such, it can be fed, along with a specification of interest, to the NuSMV model checker. ... -
14
MathFu
C++ math library developed primarily for games focused on simplicity
...The design emphasizes minimal dependencies and clear ownership so the library can be embedded into engines without dragging in heavyweight frameworks. It fits equally well in rendering math, physics helpers, animation blending, and camera control logic where determinism and speed matter. -
15
Witchcraft
Monads and other dark magic for Elixir
...It promotes predictable, law-abiding behavior through property-based testing helpers and a focus on algebraic reasoning. Teams reach for Witchcraft when they want to structure business logic with reusable, mathematically grounded patterns that remain idiomatic to the BEAM. -
16
This java program will ultimately solve grid-type logic problems if given enough clues in a pseudo english language. Features a user friendly GUI letting the user know the progression of the solving process based on the clues entered.
-
17
Logic Calculator
A Calculator to perform logical operations
The Logic Calculator is an application useful to perform logical operations. It has three modes: (1) Evaluation of logic formulae: In this mode we have the basic boolean operations (negation, conjunction, disjunction, conditional and biconditional) so the user can insert the logic formula and the Logic Calculator displays the truth table along with the models of the formula -
18
Software for teaching and learning mathematical proofs Where most mathematical proof software concentrates on formal logic (or some other specialty area of mathematics), Lurch aims to be truly general-purpose, with an attracitve user interface.
-
19
slc
Symbolic Lambda Calculus
Symbolic Lambda Calculus is a logical formalism based on lambda calculus and combinatory logic, in which there is only one kind of objects, which can represent either terms or equalities. It uses de Bruijn's and lambda calculus notations. -
20
-
21
ExpressionOasis is a java based framework for evaluating the various type of expressions like arithmatic, logic expression etc. The framework is flexible enough to define any new grammer rules or operators.
-
22
Hilbert II - QEDEQ
proof verifier for mathematical proofs and documentation generator
In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started. -
23
LogicCalculus
A logic IDE for the sentential logic and the predicate logic.
LogicCalculus is a logic IDE for the sentential logic and the predicate logic. Currently it can evaluate expressions and fill a truth table. -
24
HYDRA is an open-source, platform-neutral library for performing Markov Chain Monte Carlo. It implements the logic of standard MCMC samplers within a framework designed to be easy to use and to extend while allowing integration with other software to
-
25
Fractions C++
C++ library adds mathematical fractions. Example: 1/3, 4/7, 49/357...
...Example: 1/3, 4/7, 49/357... Library can: 1) Create fractions from or 2 "long long", or double, or "long long". 2) Round. 3) Methematic operators +, -, *, /, +=, -=, *=, /=. 4) Logic operators <, >, ==, !=, <=, >=. 5) Operator %. 6) Pow and fast pow. 7) Module: |-a| = a, |b| = b. 8) Input / output stream. 9) Convert in double and string. And other...
