Showing 3077 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
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You 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.
    Try free now
  • 1
    QPNet

    QPNet

    Synchronous Petri Nets' emulator

    QPNet (Quick Petri Net) is a fast Petri Nets' emulator, created by students of Moscow State Technical University of Radio Engineering, Electronics and Automation. It brings benefits for the educational process, while being under further development and extension. QPNet это быстрый эмулятор сетей Петри, созданный студентами МИРЭА. Он применяется в учебном процессе, а так же продолжает разрабатываться и эволюционировать.
    Downloads: 24 This Week
    Last Update:
    See Project
  • 2
    CVM C++ Class Library encapsulates concepts of vector and square, band, symmetric and hermitian matrices in Euclidean space of real and complex numbers. It utilizes BLAS and LAPACK Fortran libraries. See http://cvmlib.com for binaries and more details.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3

    PhEq_bootstrap

    FDA's f2 computation with bootstrap technique

    This program was developed as a help in establishing pharmaceutical equivalence by use of FDA f2 coefficient. It was designed to help with f2 computation in cases when intra- and inter-batch variability is large, namely RSD>10%. The use of statistical bootstrap technique allows to implement confidence interval (CI) into the f2 coefficients resulting in overcoming of their major drawback in the original metrics. The algorithm provides possible “worst case scenario” of f2 values, thus...
    Leader badge
    Downloads: 27 This Week
    Last Update:
    See Project
  • 4
    Open source software for Bayesian statistics using Markov Chain Monte Carlo simulation.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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
  • 5

    manticora

    ternary logic calculator

    Some scripts for boolean calculation, including a parser. Ternary logic support. Everything is written in Posix Sh.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    histman

    histman

    Histogram Manager

    This program was designed to facilitate and accelerate expert’s evaluation of histogram similarity.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    NLISP is an extension to Common Lisp that provides an interactive numerical computation environment, similar to packages like Matlab and IDL. NLISP has array syntax, scientific plotting and a numerical library. It currently runs under CMUCL & SBCL Lisp.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8

    slc

    Symbolic Lambda Calculus

    Symbolic Lambda Calculus is a logical formalism based on lambda calculus and combinatory logic, in which there is only one kind of objects, which can represent either terms or equalities. It uses de Bruijn's and lambda calculus notations.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9

    javaGeom

    A geometry library for Java

    A java library for geometry applications. Provides a general framework for manipulating and creating geometric primitives, computing intersection points between shapes, composing them to create new shapes, and performing some measurements. Important note: the repository has now moved to GitHub: https://github.com/dlegland/javaGeom Please update bookmarks!
    Downloads: 3 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
    Euclide
    Euclide is a dynamic geometry application written in Java. It allows creation of geometric shapes (lines, points, circles, conics...) and transforms (rotation, symmetry...), which depend each other. Moving a shape will also move shapes dependent on it.
    Leader badge
    Downloads: 1 This Week
    Last Update:
    See Project
  • 11

    SurfaceEmbedder

    Embeds graphs into the projective plane, torus and Klein bottle.

    SurfaceEmbeder determines if a graph can be embedded into a surface and, if yes, it produces an embedding of the graph in the surface. Right now, only projective plane, torus and Klein bottle are supported. The program uses the OGDF library.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    KeplerDB

    KeplerDB

    Timeseries databases management system

    KeplerDB is a temporal database to store time/value entries where the type of value could be integer, float/double, boolean and string. KeplerDB is dedicated to be scalable and to create clusters of server allowing the user to analyse and store massing amount of data to monitor systems like computers, clusters, building and captors or financial systems like markets and accounts. The user can use KeplerDB to make data analysis on enormous amount of data (statistics and modelling).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13

    Truncated power series algebra

    Truncated power series algebra

    This project consists of two object-oriented implementations of truncated power series (TPSA) for arbitrary order and number of variables. Addition, subtraction, multiplcation, division, and exponentiation are all implemented in the algebra as overloaded operators. They can also compute with maps, a map being an array of TPSA objects representing a mapping of a space into itself. They are implemented as arrays of TPSA objects equal in number to the number of variables of the algebra. One...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14

    desqchess3

    simple chess app

    2020: MOVED TO https://github.com/peterjtracey/desqchess -- because it's 2020... Version 3 fork of desqchess. DESQChess will be an easy to use, easy to add on to, easy to animate chess system. Useful for apps, tablets apps, and desktop systems. Plans for other plugins include: - Add plugin to connect to animation system (web GL) - Connect to other open-source software such as Blender, illustrator, GIMP, and Vector graphic manipulation programs.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    GLP-Solve

    GLP-Solve

    An IDE for lpsolve made in C language

    This IDE replicates the official lpsolve project IDE made in Delphi. Its author is Juan José Gago Martínez. Project stopped at version 1.2, but now is being revived by Hélio Guilherme, starting with version 1.2.1.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16

    PyVision Computer Vision Toolkit

    A Python computer vision library

    PyVision is a object-oriented Computer Vision Toolkit for researchers that contains vision and machine learning algorithms and algorithm analysis and easily interfaces with scipy/numpy, PIL, opencv and other computer and machine learning libraries.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    cuteCalculator
    Quasi- Scientific Calculator for symbian^3
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18

    galculator

    galculator is a scientific calculator in algebraic mode and RPN

    galculator is a GTK 2 / GTK 3 based scientific calculator supporting algebraic mode as well as RPN. Features include arithmetic precedence handling, mathematical functions, different number bases (DEC, HEX, BIN, OCT) and angle bases (radiant, degree, and grad). Please note: This project page at sf.net reflects the state of the project up to August 2015. Beginning in September 2015, the project homepage was moved to http://galculator.mnim.org, with the source code repositories and issue...
    Leader badge
    Downloads: 7 This Week
    Last Update:
    See Project
  • 19

    MathJax for SVG

    MathJax support for MathML content embedded in SVG documents

    MathJax4SVG.js script provides support for MathJax in SVG documents.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    This is a simple software for performing various statistical and mathematical operations on single ASCII data-files. Entire file is read into an array, which is then analyzed. Number of columns is detected automatically.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21

    ExactCalc

    Software for exact computing based on interval arithmetic.

    1/3 is not 0.33. Pi is not 3.14. Actually 1/3 is in interval [0.33, 0.34] and pi is in interval [3.14, 3.15]. During computation truncating error is accumulating. At end of computation it is needed to know real boundaries of result. The solution is given by interval arithmetic. Simply speaking, because 1/3 is in interval [0.33, 0.34] and 1/7 is in interval [0.14, 0.15], value 1/3 - 1/7 must be in [0.18, 0.2]. Computation can be arbitrary long and complex but interval arithmetic gives...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    coalescent

    coalescent

    Software tool for Research in Computational Population Genetics

    Development of exact and approximate methods (Importance Sampling and MCMC based) for computing likelihoods under the standard population genetic models of mutation,migration & recombination. Project issues are mainatined at https://freecode4susant.atlassian.net/browse/COALESCENT
    Downloads: 1 This Week
    Last Update:
    See Project
  • 23
    An object oriented Math library written in C++. This library contains set of template classes that are ready to be used. Currently a 2D Matrix, modular arithmetic, vector, and complex numbers are present. These systems can work together, you can create a matrix of complex numbers. Iterators for matrix and vector classes will be added soon. Please use SVN to access current version.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24

    Average

    Command-line calculator of basic statistics.

    Average is a simple and fast command-line Perl utility for calculating basic statistics on a list of numbers (one number per line). It works as a traditional Unix filter and can be used as part of those greatly useful chains of piped commands. It calculates average (arithmetic mean), standard deviation, median, total sum, minimum and maximum values present, and shows the number of processed numbers. Entry can by a text file (any column can be specified, default is the first) or...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    JBernstein

    JBernstein

    JBernstein: Exploration techniques for non-linear constraint checking

    JBernstein is a tool implemented in Java that enables to check whether a polynomial constraint holds for all variables within their domain. It is mainly used in the verification or synthesis of cyber-physical systems where the system model is nonlinear. The tool also supports specifications in assume-guarantee style. The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. Concerning performance,...
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB