Search Results for "server iso linux"
Sort By:
Showing 36 open source projects for "server iso linux"
View related business solutions-
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.
-
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.
-
1
MathCode
A Frontier Mathematical Coding Agent
MathCode is a terminal-based AI coding assistant focused on mathematical formalization and theorem proving. It is designed to transform plain-language mathematical reasoning into verified Lean 4 code and formal proofs. The project combines AI agents with Lean Language Server Protocol integration, allowing it to inspect compiler feedback, search for lemmas, and iteratively repair failed proof attempts. It supports an agentic proving workflow where the system behaves more like an interactive... -
2
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. -
3
SOFA is a statistics, analysis, and reporting program with an emphasis on ease of use, learn as you go, and beautiful output.
-
4
Bandicoot
fast C++ library for GPU linear algebra & scientific computing
* Fast GPU linear algebra library (matrix maths) for the C++ language, aiming towards a good balance between speed and ease of use * Provides high-level syntax and functionality deliberately similar to Matlab * Provides an API that is aiming to be compatible with Armadillo for easy transition between CPU and GPU linear algebra code * Useful for algorithm development directly in C++, or quick conversion of research code into production environments * Distributed under the permissive... -
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
5
MathSteps
Step by step math solutions for everyone
mathsteps is a JavaScript library that performs step-by-step algebraic simplification and equation solving for expressions provided as strings. It exposes functions to simplify expressions and to solve equations, returning a structured sequence of steps that detail each transformation. For every step, mathsteps reports the original node, the change type, the resulting node, and any substeps, which makes it useful for education, debugging, and explainable math tooling. The library also... -
6
gsasnp2
PubMed ID: 29562348 / DOI: 10.1093/nar/gky175
.... * PubMed ID: 29562348 * DOI: 10.1093/nar/gky175 -> PLEASE MOVE OR MAKE A COPY OF 'DATA' FOLDER INTO YOUR INTENSIVE TEST FOLDER (I.E. LINUX, MAC OR WINDOWS SPECIFIED FOLDER) TO ALLOW THE PROGRAM TO FIND THE PREDESIGNED DATA. * UPDATE NOTE: -> Sep-1-2020: add an update for Ubuntu-20.04. You will need Boost library installed (sudo apt-get install libboost-all-dev) -> Mar-7-2018: revise header terms in the output file -
7
Vytics Community
Query and plot data in seconds (Excel, CSV, SQL and NoSQL DBMS)
Vytics lets you query and plot csv data, Excel files, databases (SQL and NoSQL). You can also organize your queries, data and graphs into reports and projects. -
8
SWire
A Stata plugin for connecting Stata with other software
SWire is a software interface enabling us to query Stata for the executing of basic operations like reading or writing data. The core of SWire is a Java plugin which functions as a server and it can be queried by using the HTTP protocol. SWire is in essence a wrapper around the Stata-Java API and all the functions relating to this API can, therefore, be externally called by clients. SWire can be interrogated on a local network and it accepts AJAX queries, thus enabling the development of... -
9
SWire4R
An R package enabling R to interact with Stata for data exchange
Swire4R is an R package for exchanging data between R and Stata. SWire4R uses SWire for connecting R to Stata. SWire is a plugin for Stata >=13 which acts like a server: client applications can query SWire for interacting with Stata. SWire4R acts like a client application for Swire, providing the user with various basic functions for retrieving data from Stata and exporting data to Stata. SWire4R must be compiled by R. For more information about SWire, visit https://sourceforge.net/projects/swire/ -
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
10
LateXSL is a set of XSLT stylesheets that translates LaTeX embedded in a Web page into HTML, so that math typed directly into a web page as LaTeX is displayed as math in a viewer's browser. The stylesheets may be applied in the browser or by a server.
-
11
EDM Calibration Baseline Fitting
EDMFit is an adjustment tool to estimate EDM calibration parameters.
An EDM calibration baseline is used to derive specific instrument errors of the electronic distance measurement (EDM) unit of a total station. EDMFit is a simple adjustment tool to estimate the EDM calibration parameters (addition constant and/or scale parameter). The adjustment process is according to ISO 17123-4. The parameters are checked for significance, to avoid an overestimation. Based on two classical hypothesis testing, EDMFit provides a reliable outlier detection. For... -
12
Universal Java Matrix Package
sparse and dense matrix, linear algebra, visualization, big data
The Universal Java Matrix Package (UJMP) is an open source Java library which provides sparse and dense matrix classes, as well as a large number of calculations for linear algebra such as matrix multiplication or matrix inverse. Operations such as mean, correlation, standard deviation, replacement of missing values or the calculation of mutual information are supported, too. The Universal Java Matrix Package provides various visualization methods, import and export filters for a large... -
13
SEPIA: Security-oriented PN Framework
Petri net framework for security related modeling and reasoning.
SEPIA provides implementations for various types of Petri nets. Along Place/Transition-nets, it supports Petri nets with distinguishable token colors and defines coloured workflow nets, where coloured tokens are interpreted as data elements used during process execution. To support information flow analysis of processes, SEPIA defines so-called IF-Nets, tailored for security-oriented workflow modeling which enable users to assign security-levels (HIGH, LOW) to transitions, data elements and... -
14
Handles Hexahedral, Tetrahedral, Quadrilateral, and Triangle meshes. Lagrangian, Hierarchic, and Monomial finite elements. Interface to PETSc solvers, adaptive mesh refinement, and extreme portablility.
-
15
ATMSP
ATMSP - A Tiny Mathematical Speed Parser
A Tiny Mathematical Speed Parser ATMSP is a portable C++ parser for mathematical expressions like "sin(x)+y^2" e.g. These may contain arbitrary numbers of functions, variables and constants. Major design goal was minimalistic size and maximum speed. Tiny 320 code-lines offer a parser plus bytecode-generator, 26 mathematical functions and 17 supported base-types including complex and arbitrary MPFR-multiprecision. Both parser and bytecode may run in threads. The usage of ATMSP is... -
16
-
17
blitzwave
C++ wavelet library
blitzwave is a c++ wavelet library building on the blitz++ array classes. NOTE: blitzwave has moved to GitHub - the new project URL is http://github.com/oschulz/blitzwave/ . -
18
System Stability Tester is a multi platform open source clone of SuperPI and comes with a GUI and a CLI. It can be used for CPU and RAM burning, stressing and benchmarking.
-
19
Java Micro Benchmark - control tasks required to determine the comparative performance characteristics of the computer system on different platforms. Can be used to determine the effect of different software on the performance of a computer system.
-
20
Matrex is a lightweight vectorial spreadsheet: calculates blocks of values, not single cells; it is strongly multithreaded; users can work together on sheets using a server. Adapters to matlab, scilab, octave, R.
-
21
Web based PHP interface to communicate to Maxima computer algebra system in the server. It takes user input, send it to Maxima, and show the output back to website. It could send almost any commands including 'plot2d' and 'plot3d' to plot graphs.
-
22
QwtPlot3D is a graphics extension to the Qt GUI application framework. It provides a 3D plotting widget for scientific data and mathematical expressions. It compares to the existing Qwt Project.
-
23
-
24
This tool, described in the July 2006 issue of IEEE Computer, determines how many servers to install such that average request response time is 'x' number of seconds. The tool is a Java application that is used for server sizing efforts.
-
25
GeoGebra is free and multi-platform dynamic mathematics software for learning and teaching geometry, algebra, statistics, and calculus. Download the free software at http://www.geogebra.org. Find the source code at http://www.geogebra.org/trac
