Showing 1885 open source projects for "gnu linux"

View related business solutions
  • Full-stack observability with actually useful AI | Grafana Cloud Icon
    Full-stack observability with actually useful AI | Grafana Cloud

    Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

    Built 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.
    Create free account
  • Auth0 B2B Essentials: SSO, MFA, and RBAC Built In Icon
    Auth0 B2B Essentials: SSO, MFA, and RBAC Built In

    Unlimited organizations, 3 enterprise SSO connections, role-based access control, and pro MFA included. Dev and prod tenants out of the box.

    Auth0'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.
    Sign Up Free
  • 1

    NeuroNet

    Neural network program. Creates and trains neural networks, shows data

    Neural network program. Creates and trains neural networks, shows data.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    SciDAVis is a user-friendly data analysis and visualization program primarily aimed at high-quality plotting of scientific data. It strives to combine an intuitive, easy-to-use graphical user interface with powerful features such as Python scriptability.
    Leader badge
    Downloads: 1,967 This Week
    Last Update:
    See Project
  • 3

    opbdp

    opbdp (non-linear) pseudo-Boolean optimization

    opbdp is an implementation in C++ of an implicit enumeration algorithm for solving (non)linear 0-1 (or pseudo-Boolean) optimization problems with integer coefficients. A research report describing the techniques used in opbdp is included.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    PeCalc

    PeCalc

    PeCalc is a polyvalent engineering calculator for S&T students

    ...It also allows making changes of numeric base, prime factor decomposition, solving linear equation systems, statistical and financial computations, rational fraction decomposition and plotting some control engineering graphs. PeCalc includes comprehensive user help in English and Spanish. Currently PeCalc runs on Android and MS Windows. A version for GNU Linux is planned for the near future. It has been developed in Object Pascal using Embarcadero Delphi. A Lazarus/Free Pascal version will be available soon too.
    Downloads: 2 This Week
    Last Update:
    See Project
  • Try Google Cloud Risk-Free With $300 in Credit Icon
    Try Google Cloud Risk-Free With $300 in Credit

    No hidden charges. No surprise bills. Cancel anytime.

    Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
    Start Free
  • 5
    Perl Data Language
    The PDL module gives standard perl the ability to COMPACTLY store and SPEEDILY manipulate the large N-dimensional data sets that are the bread and butter of scientific computing.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 6
    Netgen Mesh Generator

    Netgen Mesh Generator

    NETGEN is an automatic 3d tetrahedral mesh generator

    NETGEN is an automatic 3d tetrahedral mesh generator. It accepts input from constructive solid geometry (CSG) or boundary representation (BRep) from STL file format. The connection to a geometry kernel allows the handling of IGES and STEP files. NETGEN contains modules for mesh optimization and hierarchical mesh refinement. Netgen is open source based on the LGPL license. It is available for Unix/Linux and Windows.
    Downloads: 26 This Week
    Last Update:
    See Project
  • 7
    CompPad
    CompPad is a LibreOffice extension that provides live mathematical and engineering calculations within a Writer document. It is intended to provide a free / open-source alternative to Mathcad .
    Downloads: 7 This Week
    Last Update:
    See Project
  • 8
    A library and attached graphical and console based application to solve and design interlocking burr-type puzzles based on cubes, spheres, triangles and other units.
    Leader badge
    Downloads: 40 This Week
    Last Update:
    See Project
  • 9
    Gambit
    A library of tools for doing computation in game theory.
    Downloads: 9 This Week
    Last Update:
    See Project
  • Go From AI Idea to AI App Fast Icon
    Go From AI Idea to AI App Fast

    One platform to build, fine-tune, and deploy ML models. No MLOps team required.

    Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
    Try Free
  • 10
    AlphaPlot

    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...
    Leader badge
    Downloads: 27 This Week
    Last Update:
    See Project
  • 11
    OFELI
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12

    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.
    Leader badge
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    StatisticsTables

    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. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    qrupdate is a Fortran library for fast updates of QR and Cholesky decompositions.
    Leader badge
    Downloads: 21 This Week
    Last Update:
    See Project
  • 16
    HMD Mathematics

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    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.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 18

    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.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 19

    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/
    Leader badge
    Downloads: 2,179 This Week
    Last Update:
    See Project
  • 20
    Archive of Formal Proofs

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    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).
    Downloads: 1 This Week
    Last Update:
    See Project
  • 22
    statTools

    statTools

    Command-line tools for simple statistics

    statTools contains command-line tools for simple statistics
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    GLPK for Java

    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/).
    Leader badge
    Downloads: 8 This Week
    Last Update:
    See Project
  • 24
    CalcPro
    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
    Downloads: 1 This Week
    Last Update:
    See Project
  • 25
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB