Showing 116 open source projects for "linux tool"

View related business solutions
  • AI-powered service management for IT and enterprise teams Icon
    AI-powered service management for IT and enterprise teams

    Enterprise-grade ITSM, for every business

    Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
    Try it Free
  • Deploy Apps in Seconds with Cloud Run Icon
    Deploy Apps in Seconds with Cloud Run

    Host and run your applications without the need to manage infrastructure. Scales up from and down to zero automatically.

    Cloud Run is the fastest way to deploy containerized apps. Push your code in Go, Python, Node.js, Java, or any language and Cloud Run builds and deploys it automatically. Get fast autoscaling, pay only when your code runs, and skip the infrastructure headaches. Two million requests free per month. And new customers get $300 in free credit.
    Try Cloud Run Free
  • 1
    Statistics

    Statistics

    Detects usage of unsafe Rust in a Rust crate and its dependencies

    A tool that lists statistics related to the usage of unsafe Rust code in a Rust crate and all its dependencies.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    SymPy

    SymPy

    A computer algebra system written in pure Python

    SymPy is an open source Python library for symbolic mathematics. Its goal is to become a full-featured computer algebra system (CAS) while maintaining the simplicity of its code. Written entirely in Python, SymPy is easy to use, comprehensible and easily extensible. It’s also very lightweight as it solely depends on mpmath, a pure Python library for arbitrary floating point arithmetic. SymPy has participated in every Google Summer of Code since 2007 and because of this has continuously...
    Downloads: 15 This Week
    Last Update:
    See Project
  • 3
    GMAT

    GMAT

    General Mission Analysis Tool

    The General Mission Analysis Tool (GMAT) is an open-source tool for space mission design and navigation. GMAT is developed by a team of NASA, private industry, and public and private contributors. The GMAT development team is pleased to announce the release of GMAT version R2025a. For a complete list of new features, compatibility changes, and bug fixes, see the R2025a Release Notes in the Users Guide.
    Leader badge
    Downloads: 901 This Week
    Last Update:
    See Project
  • 4
    RODIN
    Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.
    Leader badge
    Downloads: 1,614 This Week
    Last Update:
    See Project
  • Build on Google Cloud with $300 in Free Credit Icon
    Build on Google Cloud with $300 in Free Credit

    New to Google Cloud? Get $300 in free credit to explore Compute Engine, BigQuery, Cloud Run, Vertex AI, and 150+ other products.

    Start your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query exabytes in BigQuery, or build AI apps with Vertex AI and Gemini. Once your credits are used, keep building with 20+ products with free monthly usage, including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. Sign up to start building right away.
    Start Free Trial
  • 5
    Community Z Tools

    Community Z Tools

    Tool support for the Z formal notation

    Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools. NOTE: development of CZT has now moved to GitHub: https://github.com/community-z-users/czt
    Leader badge
    Downloads: 187 This Week
    Last Update:
    See Project
  • 6
    Euler Math Toolbox

    Euler Math Toolbox

    Numerical and Symbolic Math Tool

    Euler is a powerful all-in-one numerical software and includes Maxima for seamless symbolic computations. Euler supports Latex for math display, Povray for photo-realistic 3D scenes, Python, Matplotlib and C for scripting, and contains a full programming language. Features include libraries for numerical algorithms, optimization, plotting in 2D and 3D, graphics export, a complete help system, tutorials and examples. Euler runs in Windows natively, or in Linux via Wine. It is completely...
    Leader badge
    Downloads: 87 This Week
    Last Update:
    See Project
  • 7
    STK

    STK

    a Small (Matlab/Octave) Toolbox for Kriging

    The STK is a (not so) Small Toolbox for Kriging. Its primary focus in on the interpolation / regression technique known as kriging, which is very closely related to Splines and Radial Basis Functions, and can be interpreted as a non-parametric Bayesian method using a Gaussian Process (GP) prior. The STK also provides tools for the sequential and non-sequential design of experiments. Even though it is, currently, mostly geared towards the Design and Analysis of Computer Experiments (DACE),...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 8

    Dynamics Explorer

    Dynamical systems research tool

    Dynamics Explorer, (detool for short), is a program designed to let users explore dynamical systems, particularly focused on enabling mathematicians to improve the efficiency and quality of their research in the field of complex dynamics.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9

    calc: C-style arbitrary precision system

    Calc: arbitrary precision C-like arithmetic & calculator

    Calc is arbitrary precision C-like arithmetic system that is a calculator, an algorithm prototyper and mathematical research tool. Calc comes with a rich set of builtin mathematical and programmatic functions.
    Downloads: 1 This Week
    Last Update:
    See Project
  • Run Any Workload on Compute Engine VMs Icon
    Run Any Workload on Compute Engine VMs

    From dev environments to AI training, choose preset or custom VMs with 1–96 vCPUs and industry-leading 99.95% uptime SLA.

    Compute Engine delivers high-performance virtual machines for web apps, databases, containers, and AI workloads. Choose from general-purpose, compute-optimized, or GPU/TPU-accelerated machine types—or build custom VMs to match your exact specs. With live migration and automatic failover, your workloads stay online. New customers get $300 in free credits.
    Try Compute Engine
  • 10
    Curv

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

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

    PlanetPack

    Radial-velocity & transits analysis tool for exoplanets

    PlanetPack is a software tool developed to facilitate the radial-velocity time-series analysis for the goal of exoplanets detection, characterization, and basic dynamical simulations. The description of the main theoretic concepts, statistical methods and algorithms that PlanetPack implements, is given in the following refereed papers: R.V. Baluev 2013, Astronomy & Computing, V. 2, P. 18 (initial release); R.V. Baluev 2018, Astronomy & Computing, V. 25, P. 221 (update 3.0). The...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 14
    ADiGator

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

    cocolib / light field suite

    CUDA library for continuous optimization and light field analysis

    Library for continuous convex optimization in image analysis, together with a command line tool and Matlab interface. Implements several recent algorithms for inverse problems and image segmentation with total variation regularizers and vectorial multilabel transition costs. Also included is a suite for variational light field analysis, which ties into the HCI light field benchmark set and givens reference implementations for a number of our recently published algorithms. *** NOTE: ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    zCharter
    Charting tools, backtesting tools, and data visualization tools for the most popular cryptocurrencies.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17

    TimescapeGlobal

    a space-time interpolation geostatistical tool

    This software is a time-aware geostatistical tool. Including time variability adds further issues to the already complicated field of geostatistical interpolation. On the other hand, most of the distributions of variables used in Earth and environmental sciences show patterns of change over time, not only in space. This tool is a free, open-source software, based on a generalization of the Inverse Distance Weighted algorithm. It outputs three-dimensional, layered discrete models from which...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    A spring-based 3D graph layout tool written in Java. Rendering is performed in OpenGL via the JOGL library.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    DimensionalAnalysis

    DimensionalAnalysis

    Performs dimensional analysis from cells in a spreadsheet.

    The Dimensional Analysis tool is meant to be used with spreadsheets containing variable definitions and formulas with physical units. It will execute the definitions and the formulas; and calculate the resulting units. The spreadsheet must follow a standard for the variables and the formulas. The general convention is to put variable names, values & formulas, and units in three columns. Make sure the names match the contents of the name cells. Use the names in the formulas, not the cell...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    Geometra

    Geometra

    Compass-and-straightedge construction

    Solve different geometrical challenges using exclusively ruler and compass. Application useful for educational purposes. Find samples in downloads page to see how easy to use and powerful is this tool.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21

    CalcoloCombinatorio-Java

    Un semplice programma in Java per il calcolo combinatorio

    Un piccolo tool in java per effettuare calcoli combinatori come: -Disposizioni -Permutazioni -Combinazioni Calcolo Combinatorio Java
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    Kohonen neural network library is a set of classes and functions for design, train and use Kohonen network (self organizing map) which is one of AI algorithms and useful tool for data mining and discovery knowledge in data (http://knnl.sf.net).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    PortOpt

    PortOpt

    A portfolio-optimizer using Markowitz(1952) mean-variance model

    PortOpt [Portfolio Optimizer] is a C++ program (with Python binding) implementing the Markowitz(1952) mean-variance model with agent's linear indifference curves toward risk in order to find the optimal assets portfolio under risk. You have to provide PortOpt (in text files or - if you use the api - using your own code) the variance/covariance matrix of the assets, their average returns and the agent risk preference. It returns the vector of assets' shares that composes the optimal...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 24
    EDM Calibration Baseline Fitting

    EDM Calibration Baseline Fitting

    EDMFit is an adjustment tool to estimate EDM calibration parameters.

    An EDM calibration baseline is used to derive specific instrument errors of the electronic distance measurement (EDM) unit of a total station. EDMFit is a simple adjustment tool to estimate the EDM calibration parameters (addition constant and/or scale parameter). The adjustment process is according to ISO 17123-4. The parameters are checked for significance, to avoid an overestimation. Based on two classical hypothesis testing, EDMFit provides a reliable outlier detection. For...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    msci

    msci

    Mad Science

    A bunch of miscillaneous scientific simulation projects not important enough to have their own project. Includes Gaspard-Rice chaotic scattering simulation, sea ice emissivity modelling, IDL library and any others I create or find kicking around.
    Downloads: 1 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • 4
  • 5
  • Next
MongoDB Logo MongoDB