537 projects for "linux operating system" with 2 filters applied:

  • Add Two Lines of Code. Get Full APM. Icon
    Add Two Lines of Code. Get Full APM.

    AppSignal installs in minutes and auto-configures dashboards, alerts, and error tracking.

    Works out of the box for Rails, Django, Express, Phoenix, and more. Monitoring exceptions and performance in no time.
    Start Free
  • Fully Managed MySQL, PostgreSQL, and SQL Server Icon
    Fully Managed MySQL, PostgreSQL, and SQL Server

    Automatic backups, patching, replication, and failover. Focus on your app, not your database.

    Cloud SQL handles your database ops end to end, so you can focus on your app.
    Try Free
  • 1
    gnuplot

    gnuplot

    A portable, multi-platform, command-line driven graphing utility

    A famous scientific plotting package, features include 2D and 3D plotting, a huge number of output formats, interactive input or script-driven options, and a large set of scripted examples.
    Leader badge
    Downloads: 4,957 This Week
    Last Update:
    See Project
  • 2

    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: 2 This Week
    Last Update:
    See Project
  • 3
    HOL is a system for proving theorems in Higher Order Logic. It comes with a large variety of existing theories formalising various parts of mathematics and theoretical computer science.
    Downloads: 9 This Week
    Last Update:
    See Project
  • 4
    Minsky

    Minsky

    System dynamics program with additional features for economics

    Minsky brings system dynamics and monetary modelling to economics. Models are defined using flowcharts on a drawing canvas (as are Matlab's Simulink, Vensim, Stella, etc). Minsky's unique feature is the "Godley Table", which uses double entry bookkeeping to generate stock-flow consistent models of financial flows. Minsky is good for demonstrating mathematics too, with the most "math-like" interface in system dynamics. Sign up to Minsky's Patreon page (for as little as $1 a month) at...
    Leader badge
    Downloads: 63 This Week
    Last Update:
    See Project
  • Forever Free Full-Stack Observability | Grafana Cloud Icon
    Forever Free Full-Stack Observability | 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
  • 5
    Armadillo

    Armadillo

    fast C++ library for linear algebra & scientific computing

    * Fast C++ library for linear algebra (matrix maths) and scientific computing * Easy to use functions and syntax, deliberately similar to Matlab / Octave * Uses template meta-programming techniques to increase efficiency * Provides user-friendly wrappers for OpenBLAS, Intel MKL, LAPACK, ATLAS, ARPACK, SuperLU and FFTW libraries * Useful for machine learning, pattern recognition, signal processing, bioinformatics, statistics, finance, etc. * Downloads:...
    Leader badge
    Downloads: 2,613 This Week
    Last Update:
    See Project
  • 6
    gretl

    gretl

    A cross-platform statistical package for econometric analysis

    gretl is a cross-platform software package for econometric analysis, written in the C programming language.
    Leader badge
    Downloads: 13,090 This Week
    Last Update:
    See Project
  • 7
    Maxima -- GPL CAS based on DOE-MACSYMA

    Maxima -- GPL CAS based on DOE-MACSYMA

    Computer Algebra System written in Common Lisp

    ...It features its own programming language, and many users have contributed useful packages in various areas over the decades. It is GPL-licensed and largely written in Common Lisp. Executables can be downloaded for Windows, Mac, Linux, and Android; source code is also available. An active community maintains and extends the system. Website: https://maxima.sourceforge.io Additional add-on packages for Maxima can be found at: https://github.com/maxima-project-on-github/maxima-packages
    Leader badge
    Downloads: 2,919 This Week
    Last Update:
    See Project
  • 8
    Agena

    Agena

    Agena is an interpreted procedural programming language.

    Agena is an easy-to-learn procedural programming language designed for science, scripting, and many other applications. Binaries are available for Windows, Linux, Solaris, OS/2, Mac OS X, Raspberry Pi and DOS.
    Leader badge
    Downloads: 85 This Week
    Last Update:
    See Project
  • 9
    Mobile Open-Source Software and Tools

    Mobile Open-Source Software and Tools

    Android, UIQ 3.0, Series 60 Edition 5 open-source software

    Android, Symbian UIQ 3.0 and Symbian Series 60 Edition 5 open-source software, tools, libraries and themes. Most notable the FX-602P / FX-603P Simulator and the HP-45 Emulator are hosted here.
    Leader badge
    Downloads: 54 This Week
    Last Update:
    See Project
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB 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.
    Start Free
  • 10
    REDUCE

    REDUCE

    A Portable General-Purpose Computer Algebra System

    REDUCE is an interactive system for general algebraic computations of interest to mathematicians, scientists and engineers. It can be used interactively for simple calculations but also provides a flexible and expressive user programming language. The development of the REDUCE computer algebra system was started in the 1960s by Anthony C. Hearn. Since then, many scientists from all over the world have contributed to its development.
    Leader badge
    Downloads: 60 This Week
    Last Update:
    See Project
  • 11
    CRC RevEng

    CRC RevEng

    Arbitrary-precision CRC calculator and algorithm finder

    CRC RevEng is a portable, arbitrary-precision CRC calculator and algorithm finder. It calculates CRCs using any of the 113 preset algorithms, or a user-specified algorithm to any width. It calculates reversed CRCs to give the bit pattern that produces a desired forward CRC. CRC RevEng also reverse-engineers any CRC algorithm from sufficient correctly formatted message-CRC pairs and optional known parameters. It comprises powerful input interpretation options. Compliant with Ross Williams'...
    Leader badge
    Downloads: 108 This Week
    Last Update:
    See Project
  • 12
    Interval arithmetic for Ada

    Interval arithmetic for Ada

    An implementation of interval arithmetic

    The library provides an implementation of intervals for Ada. It includes arithmetic and relational operations. The library supports intervals with integer and floating-point bounds. Dimensioned intervals are also supported
    Downloads: 1 This Week
    Last Update:
    See Project
  • 13
    FriCAS is an advanced computer algebra system. Its capabilities range from calculus (integration and differentiation) to abstract algebra. It can plot functions and has integrated help system.
    Leader badge
    Downloads: 20 This Week
    Last Update:
    See Project
  • 14
    schur

    schur

    Interactive Program For Calculating Properties Of Symmetric Functions

    Schur is a standalone program for interactively calculating properties of Lie groups and symmetric functions. Schur has been designed to answer questions of relevance to a wide range of problems of interest to chemists, mathematicians, computer scientists,...
    Downloads: 10 This Week
    Last Update:
    See Project
  • 15

    zkcm

    A C++ library for multiprecision complex-number matrix calculations.

    zkcm library is a C++ library for multi-precision complex-number matrix calculations. It provides a number of functionalities including the LU decomposition, the singular value decomposition, tensor product calculation, tracing-out operations, etc.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 16
    Asymptote

    Asymptote

    2D & 3D TeX-Aware Vector Graphics Language

    Asymptote is a powerful descriptive vector graphics language for technical drawing, inspired by MetaPost but with an improved C++-like syntax. Asymptote provides for figures the same high-quality typesetting that LaTeX does for scientific text.
    Leader badge
    Downloads: 123 This Week
    Last Update:
    See Project
  • 17
    Bandicoot

    Bandicoot

    fast C++ library for GPU linear algebra & scientific computing

    * Fast GPU linear algebra library (matrix maths) for the C++ language, aiming towards a good balance between speed and ease of use * Provides high-level syntax and functionality deliberately similar to Matlab * Provides an API that is aiming to be compatible with Armadillo for easy transition between CPU and GPU linear algebra code * Useful for algorithm development directly in C++, or quick conversion of research code into production environments * Distributed under the permissive...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 18
    SPINA

    SPINA

    Structure parameter inference approach for endocrine feedback control

    SPINA is software for the rapid, reliable and accurate determination of constant structure parameters of endocrine feedback control systems. It is a class of static function tests that require nothing more than steady-state concentrations of hormones or metabolites obtained in vivo. The first version of this cybernetic approach had been developed for the evaluation of the functional status of the thyroid gland, i.e. thyroid's secretory capacity (gain of thyroid, GT or SPINA-GT) and sum...
    Leader badge
    Downloads: 15 This Week
    Last Update:
    See Project
  • 19
    Statistical program, somewhat like shareware DataFit. You may provide a custom template (or exchange the template library with your friends or Internet including sf.net) and test your tabled data. Calculates F-ratio.
    Downloads: 9 This Week
    Last Update:
    See Project
  • 20
    GluCat: Clifford algebra templates

    GluCat: Clifford algebra templates

    Calculation with Clifford algebras: C++ library and Python module

    GluCat is a generic library of C++ templates that implement universal Clifford algebras over the field of real numbers. The PyClical extension module for Python gives users an easy Python scripting interface for calculations in Clifford algebras. The name PyClical is an homage to Pertti Lounesto's CLICAL.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Criterial

    Criterial

    The package for statistical data analysis and applied mathematics

    Putting truth before show-off. The high performance open source package for statistical data analysis and applied mathematics Criterial is an add-in for all desktop versions of the LibreOffice Calc, Apache OpenOffice spreadsheets on any operating systems. The combination of the unsurpassed convenience of spreadsheets as frontend and the maximum speed of the C++ programming language as backend. Contains user experience and the best ideas of projects AtteStat and StatAnt. Completely free. ...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 22

    overtureFramework

    A framework for solving partial differential equations

    Overture is a framework for solving partial differential equations (PDEs) in complex, possibly moving geometry. Overture uses overlapping grids to represent the geometry. The software includes grid generation capabilities, PDE solvers for fluids, solids, and fluid-structure interactions (FSI) as well as electromagnetics.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    java symbolic computing library and math editor, with : polynomial system solving, vectors & matrices, factorization, derivatives, integrals (rational functions), boolean algebra, simplification, MathML output, java code generation, geometric algebra
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    rechne.exe

    rechne.exe

    Command-line calculator and libray.

    Easy-to-use command-line calculator for basic and scientific calculations.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    MaxFEM

    MaxFEM

    Software for electromagnetic simulation

    MaxFem is an open software package for electromagnetic simulation by using finite element methods. The package can solve problems in electrostatics, direct current, magnetostatics and eddy-currents. Since version 0.4.0, MaxFEM requires Python 3. We have moved the installers to the MaxFEM website (see below). In order to improve MaxFEM, we will require you to fill out a simple form before downloading them.
    Downloads: 7 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • 4
  • 5
  • Next
MongoDB Logo MongoDB