Showing 1895 open source projects for "gnu linux"

View related business solutions
  • 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
  • $300 in Free Credit Towards Top Cloud Services Icon
    $300 in Free Credit Towards Top Cloud Services

    Build VMs, containers, AI, databases, storage—all in one place.

    Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
    Get Started
  • 1

    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
  • 2

    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: 2 This Week
    Last Update:
    See Project
  • 3

    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
  • 4

    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: 13 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
  • 5
    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
  • 6
    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
  • 7

    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
  • 8
    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
  • 9

    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
  • 8 Monitoring Tools in One APM. Install in 5 Minutes. Icon
    8 Monitoring Tools in One APM. Install in 5 Minutes.

    Errors, performance, logs, uptime, hosts, anomalies, dashboards, and check-ins. One interface.

    AppSignal works out of the box for Ruby, Elixir, Node.js, Python, and more. 30-day free trial, no credit card required.
    Start Free
  • 10
    SalStat is a small application for statistical analysis emphasising the sciences and social sciences (particularly Psychology). The project is designed around the user interface which has been designed to be simple to use. Think SPSS, but better!
    Downloads: 1 This Week
    Last Update:
    See Project
  • 11
    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: 0 This Week
    Last Update:
    See Project
  • 12
    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
  • 13
    resParser

    resParser

    Command line scientific calculator

    resParser is a command line scientific calculator exploiting "50 digit precision" floating point computations using GMP and MPFR library. The project is open source with GLP v2 licence and cross platform. It is implemented with QT for GUI and for useful classes like QString. In the begin it was just a tool for computation of resistors values. Very similar to Speed Crunch as features Features: * Command line input * Built-in functions (log, exp, sin, cos, ...) * User defined...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    HLM is a proof assistant for everyday mathematics, which is currently being developed. It aims for a user experience as close as possible to regular mathematical practice, and proofs which are understandable by humans with little extra effort.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 15
    Fractions

    Fractions

    Calculator with fractions

    Calculator with fractions, currently in development
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    phcfM

    phcfM

    R package for modelling anthropogenic deforestation

    phcfM is an R package for modelling anthropogenic deforestation. It was named after the REDD+ pilot-project 'programme holistique de conservation des forêts à Madagascar'. phcfM includes two main functions: (i) demography(), to model the population growth with time in a hierarchical Bayesian framework using population census data and Gaussian linear mixed models and (ii) deforestation(), to model the deforestation process in a hierarchical Bayesian framework using land-cover change data and...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17

    KL1p

    A portable C++ library for Compressed Sensing

    KL1p is a portable C++ framework for handling sparse recovery of inverse problems of underdetermined linear systems, like in compressed sensing technique.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    pyfuzzy is a framework to work with fuzzy sets and process them with operations of fuzzy logic.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    EqualX

    EqualX

    The LaTeX Equation Editor

    EqualX makes you easily write equations in LaTeX and preview them in real-time. repository: https://gitlab.com/q-quark/equalx
    Downloads: 9 This Week
    Last Update:
    See Project
  • 20

    Computing with units

    Calculator that takes care of measurement units.

    Java program for computations with values expressed in terms of physical or other units. Supports complicated mathematical expressions and user-defined functions. Invoked from scripts, line command, or as GUI. Extensive units data base.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Geomview

    Geomview

    an interactive 3D viewing program

    Geomview is an interactive 3D viewing program for Unix. Geomview lets you view and manipulate three- and higher-dimensional objects, and can also be used as a display engine by other programs to animate objects. Geomview supports OpenGL and uses a Motif X interface.
    Downloads: 26 This Week
    Last Update:
    See Project
  • 22
    expressionCalc

    expressionCalc

    Cross platform Mathematical expression solver

    expressionCalc is a Mathematical expression solver. It has a Java implementation (for cross platform) and a C# implementation (for Windows). Support most of the Mathematical functions including log, sin, a sin etc. Implemented based on the expression solving technique of BODMAS.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    ExpressionOasis is a java based framework for evaluating the various type of expressions like arithmatic, logic expression etc. The framework is flexible enough to define any new grammer rules or operators.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    A math application written in Java. Its features include 2D and 3D graph plotting, scripting, user-defined variables and functions and skinnable GUI. This project is not maintained at the moment.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    Displays four-dimensional objects and functions by projecting them into three-dimensional space. Viewpoint transformations and parameter changes are displayed in real time. THE PROJECT'S CODE BASE HAS BEEN MOVED TO GITHUB: https://github.com/lene/HyperspaceExplorer The Git repository on SourceForge will be kept in sync with GitHub at least for the time being, but for the latest commits you should check the GitHub Project. If you want to report a bug or a feature request, please use...
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB