Search Results for "logical"
Sort By:
Showing 18 open source projects for "logical"
View related business solutions-
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.
-
Cloud tools for web scraping and data extractionAutomate web data collection with cloud tools that handle anti-bot measures, browser rendering, and data transformation out of the box. Extract content from any website, push to vector databases for RAG workflows, or pipe directly into your apps via API. Schedule runs, set up webhooks, and connect to your existing stack. Free tier available, then scale as you need to.
-
1
alphageometry
AI-driven neuro-symbolic solver for high-school geometry problems
...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
Foreval
Foreval is parser & compiler of mathematical expressions
Foreval is compiler of mathematical expressions (formulas) (directly to x86-32 CPU/FPU comand) given as string at run-time. Present as "dll" library and Delphi sources. Can be compiled in FPC (Lazarus). Can be direct connection to the program (without dll). Сurrent version ( v. 9.1.1.393): Examples for Delphi, Lazarus , GCC (Codeblock), (Builder, MSVC - in b.366). Demo: Fractals Julia; Visualizing of functions of complex variable - complex domain coloring , graph plotting... -
3
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... -
4
proof-logic
Proof Logic : A logical framework for theorem proving
Proof Logic is a functional and equational logical framework for theorem proving based on Combinatory Logic and Lambda Calculus, whose expressions are both terms and proofs proving the equality between two terms. -
Atera all-in-one platform IT management software with AI agentsAtera’s AI agents don’t just assist, they act. From detection to resolution, they handle incidents and requests instantly, taking your IT management from automated to autonomous.
-
5
MACE Algebraic Calculator
MACE is a Mathematical program for Algorithms, Calculations, Equations
...It is designed to be as easy to run as a hand-held calculator. The goal is a neat tool covering all fields of mathematics at advanced highschool and university level. MACE has 230 logical operations, statistical distributions and functions in the fields Analysis, Arithmetic, Complex Functions, Linear Algebra, Differential Calculus, Statistics and Signal Processing. MACE provides a dialog, which supports you to insert functions intuitively. Moreover Mace has a comprehensive help menu to support the user. MACE has also its own skripting language for the advanced user. ... -
6
FunctionalCalculator
A functional maths program calculating with functions
FunctionalCalculator is a Mathematical program, which calculates with functions and which is designed to be functional in the sense of convenience and usability. It has a desktop and a mobile edition. FunctionalCalculator has 75 User-Functions and logical / comparison operators (70 in the case of the mobile edition). The User-Functions can have arguments given by matrices, infinitely differentiable functions, complex numbers or arbitrary precision integers. Among the User-Functions you find: * The integral of f(x) from a to b * The derivative of f(x) * The Ternary Conditional * The gcd of two integers * Solve a System of Linear Equations FunctionalCalculator has a Grammar, which allows you to define you own recursive (meta) functions. ... -
7
octave-intinf
Infinite-precision integer arithmetic for Octave, written in Octave
...The supported operations are: >> s = a = intinf (126) % Creation of intinf-class object from integer or string >> b = intinf ('-792716404922304611755050042308687') >> c = a + b % Addition >> d = a - b % Subtraction >> e = c * d % Multiplication >> f = (e - a^2) / b % Exponentiation, division >> f == -b % Logical operators >> [q, r] = intinf_divide (b^2, a) % Divsion and remainder >> x = intinf_rand (100) % Random number (here, with 100 digits) TODO: * Better errors. * Make a package loadable by octave's pkg function. -
8
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. (2) Logical entailment: In this mode the user can insert a number of premises followed by a number of conclusions, so the Logic Calculator displays the truth table of each premise / conclusion and the result of whether or not these premises logically entail the given conclusions... -
9
math lib for .NET. n-dim arrays, complex numbers, linear algebra, FFT, sorting, cells- and logical arrays as well as 3D plotting classes help developing algorithms on every platform supporting .NET. Sources from SVN, binaries: http://ilnumerics.net
-
Grafana: The open and composable observability platformGrafana is the open source analytics & monitoring solution for every database.
-
10
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. -
11
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.
-
12
VisualMathEditor
LaTeX, AscciMath and MathML editor developed in Javascript and HTML
...It operates independently on the web or locally. It has many features and menus that help the equation-entry and allow their posting and backup. Formulas : - math physics symbols - operation symbols - logical symbols - arrows symbols - relation symbols - bracket symbols - differential symbols - functions symbols - integral symbols - matrix symbols - sqrt & frac symbols - sub & sup symbols - sum & prod symbols - greek characters -
13
Lincalc
A powerful console calculator with a fast and simple interface.
(Graphical Edition Released, BreezyCalc: http://breezycalc.sourceforge.net/) Lincalc is a console calculator designed to provide a quick and simple interface to a very powerful engine. Its parser is based on muParser <http://muparser.sourceforge.net/>. It supports user-defined variables, logical operators for conditions, and a wide range of mathematical functions each calculation that is made is stored in a result variable (Ans1, Ans2..) and can be referenced in equations. It also supports evaluation of multiple equations each separated by a ','. Conditional Statements: -- Ex. (condition) ? (true val) : (false val) Logic Operators: -- && (and), || (or) Comparison Operators: -- <= (less than or equal to) -- >= (greater than or equal to) -- < (less than), > (greater than) -- !... -
14
A declarative logic programming system with first-class relations embedded in a pure functional subset of Scheme. The system has true unions, fair scheduling, lexically-scoped logical variables, set-theoretical semantics, high performance without cuts
-
15
Simple logical formula editor and evaluator. You can check all the values of a formula, or only a specific value. Simple and straight-forward editor.
-
16
XMLMath evaluates mathematical, logical or textual expressions described in xml and prints the result. For example, to compute the result of 1 + 1, you would write: <add> <long value="1"/> <long value="1"/> </add>
-
17
Guided Logic Exercises is a tool that can be used for simplifying logical expressions. It is a java applet that makes use of underlying packages designed for the applet.
-
18
tkalc is a pocket calculator for developers and IP network operators. Arbitrary arithmetic/logical expressions can be entered very quickly. The result is then simultaneously displayed in decimal, hexadecimal, octal, binary, ASCII, IP address, and boolean.
- Previous
- You're on page 1
- Next
