Showing 3077 open source projects for "gnu/linux"

View related business solutions
  • 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
  • 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
  • 1
    Create and simulate Hybrid Petri Nets.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    This library provides systems for testing rumor spread through various network types including but not limited to small-world networks.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Calx is a calculator program based on RPN (Reverse-Polish Notation) that allows you to compute complex mathematical expressions containing brackets, mathematical functions etc.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    A KDE based Computer Algebra System (CAS) that can also be used as an advanced replacement for KCalc. It is essentially a front end GUI for Maxima (and is easily extended to other CAS back-ends) and Gnuplot.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Ship Agents Faster Icon
    Ship Agents Faster

    Transform your applications and workflows into powerful agentic systems at global scale.

    Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
    Get Started Free
  • 5
    JEquation provides an intuitive and fast way to input mathematical expressions into latex documents by using prestructured neural network based handwriting recognition.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    A heuristic implementation for solving the Bottleneck Traveling Salesman Problem (BTSP) and related problems, such as the Maximum Scatter Traveling Salesman Problem (MSTSP).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Lienzo is a gtk-Canvas and Lua program to work in geometry. Unlike others like Cinderella, Cabri, DrGeo, etc... this one focuses in algorithms, not in static figures. the lua interface allows to work with programable objects.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    GLARE is a library and a software for product based optimization of reagent lists in the context of a chemical combinatorial library design. Large virtual combinatorial libraries containing 10^12 products have been optimized within a second.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    AutoGuider is an integrated environment for continuation and bifurcation analysis. Based on Auto2000, it is designed to be portable and easy to use/install. Features includes a project manager, support for MathML and SBML, and SVG export of graphics.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Earn up to 16% annual interest with Nexo. Icon
    Earn up to 16% annual interest with Nexo.

    Access competitive interest rates on your digital assets.

    Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.
    Get started with Nexo.
  • 10
    The Eagle automated theorem prover is a system for developing proofs for theorems in predicate logic.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Misq is a brand new calculator for geometric forms, based on Qt. The CLI version is named MiSg.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    Network Based Optimization Project is a network transparent system for global optimization problems using client-server model.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    LaTex to braille translator for Maths, intended to be able to support multiple braille codes.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    Statistical Extensions to the GNU Scientific Library (GSL).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    MpNT is a multi-precision number theory library that provides a base for building cryptographic applications. It may however be used in any domain where efficient integer, modular, and floating-point computations involving large numbers are required.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    The library in C++ for numerical modeling any dynamic systems.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    The GMP compiler simplifies the use of GMP, the GNU multiple precision library. It scans a C source file for specially marked GMPS arithmetic expressions and replaces them with plain C.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    Draws Kentonian spirals.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Geodes is a mac application designed to do geometry and math like you can do in front of a sheet of paper. It both includes simple figures drawing (lines, circles) and high level analytic geometry.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    GradeSignifier provides statistical significance testing for item response data. In a few clicks you can: convert raw test data into scores, determine if the scores of two groups differ significantly, make cumulative probability charts, and more.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Statika2000 - beam calculation software
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    LightCrypto is C cryptography library. It contains Big Number Library, basic crypto algorithms (3DES, DSA, RSA, ECDSA, etc), Internet Voting Scheme, and many more. Current librarie's binary is less than 1MB and it can even be smaller by user config.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    Peru provides functionality for calibrating a camera or a stereo camera using only images of a checkerboard pattern as input. Peru also provides functionality for calculating disparity maps (depth maps) from a stereo image pair.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    HP-15C Based Calculator
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    In this project we will contruct mathematical structures and algorithms that can be used on the fly when programming with C++.
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB