Search Results for "gnu linux" - Page 5
Sort By:
Showing 1211 open source projects for "gnu linux"
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.
-
Gemini 3 and 200+ AI Models on One PlatformBuild, govern, and optimize agents and models with Gemini Enterprise Agent Platform.
-
1
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/ -
2
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. -
3
Gato (Graph Animation Toolbox): Animate graph algorithms for example for computing shortest paths, minimal spanning trees, maximum flows or maximal cardinality or weight matchings. Create your own animations using the Animated Data Structures (ADS).
-
4
statTools
Command-line tools for simple statistics
statTools contains command-line tools for simple statistics -
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
5
GLPK for Java
Java language binding for the GNU Linear Programming Kit (GLPK)
GLPK for Java provides a Java language binding for the library GLPK. GLPK is a proven solver for linear and mixed integer mathematical programming problems. For Windows binaries see project GLPK for Windows (http://sourceforge.net/projects/winglpk/). -
6
The new version of MinimPy (MinimPy2) is available for download at: https://osdn.net/dl/minimpy2/MinimPy2.zip Please send your feedback about this new version to mahmood.saghaei@gmail.com (include MinimPy2 in the subject) ============================================================ MinimPy is a desktop application program for sequential allocation of subjects to treatment groups in clinical trials by using the method of minimization. Comprehensive reference help is available at...
-
7
FiboSearch
Efficiently locate minumum of function of non-negative integer
Fibonacci search for functions! Given a real-valued function of a non-negative integer with one minimum at i in {0, 1, 2, ..., n} and no local minima, efficiently locate that minimum in log (n) time. -
8
lnlc
lnlc calculates linear nlc-width and corresponding expressions
lnlc calculates linear nlc-width and corresponding linear nlc-width expressions. On 2014's computers it works quite well up to graph sizes of about 10 nodes of linear nlc-width 3. The runtime depends on the size of the input graph, its linear nlc-width, and the number of nodes of high degree. The archive also contains the widths and corresponding expressions for the trees of up to 12 nodes. -
9
Programmer's library for random numbers. Also random number generator testing code. Intended for simulation, games and "Monte-Carlo" algorithms.
-
Full-stack observability with actually useful AI | 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.
-
10
gsasnp2
PubMed ID: 29562348 / DOI: 10.1093/nar/gky175
* GSA-SNP2 is a successor of GSA-SNP (Nam et al. 2010, NAR web server issue). GSA-SNP2 accepts human GWAS summary data (rs numbers, p-values) or gene-wise p-values and outputs pathway genesets ‘enriched’ with genes associated with the given phenotype. It also provides both local and global protein interaction networks in the associated pathways. * Article: SYoon, HCTNguyen, YJYoo, JKim, BBaik, SKim, JKim, SKim, DNam, "Efficient pathway enrichment and network analysis of GWAS summary data... -
11
Combinatorial Game Suite
A computer algebra system for research in combinatorial game theory.
STARTING WITH VERSION 2.0, CGSUITE HAS MOVED TO GITHUB. The latest version can be found at the CGSuite homepage: https://www.cgsuite.org/ This page is preserved for archival purposes only and is no longer being maintained. -
12
Java library of statistical distribution functions. Classes implement the PDF, CDF, and (usually) quantile and random variate generation for many common distributions.
-
13
Tux Math Scrabble
12÷16×3=9÷4
Latest version 0.9.1 runs on Python3. Date: June 15, 2023 Online/touch-screen version: https://www.asymptopia.com/tuxmathscrabble Encourages kids to construct compound equations and consider multiple abstract possibilities. -
14
A2RMS Algorithm
Implementation of the A2RMS Algorithm in Matlab
Implementation of the A2RMS Algorithm for univariate densities defined for real values. -
15
Big Q Sort
An in-place external sort
-
16
AdaAutoDiff
C++ Templates and Ada Package for Automatic Differentiation
Operators are overloaded so that a normal looking function definition provides access to not only evaluations of itself, but to evaluations of any of its analytic derivatives. Automatic differentiation means the user does not need to define the analytic expressions for all the various partial derivatives. It also means that those complex expressions are essentially calculated at compile time, and merely evaluated at runtime. First order derivatives only, forward... -
17
kpolynomeV2
A Qt program that calculates polynoms based on given data coordinates.
Qt 5.9 reimplementation of kpolynome - no KDE required. -
18
IT: Questo progetto è composto da una classe php che traduce, in modo naive, espressioni matematiche in istruzioni php. EN: This project is composed by a php class able to quickly translate mathematical expressions in php instructions.
-
19
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.
-
20
Software for exploring & solving polyform puzzles, written in Python. Includes solvers for: pentominoes/polyominoes, solid pentominoes, Soma cubes, polycubes, polyiamonds, polyhexes, polysticks, and more to come.
-
21
A symbolic framework for C++, Python and Octave implementing automatic differentiation by source code transformation in forward and reverse modes on sparse matrix-valued computational graphs.
-
22
Javaluator
A java infix evaluator based on "Shunting Yard" algorithm.
Evaluate an arithmetic expression is as simple as: Double result = new DoubleEvaluator().evaluate("(e^3-1)*sin(pi/4)*ln(pi^2)"). But Javaluator provides you with much more ... Key features: - Functions support, including variable argument count. - Constants support: e, pi, etc ... - Variables support: Example sin(x) for x = pi/4. - Highly configurable: Reduce the built-in operator or function sets, define your own brackets. - Extensible: Define your own grammar, or extends the... -
23
ADiGator
A MATLAB Automatic Differentiation Tool
ADiGator is a source transformation via operator overloading tool for the automatic differentiation of mathematical functions written in MATLAB. Given a user written file, together with information on the inputs of said file, ADiGator uses forward mode automatic differentiation to generate a new file which contains the calculations required to compute the numeric derivatives of the original user function. Furthermore, these calculations are written entirely in the native MATLAB language,... -
24
newLISP for BSDs, LINUX, MacOS X, SunOS and Win32: small, fast 350+ functions, a -C-, MySQL, PostgreSQL, SQLite, ODBC, TCP/IP, UDP, XML, Java interface, string processing, regular expressions , math, financial, statistical functions, Win32 DLL
-
25
VEmath
Arduino library of mathematical functions
This library can help to add some algebra to your Arduino project.
