Search Results for "platform-tools"
Sort By:
164 projects for "platform-tools" with 2 filters applied:
-
Paessler: Easy to Use With Enterprise Power. Free TrialYou shouldn't have to choose between a monitoring tool that's easy to use and one that's powerful enough for a complex environment. PRTG's low-code interface lets any admin build dashboards, set alerts and monitor devices without scripting, while custom sensors and full API access are there when your team needs deeper control. One platform, no compromise. Download a free 30-day trial now.
-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
1
Community Z Tools
Tool support for the Z formal notation
Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools. NOTE: development of CZT has now moved to GitHub: https://github.com/community-z-users/czt -
2
Mobile Open-Source Software and Tools
Android, UIQ 3.0, Series 60 Edition 5 open-source software
Android, Symbian UIQ 3.0 and Symbian Series 60 Edition 5 open-source software, tools, libraries and themes. Most notable the FX-602P / FX-603P Simulator and the HP-45 Emulator are hosted here. -
3
gretl
A cross-platform statistical package for econometric analysis
gretl is a cross-platform software package for econometric analysis, written in the C programming language. -
4
Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.
-
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.
-
5
JAGS is Just Another Gibbs Sampler. It is a program for the statistical analysis of Bayesian hierarchical models by Markov Chain Monte Carlo.
-
6
gnuplot
A portable, multi-platform, command-line driven graphing utility
A famous scientific plotting package, features include 2D and 3D plotting, a huge number of output formats, interactive input or script-driven options, and a large set of scripted examples. -
7
Golly
For exploring cellular automata like Conway's Game of Life.
A cross-platform application for exploring Conway's Game of Life and many other types of cellular automata. -
8
sequoia-dap
SEQUOIA ocean data assimilation platform (a SIROCCO suite tool)
***** THIS PROJECT HAS MOVED TO https://gitlab.in2p3.fr/sirocco/sdap/sdap-dev ***** ***** THIS PROJECT HAS MOVED TO https://gitlab.in2p3.fr/sirocco/sdap/sdap-dev ***** ***** THIS PROJECT HAS MOVED TO https://gitlab.in2p3.fr/sirocco/sdap/sdap-dev ***** Within the SIROCCO suite of numerical tools, the purpose of SDAP is to provide a flexible platform to carry out multivariate assimilation of geophysical data in a numerical model. The program is multi-grid (finite differences or finite elements), multi-algebra (plug-in analysis kernels), multi-model (simple standardized interface). The program supports reduced-order data assimilation methods, as well as Ensemble assimilation approaches such as the Ensemble Kalman Filter. ... -
9
STK
a Small (Matlab/Octave) Toolbox for Kriging
...Its primary focus in on the interpolation / regression technique known as kriging, which is very closely related to Splines and Radial Basis Functions, and can be interpreted as a non-parametric Bayesian method using a Gaussian Process (GP) prior. The STK also provides tools for the sequential and non-sequential design of experiments. Even though it is, currently, mostly geared towards the Design and Analysis of Computer Experiments (DACE), the STK can be useful for other applications areas (such as Geostatistics, Machine Learning, Non-parametric Regression, etc.). -
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
SPINA
Structure parameter inference approach for endocrine feedback control
SPINA is software for the rapid, reliable and accurate determination of constant structure parameters of endocrine feedback control systems. It is a class of static function tests that require nothing more than steady-state concentrations of hormones or metabolites obtained in vivo. The first version of this cybernetic approach had been developed for the evaluation of the functional status of the thyroid gland, i.e. thyroid's secretory capacity (gain of thyroid, GT or SPINA-GT) and sum... -
11
StatAnt
The package for statistical data analysis
Aspire to perfection. StatAnt is a standalone cross-platform application for statistical data analysis. Completely free. No donations required. Comes with absolutely no warranty. Rating: Everyone (All ages). MEDICAL DISCLAIMER: This software is not certified for use in healthcare and should not be used for diagnostic or treatment purposes. NOTICE FOR EU RESIDENTS: This software is NOT compliant with EU regulations, including GDPR and the AI Act. -
12
Generic data-assimilation toolbox written in java, with native (c and fortran) libraries for high performance computing. Provides tools to couple to your own model and a wide range of algorithms, ranging from parameter calibration to Kalman filters.
-
13
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.
-
14
wxMathPlot is an add-on library for wxWidgets which provides a framework for easy plotting of mathematical functions, sampled data and generic 2D plots.
-
15
A library and attached graphical and console based application to solve and design interlocking burr-type puzzles based on cubes, spheres, triangles and other units.
-
16
A library of tools for doing computation in game theory.
-
17
Zarja
Agent-based simulation toolkit
It is an open source scientific library that is focused on multi-agent simulations on graphs. It prepares basic toolkit for agents, models, timers, graphs, nodes and edges. It is also accompanied with tools for data processing. -
18
statTools
Command-line tools for simple statistics
statTools contains command-line tools for simple statistics -
19
LTI-Lib is an object oriented computer vision library written in C++ for Windows/MS-VC++ and Linux/gcc. It provides lots of functionality to solve mathematical problems, many image processing algorithms, some classification tools and much more...
-
20
CLISP is a portable ANSI Common Lisp implementation and development environment by Bruno Haible. Interpreter, compiler, debugger, CLOS, MOP, FFI, Unicode, sockets, CLX. UI in English, German, French, Spanish, Dutch, Russian, and Danish.
-
21
-
22
Charting tools, backtesting tools, and data visualization tools for the most popular cryptocurrencies.
-
23
Numerics for Chemical Engineering
Numerical models for chemical and process engineering
NCE Calculation Framework is a library of routines, models and data applicable to chemical and process engineering calculations, written in Java. -- NEW -- www.chesolver.com *ONLINE CALCULATORS*. A set of solvers to perform calculations consistently on any device, from smart-phone to desktop. 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... -
24
Fraqtive
Generator of the Mandelbrot family fractals
Fraqtive is an open source, multi-platform generator of the Mandelbrot family fractals. It uses very fast algorithms supporting SSE2 and multi-core processors. It generates high quality anti-aliased images and renders 3D scenes using OpenGL. It allows real-time navigation and dynamic generation of the Julia fractal preview. Website: https://fraqtive.mimec.org/ -
25
wxMaxima
Cross platform GUI for Maxima
wxMaxima is a cross-platform graphical front-end for the computer algebra system Maxima based on wxWidgets. It provides nice display of mathematical output and easy access to Maxima functions through menus and dialogs. This project has moved to github and can be reached at http://wxmaxima-developers.github.io/wxmaxima/
