Search Results for "check"
Sort By:
Showing 16 open source projects for "check"
View related business solutions-
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
AI-generated apps that pass security reviewRetool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
-
1
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. -
2
relations
Kotlin library to analyze finite heterogeneous relations and endorelat
-
3
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. -
4
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 -
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
5
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 -
6
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. ... -
7
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) -
8
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 -
9
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! -
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
10
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/ -
11
This application help to understand and/or check the result of a single iteration in the simplex method.
-
12
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.
-
13
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.
-
14
-
15
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.
-
16
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/
- Previous
- You're on page 1
- Next
