Search Results for "gnu/linux" - Page 11
Sort By:
Showing 2663 open source projects for "gnu/linux"
View related business solutions-
Auth0 B2B Essentials: SSO, MFA, and RBAC Built InAuth0's B2B Essentials plan gives you everything you need to ship secure multi-tenant apps. Unlimited orgs, enterprise SSO, RBAC, audit log streaming, and higher auth and API limits included. Add on M2M tokens, enterprise MFA, or additional SSO connections as you scale.
-
Compliant and Reliable File Transfers Backed by Top Security CertificationsStop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
-
1
MAGeCK
Model-based Analysis of Genome-wide CRISPR-Cas9 Knockout
Model-based Analysis of Genome-wide CRISPR-Cas9 Knockout (MAGeCK) is a computational tool to identify important genes from the recent genome-scale CRISPR-Cas9 knockout screens technology. For instructions and documentations, please refer to the wiki page. MAGeCK is developed by Wei Li and Han Xu from Dr. Xiaole Shirley Liu's lab at Dana-Farber Cancer Institute/Harvard School of Public Health, and is maintained by Wei Li lab at Children's National Medical Center. We thank the support... -
2
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.
-
3
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. -
4
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. -
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
GCalculadora
A CALCULADORA MAIS SIMPLES E PRÁTICA DA ATUALIDADE
-
6
StatisticsTables
This is a Java APP for Probability and Statistics Tables
If you have Windows or a MAC , you can setup and run Statistics Tables with very little effort. You can use jdistabs in place of paper Probability Tables to get electronic probabilities. You can also download the Java code used to create this APP. There are 2 zips. One is for a working windows APP, and the other with complete code and file structure. I used Eclipse to develop the APP. Click the link you want to download to get the Statistics Tables Windows.exe or OS X zipped files. ... -
7
-
8
Bridge.jl
A statistical toolbox for diffusion processes
Statistics and stochastic calculus for Markov processes in continuous time, include univariate and multivariate stochastic processes such as stochastic differential equations or diffusions (SDE's) or Levy processes. -
9
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. -
Gemini 3 and 200+ AI Models on One PlatformBuild, govern, and optimize agents and models with Gemini Enterprise Agent Platform.
-
10
EVAlgebra - Clifford algebra calculator
A simple Clifford algebra calculator
EVAlgebra , symbolic Clifford algebra calculator (geometric algebra) , is an Eigenmath adaptation. EVAlgebra support space dimension from 1 to 4 with arbitrry signature. It is fully documented at evalgebra.org. You may write your own scripts to resolve specific problem. -
11
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.
-
12
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... -
13
Chuck Coleman's SAS Codes
SAS Codes
SAS codes for LMG variable importance, Box-Cox transformation including interactions. Documentation and PowerPoint slides. Directories under "Files" with descriptions: NESUG 2014: "A Fast, High-Precision Implementation of the Univariate One-Parameter Box-Cox Transformation Using the Golden Section Search in SAS/IML®" SESUG 2017: "Decomposing the R-squared of a Regression Using the Shapley value in SAS®" SESUG 2019: "Conditionally Executing Data Steps and Statements Based on... -
14
-
15
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. -
16
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/ -
17
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. -
18
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).
-
19
Entornosbro
Aquí podemos conocer un poco mejor la historia de la calculadora.
Calculadora científica para resolver tus problemas más complicados. Hecha por Pablo Jiménez Juárez, Marco Testa Moreno y Christopher González Martín. -
20
3d Linear Transformation Visualization
Visualize 3d linear transformations.
A linear transformation is a function from one vector space to another that respects the linear structure of each vector space. For visualizing this we can transform a vector, but it has an obvious problem, because the linear transformation transform the whole space, not just the vector, in other words it transforms the basis vectors thus every vector in the space gets transformed too. That's why i created this app so everyone can see how a transformation matrix change the whole space. -
21
statTools
Command-line tools for simple statistics
statTools contains command-line tools for simple statistics -
22
Lenia
Lenia - Mathematical Life Forms
Lenia is a 2D cellular automaton with continuous space, time, and states. It produces a huge variety of interesting life forms. There are various versions available. Python, Matlab, and web (JavaScript) versions are real-time, interactive, and equipped with statistics tools. Jupyter and R versions are non-interactive and just for demonstration purposes. -
23
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/). -
24
CalcPro with Function Plotter and ExpressionSolver arithmetic operations trigonometric operations calculations with hexadecimal numbers sum and mean calculator of number separated by | functions plotter (by assigning a value to x) astronomical functions statistic functions photography functions (ev calculator, lux calculator) datetime diff functions
-
25
This project will be a project that will be used by Speleologist (cavers) to help aid in the mapping of the underground world. It will be simple at first.. only allowing the entry of survey (dist/azmith/V-angle) and give back a line plot..
