Showing 3077 open source projects for "gnu/linux"

View related business solutions
  • Secure File Transfer for Windows with Cerberus by Redwood Icon
    Secure File Transfer for Windows with Cerberus by Redwood

    Protect and share files over FTP/S, SFTP, HTTPS and SCP with the #1 rated Windows file transfer server.

    Cerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
    Try for Free
  • 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
    C++ implementation of certain problems
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    Parallel Colt is a multithreaded version of Colt - a library for high performance scientific computing in Java. It contains efficient algorithms for data analysis, linear algebra, multi-dimensional arrays, Fourier transforms, statistics and histogramming
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    mdl is a system of formal mathematics, which is split into 2 levels: a high-level language for human-readable representation of math and low-level language for trustworthy verification. Currently, as low-level language mdl uses metamath system.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    plotgear
    Plotgear to narzędzie matematyczne umożliwiające proste i bardzo intuicyjne generowanie wykresów oraz tablicowanie funkcji matematycznych. Posiada również możliwość eksportowania utworzonych danych do różnorakich formatów plikowych.
    Downloads: 0 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
    ptsa (pronounced pizza) stands for Python Time Series Analysis. A python module specifically designed with neural data in mind (EEG, MEG, fMRI, etc...), but applicable to almost any type of time series.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    This program accompanies the paper "Counting large distances in convex polygons" by Filip Moric and David Pritchard. The program, written in Java, searches a finite set of distance configurations in order to deduce theorems about convex polygons.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    TestGuesser
    TestGuesser guesses the answers to simulated test questions and calculates the proportion of correct answers.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Parser - синтаксический анализатор. Plotter - графопостроитель.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    Belle is a generic higher order theorem prover in the style of Isabelle.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Gemini 3 and 200+ AI Models on One Platform Icon
    Gemini 3 and 200+ AI Models on One Platform

    Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

    Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.
    Start Free
  • 10
    This software aims help students of analytic geometry courses by visualizating several key concepts.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    MASyV (Multi-Agent System Visualization) enables one to write agent-based models/cellular automata, eg. in C, visualize them in real time & capture to movie file with MASyVs GUI & message passing lib. Includes examples: Hello World, ants, viral infection
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    Mathomatic
    Mathomatic is an open-source maths problem solving tool.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    A native Java port of freesteam - http://freesteam.sourceforge.net/ An open source implementation of international-standard IAPWS-IF97 steam tables from the International Association for the Properties of Water and Steam (IAPWS).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    A collection of compact, powerful programs and functions, written in C, for the analysis and transformation of data. No object or structure dependencies, no fancy interfaces - just good tools.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    The Perl 3D-extension of MFPic LaTeX package aimed to high quality draw of spatial objects, such as vectors, curves, bounded surfaces.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    This is my first attempt at building a reusable framework for 3D applications (not an engine!), primarily for educational purpose and also because none of the already existing tools did satisfy me. No longer maintained.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    Matlab, Maple and C/C++ applications of Linear Algebra in many domains, including curves in many dimensions, Cryptography and Chaos etc.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    An easy to use mathematical function graph plotter written in Python and GTK.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 19
    An application built onto the Open Table Explorer engine for the acquisition and analysis of home energy consumption and solar energy production.Moved to github as Open Table Explorer
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    Eclipse-Plugin: A scientific calculator with arbitrary precision and natural arithmetic input.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    WMI is an open web-based eLearning system in mathematics for grammar school and/or university students, including basic mathematical functions (equation solving, function plotting, symbolic differentation and antiderivation) and thematic modules.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    Surikata
    SURIKATA (Syntactic Universal Reasoning for Inducing Kolmogorov Abstract Theories Automatically) is a system for searching large spaces of artifacts and inducing algorithms for generating similar artifacts.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    Mathematical library for Pascal compilers
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    A population-based method for DNA copy number analysis: recurrent copy number aberration indentification in multiple samples (with no need of single-sample calling). Developed for a quick analysis of high resolution and large population data.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    The aim of this project is to produce a software that will content two modules : - the first one will allow to conduct simulations of social behavior, - the second one will be able to produce philosophical considerations. The version version will be i
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB