Search Results for "linux software development" - Page 4
Sort By:
Showing 777 open source projects for "linux software development"
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.
-
Forever Free Full-Stack Observability | 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.
-
1
This software solves the Phylogeny problem using Median Networks. Exact and heuristic methods available. Input: an alignment and a reversible stepmatrix, output: (sub)optimal trees and their combinations. Steiner problem solver included.
-
2
MLPACK is a C++ machine learning library with emphasis on scalability, speed, and ease-of-use. Its aim is to make machine learning possible for novice users by means of a simple, consistent API, while simultaneously exploiting C++ language features to provide maximum performance and flexibility for expert users. * More info + downloads: https://mlpack.org * Git repo: https://github.com/mlpack/mlpack
-
3
CSI-Math-Notation-PostfixInfix
Perl Lib Math Notation
* Introduction: - This Module is a Library based Perl code. - The library provide: - Convert INFIX expressions to POSTFIX; - Convert POSTFIX expressions to INFIX and; - Perform POSTFIX context validations. - Context validation can be implemented in item selection routines or data context validation, when it is possible to identify data to be selected or ignored in some data analysis process. * NOTE: - Before any implementation, we recommend details in WIKI... -
4
capd
Computer Assisted Proofs in Dynamics
Dynamical Systems and Homology Software. The CAPD library is a collection of flexible C++ modules which are mainly designed to computation of homology of sets and maps and nonrigorous and validated numerics for dynamical systems. -
Enterprise-grade ITSM, for every businessFreshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
-
5
Fantasy Land Specification
Specification for interoperability of JavaScript algebraic structures
This project specifies interoperability of common algebraic structures like Setoid, Ord, Semigroupoid, Category, Semigroup, Monoid, Group, Filterable, Functor, Contravariant, Apply, Applicative, etc. An algebra is a set of values, a set of operators that it is closed under and some laws it must obey. Each Fantasy Land algebra is a separate specification. An algebra may have dependencies on other algebras which must be implemented. "Value" is any JavaScript value, including any which have the... -
6
Fuzzy Logic Tools (FLT) is a C++ framework for storage, analysis and design of fully general multiple-input multiple-output (MIMO) Takagi-Sugeno fuzzy control systems, without constraints in the order of either the inputs or the output vectors.
-
7
MetaDiSc
App for meta-analysis of diagnostic accuracy reviews
Statistical methods for the meta-analysis of diagnostic test accuracy (DTA) studies are relatively complex. We aimed to build the Meta-DiSc software to include statistical methods based on hierarchical models and an enhanced web-based interface to improve user experience. -
8
Discursive Dilemma
Optimal Decision Rules for the Discursive Dilemma
Accompanying software for the paper "Optimal Decision Rules for the Discursive Dilemma", by A. Alabert, M. Farré and R. Montes (https://arxiv.org/abs/2210.13100). Computes a ranking of the best decision rules according to a quantitative criterion based on the minimisation of the combined probabilities of false positives and false negatives -
9
TopDeg
Program for topological degree calculation.
The program calculates the degree deg(f,B,0) where B is a product of n nontrivial intervals in R^n and f is a continuous function from B to R^n. The algorithm is described in the following paper: http://www.ams.org/journals/mcom/2015-84-293/S0025-5718-2014-02877-9/ -
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.
-
10
mXparser - Math Parser Java C# Library
A flexible mathematical expressions parser for JAVA, Android, C# .NET
mXparser is highly flexible parser of math expressions. Software provides easy to use API for JAVA, Android, C# .NET/MONO (CLS). Main functionalities: - basic operators, i.e.: +, -, *, ^, ! - Boolean logic operators i.e.: or, and, xor - binary relations i.e.: =, <, > - math functions (large library of 1-arg, 2-arg, 3-arg - - functions) i.e.: sin, cos, Stirling numbers, log, inverse functions - constants (large library), i.e.: pi, e, golden ratio - n-args functions i.e.: greatest... -
11
GeomSpace
Interactive geometry software for Euclidean and non-Euclidean spaces
GeomSpace is interactive geometry software for different geometric spaces. You can build your own universe of any dimension and with any geometry. You can choose Euclidean, elliptic, hyperbolic, Galilean, Minkowskii, de Sitter among other spaces. -
12
NeuroNet
Neural network program. Creates and trains neural networks, shows data
Neural network program. Creates and trains neural networks, shows data. -
13
Axiom is a computer algebra system. It consists of an interpreter, a compiler and a library of algorithms. Axiom is an excellent research platform as well as a useful tool for scientific programming.
-
14
AlphaPlot
Interactive scientific graphing and data analysis software.
Alpha Plot can generate different types of 2D and 3D plots (such as line, scatter, bar, pie, and surface plots) from data that is either imported from ASCII files, entered by hand, or calculated using formulas. The data is held in spreadsheets which are referred to as tables with column-based data (typically X and Y values for 2D plots) or matrices (for 3D plots). The spreadsheets as well as graphs and note windows are gathered in a project and can be organized using folders. The built-in... -
15
slimcpplib
Simple Long Integer Math for C++
SLIMCPP is C++ header-only library that implements long integers that exceed maximum size of native type supported by a specific compiler by 2-4 times. All classes, methods and functions were not created or designed to work with huge numbers, for which there are specialized big integer mathematical libraries. In some cases, it is necessary to temporarily perform calculations with precision exceeding the maximum supported size of integers, and then return the result to its native size again. -
16
Curv
A language for making art using mathematics
Curv is a programming language for creating art using mathematics. It's a 2D and 3D geometric modelling tool that supports full colour, animation and 3D printing. Curv is a simple, powerful, dynamically typed, pure functional programming language. Curv is easy to use for beginners. It has a standard library of predefined geometric shapes, plus operators for transforming and combining shapes. These can be plugged together like Lego to make 2D and 3D models. Coloured shapes are represented... -
17
OFELI (Object Finite Element LIbrary) is a library of finite element C++ classes for multipurpose development of finite element software. It is intended for teaching, research and industrial developments as well.
-
18
ADaMSoft
Open Source and data mining software
ADaMSoft is a free and Open Source Data Mining software developed in Java. It contains data management methods and it can create ready to use reports. It can read data from several sources and it can write the results in different formats. -
19
HMD Mathematics
Numerical mathematics platform, Matlab alternative
Matlab alternative. Scilab alternative. GNU Octave alternative. Mathematics software for numerical computation. Ordinary differential equations solver and finite elements solver. It has a console script interpreter, as well as a graphical interface script interpreter, for entering equations and statements, and a line plot display. -
20
pgfplots - A TeX package to draw normal and/or logarithmic plots directly in TeX in two and three dimensions with a user-friendly interface and pgfplotstable - a TeX package to round and format numerical tables. Examples in manuals and/or on web site. ATTENTION: As of February 2020, the development has been moved to https://github.com/pgf-tikz/pgfplots ! Please refer to the new page for downloads and change requests! This page is kept in read-only mode.
-
21
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. Most algorithm implementations are multi-threaded, allowing YAFU to fully... -
22
-
23
proof-logic
Proof Logic : A logical framework for theorem proving
Proof Logic is a functional and equational logical framework for theorem proving based on Combinatory Logic and Lambda Calculus, whose expressions are both terms and proofs proving the equality between two terms. -
24
lpsolve
Mixed Integer Linear Programming (MILP) solver.
Mixed Integer Linear Programming (MILP) solver lp_solve solves pure linear, (mixed) integer/binary, semi-cont and special ordered sets (SOS) models.lp_solve is written in ANSI C and can be compiled on many different platforms like Linux and WINDOWS This project is moved to github: https://lp-solve.github.io/ -
25
Archive of Formal Proofs
A collection of machine-checkend mathematical proofs
The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.
