Search Results for "check"
Sort By:
Showing 26 open source projects for "check"
View related business solutions-
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.
-
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
1
preMath
Basic Maths for pre-school
It a basic Maths program to help children to count. -
2
UnBBayes
Framework & GUI for Bayes Nets and other probabilistic models.
...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. -
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
relations
Kotlin library to analyze finite heterogeneous relations and endorelat
-
Full-stack observability with actually useful AI | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
5
yafu
Automated integer factorization
Check yafu on github for the latest code. YAFU (with assistance from other free software) uses the most powerful modern algorithms (and implementations of them) to factor input integers in a completely automated way. The automation within YAFU is state-of-the-art, combining factorization algorithms in an intelligent and adaptive methodology that minimizes the time to find the factors of arbitrary input integers. -
6
Javaluator
A java infix evaluator based on "Shunting Yard" algorithm.
... - Highly configurable: Reduce the built-in operator or function sets, define your own brackets. - Extensible: Define your own grammar, or extends the existing one. - Localizable: Define localized names for functions or constants. - Syntax check - Small footprint: 26kB, no additionnal library required. - Fully documented Please visit the project site to learn more : http://javaluator.fathzer.com If you use Javaluator in your product, we will be happy to add a link to your product in the Javaluator web site. Send an email to javaluator@fathzer.com. If you think Javaluator is valuable, vote up below. -
7
Numerics for Chemical Engineering
Numerical models for chemical and process engineering
...The project includes the following ready to use software all based on the same core library: * Online Calculators at www.chesolver.com * Extensions for Libreoffice/Openoffice Calc spreadsheet: - NCE: https://extensions.libreoffice.org/extensions/nce - NCE-Units: https://extensions.libreoffice.org/extensions/nce-units Check out also our video channel: https://www.youtube.com/channel/UCt2EGdw33k2u19PnZAi8YJA -
8
JStats
JStats is a Java application/applet for statistical testing.
...The following tests are supported: * Parametric tests: T-test, ANOVA, Repeated Measures ANOVA * Non-parametric tests: Wilcoxon Rank-Sum, Wilcoxon Signed-Ranks, Kruskal-Wallis, Friedman * Check if datasets are normally distributed: Jarque-Bera, Shapiro-Wilk * Check if datasets have equal variances: F-test, Bartlett's test, John, Nagao and Sugiura's test * Correlation: Correlation coefficient, Spearman Rank correlation, linear regression * Confidence intervals test * Outliers: Generalized Extreme Studentized (ESD) test, outliers in ANOVA The latest version is available as applet on http://aiguy.org/Statistics.html -
9
Mumps Solver for Visual Studio
Visual studio C and C++ projects to build and use mumps sparse solver
...And other four projects are testing projects - two are C++ (linking static or dynamic wrapper library) and two are C (again linking static or dynamic library). Please check the blog posts about the use and the additional explanation of the projects or send me a mail if any difficulties arise. If someone is prepared to write the instructions is more than welcome. -
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
10
WOLFGANG
Editor for Petri nets
Wolfgang is a lightweight tool that allows users to easily create and edit Petri nets and check them against general and workflow specific net properties. Specifically, Wolfgang supports full PNML conform editing functionality of Place-Transition Nets (P/T-Nets) and Colored Petri Nets (CPN) as they are defined in the SEPIA package. Its simple and easy to use interface allows to quickly create Petri nets from scratch, edit them graphically in many ways, store and even export them as PDFs. ... -
11
Hi-Visibility Calculator
A basic calculator with features for people with visual impairments
A basic calculator with features for people with visual impairments. Check out our website below for details: -
12
JBernstein
JBernstein: Exploration techniques for non-linear constraint checking
...Concerning performance, the tool enables to check all examples in the PVS Bernstein testsuite within a second, which can be an order of magnitude faster than some other tools such as QEPCAD or REDLOG. Although JBernstein uses double, it offers automatic error-estimation capabilities (experimental) so that the generated result is correct (the solver may return unknown when the error-estimate is too large) -
13
math toolkit
A C++ and Python library for finance, statistics and linear algebra.
...And some auxiliary features like random number generators, equation solution, numerical integration, permutation/combination and gcd/lcm etc. It is aimed to be a convenient and handy toolkit to check out your ideas. -
14
Robust Correlation Toolbox
Free Matlab toolbox to compute robust correlations
The Robust Correlation Toolbox is a free collection of Matlab functions allowing to visualize data in univariate and bivariate space, check assumptions of normality and homoscedasticity and compute Pearson's and Spearman's, percentage bend, and skipped correlations with bootstrapped confidence intervals - see http://www.frontiersin.org/Quantitative_Psychology_and_Measurement/10.3389/fpsyg.2012.00606/full -- code moved to https://github.com/CPernet/robustcorrtool -
15
Numeric Base Calculator
Numeric base conversion & arithmatic operations
'Numeric Base Calculator' is a console application developed in java.It allows you to do conversitions and simple arithmatic operations involving the most commonly used bases like 2,4,8,10 & 16.You can convert a digit from one base to another.You can perform arithmatic operations like addition,substraction,multipication & division using those bases.This is a handy tool for you to check or do your homework! -
16
The ntcc bounded-time Model Checker
to prove if a CLTL formula satisfy a ntcc process
The ntcc bounded-time model checker allow you to check if constraint linear time (CLTL) formulae satisfy a Non-deterministic Times Concurrent Constraint (ntcc) processes. Try it! -
17
aal
The Advanced Algebraic Language.
The Advanced Algebraic Language (AAL) is a very dynamic programming language designed to fill the void that has appeared between mainstream languages and algebra. As a result its main focus is ease of use for math problems. To download AAL check out the source code repository. There are versions available for windows and linux with both 32 and 64 bit native binaries: http://svn.code.sf.net/p/aal-lang/code/trunk/bin/ -
18
This application help to understand and/or check the result of a single iteration in the simplex method.
-
19
A little side project that tests primality and, in future, will be able to tell how good your cpu is at number crunching.
-
20
This is a simple program that will factor a quadratic trinomial using both "guess-and-check" and the quadratic formula. You input a, b, and c, where ax^2+bx+c=0; you will get a result in the form of (ax+b)(cx+d)=0 and x=a or x=b.
-
21
HicCalc is a scientific utility written in Java,that runs on all java supported operating systems. The current release contains the graphing part of the product. Please visit http://www.hicsys.com/hiccalc.htm to check out the online demo.
-
22
Are you always tired of searching the Windows calculator from some weird location from you PC? Zinuc is a web only, very simple, but powerful calculator. You don't have to download anything to use it. Check out the web pages to find out more.
-
23
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.
-
24
This intuitive (and fully configurable) tool will help users to generate and check truth tables of many variables. You'll be able to work with Clasic logic and Lukasiewicz, Kleene & Bochvar and Gödel multivalued logics.
-
25
A KDE program that calculates polynomes based on given data coordinates. Update 2020-01-04: Please check Qt 5.9 implementation: https://sourceforge.net/projects/kpolynomev2/
