Search Results for "linux command" - Page 5
Sort By:
Showing 270 open source projects for "linux command"
View related business solutions-
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.
-
AI-powered service management for IT and enterprise teamsGive your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
-
1
Hilbert II - QEDEQ
proof verifier for mathematical proofs and documentation generator
In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started. -
2
fesslix
Stochastic Analysis
A brief summary of the main features of Fesslix: - Perform non-intrusive reliability analysis or Bayesian updating either --- by running commands on the command line or --- by means of an Octave interface or --- by means of a Python interface - Flexible input language for writing Fesslix parameter files --- Control flow statements (e.g. if, for, while) --- Most parameters can be defined as functions - Working with response surfaces - Linear finite element analysis using truss, beam... -
3
surfit is an open source and free gridding and contouring software. surfit can do interpolation/approximation of points, contours and surfaces, can take fault lines and trend surfaces into account, can use inequalities and other conditions. Supports a lo
-
4
Statistics modules in Perl Data Language, with a quick-start guide for non-PDL people. They make the PDL shell work like R, but with PDL threading (fast automatic iteration) of procedures including t-test, linear regression, and k-means clustering.
-
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
5
TifaMMy isn't the fastest Matrix Multiplication yet! A library for cache oblivious matrix operations using the space filling Peano curve. Aim is for BLAS / LAPACK functionality (but with an intuitive C++ API).
-
6
LExAu: Learning Expectations Autonomously. Library for on-line data driven statistical machine learning.
-
7
A collection of small utilities with a connection to cryptography and cryptanalysis. Written for efficiency and a small memory footprint.
-
8
This is the former home of pyecm, which has now been moved to github: https://github.com/martingkelly/pyecm Pyecm factors large integers (up to 50 digits) using the Elliptic Curve Method (ECM), a fast factoring algorithm.
-
9
analyzematrix
Command line tool for reporting details on a given matrix
analyzematrix is a command line tool for learning detailed information about a matrix including its inverse, determinant, eigenvalues, eigenvectors, and singular value decomposition. -
$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.
-
10
ASCEND is a modelling environment and solver for large or small systems of non-linear equations, for use in engineering, thermodynamics, chemistry, physics, mathematics and biology. Solvers for both steady and dynamic (NLA & DAE) problems, are provid
-
11
QtoNum
python calculus library with imprecise and precise representations
QtoNum is a calculator for qualitative values (-, +), intervals and crisp numbers with arbitrary precision. QtoNum also handles infinitesimals and infinites. All these types can be mixed in expressions and conversions are performed automatically. QtoNum can be used as an interactive calculator (command line) and as a calculus library. -
12
-
13
abc-sde
approximate Bayesian computation for stochastic differential equations
A MATLAB toolbox for approximate Bayesian computation (ABC) in stochastic differential equation models. It performs approximate Bayesian computation for stochastic models having latent dynamics defined by stochastic differential equations (SDEs) and not limited to the "state-space" modelling framework. Both one- and multi-dimensional SDE systems are supported and partially observed systems are easily accommodated. Variance components for the "measurement error" affecting the... -
14
GLPKMEX - a Matlab MEX interface for the GLPK library Note: GLPKMEX is not currently compatible with glpk-4.49, or later. please use with glpk 4.40 - 4.48.
-
15
libfgen
Library for optimization using a genetic algorithm or particle swarms
libfgen is a library that implements an efficient and customizable genetic algorithm (GA). It also provides particle swarm optimization (PSO) functionality and an interface for real-valued function minimization or model fitting. It is written in C, but can also be compiled with a C++ compiler. Both Linux and Windows are supported. -
16
Publicly available copy of the Featflow2 project. WARNING: Source does not include the "libraries" subdirectory which is necessary for development in Windows due to copyright reasons. Ask us if you need it!
-
17
-
18
PopED (Population Experimental Design) is a software tool for computing optimal experimental designs. The software has been developed with an emphasis on drug trials based on population models (non-linear mixed effects models).
-
19
Command line / filter tool - Analyze, compute and transform numerical data tables of unlimited length
-
20
PolyBoRi is implemented as a C++ library for Polynomials over Boolean Rings, which provides high-level data types for Boolean polynomials. A python-interface yields extensible algorithms for computing Groebner bases over Boolean Rings.
-
21
Tcl binding to levmar library implementing Levenberg-Marquardt optimization algorithm often used in data fitting. Levmartcl is a standard Tcl extension providing command interface to levmar functionality. This library is only a wrapper of <levmar> which actually performs the work. See the <levmar> home site for details: http://www.ics.forth.gr/~lourakis/levmar/
-
22
LightLife
A lightweight Implementation of Conway's Game of Life
LightLife offers a clearly laid out user interface to test a universe without any effort. It support various modifications, can save and open Windows-Bitmaps and has got a build-in database of the most common objects. -
23
EToS (Efficient Technology of Spike sorting; Extracellular recording To Spike trains) is an open-source system for spike sorting. EToS contains the programs of spike detection, feature extraction and clustering.
-
24
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.
-
25
The program evaluates ordinal expressions and relations. displaying the normal form output in plain text and/or TeX format. It supports notations for ordinals through and somewhat beyond those definable by the Veblen function.
