Showing 3077 open source projects for "gnu/linux"

View related business solutions
  • Build Securely on Azure with Proven Frameworks Icon
    Build Securely on Azure with Proven Frameworks

    Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

    Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
    Download Now
  • Build Agents and Models on One Platform Icon
    Build Agents and Models on One Platform

    Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

    Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
    Try It Free
  • 1
    PiET is a verification tool for ten behavioural equivalences for the Pi Calculus.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    Lightweight Clifford algebra template library
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    M+ Compiler/Interpreter is a interpreter library written in Java that delivers the possibility to extend any Java application with simple scripts. Besides the usage of native datatypes and operations you can instantiate and call native Java objects.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 4
    Molle is a cross-platform prover for modal logic, which exploits the modal semantic tableaux method. It features a very usable graphical interface, with interactive representation of generated models. Molle is maintained by Politecnico di Milano.
    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
    This software is an easy to use 2D mathematical function plotter.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    MacHash is intended to be a HashCalc clone for Mac OS X. Sporting a neat Aqua interface, it allows you to calculate a variety of popular hash values like MD5 or CRC32 from diffent input sources such as a line of text or a file on disk.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Octave interface to the finite elements library Libmesh. Under the scientific interpreted language Octave, Octmesh allows using the Libmesh characteristics for the numerical simulation of partial differential equations on serial and parallel platforms.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    This intuitive (and fully configurable) tool will help users to generate and check truth tables of many variables. You'll be able to work with Clasic logic and Lukasiewicz, Kleene & Bochvar and Gödel multivalued logics.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    John has between 2 and 5 apples. Mary gives him between 3 and 7 apples. How many apples does he have now? If you even understand this question, you understand interval arithmetic. This Java library implements interval arithmetic for all operators.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Stop Storing Third-Party Tokens in Your Database Icon
    Stop Storing Third-Party Tokens in Your Database

    Auth0 Token Vault handles secure token storage, exchange, and refresh for external providers so you don't have to build it yourself.

    Rolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
    Try Auth0 for Free
  • 10
    A framework for utilising the Genetic Algorithm in the domain of Game Theory
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    This will be a place to release tools that have not yet been added to SciPy (or will not be added for whatever reason). Currently an interface to ImageMagick is here.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    prefix is a command line prefix calculator written in python. It supports basic math functions (add, subtract, multiply, divide) as well as some more advanced (exponents, logarithms, etc.)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Linear Al is a research, design and teaching tool for quantum computing and quantum information. A quantum development environment.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    A program that makes Graphics and Tables of a formula for giving the aproximated value of a root.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    MathBase is a productivity environment for mathematical problems and technical applications. You will be able to draw geometrical scenes, compute functions, plot them, and write about them, all easy as 1-2-3!
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    Java-based standard calculator with GUI or command-line interface.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    This project is meant to develop a What-You-See-Is-What-You-Get graphical interface based on GtkMathView for editing MathML formulas
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    JGP is a GUI for gnuplot (http://www.gnuplot.info/). It is made for all those who just love gnuplot but who found that organizing a large number of datasets and plots from the command line is inconvenient. JGP uses gnuplot as plotting engine.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    An online judge system to judge the ACM-ICPC programming contests.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    A java tool used for row reducing matrices of varying sizes to row echelon/row reduced echelon forms. It is intended to support basic row reduction over different fields, then expand to support other linear algebra operations and html output of working.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    McBilliards investigates periodic billiard paths in triangles.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    MaCaCo (Mathematical Calculations Core) is a numerical analysis library written in C++ with an XML messaging based interface. It uses a daemon in order to attend requests and serve solutions to the asked problems.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    rebuses editor and solver
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    Sierpinski's triangle in various forms and languages.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    PyGiNaC is a Python interface to the C++ symbolic math library GiNaC (www.ginac.de). Its design attempts to be an easy to use and convenient alternative to cint or ginsh.
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB