93 programs for "unix tool windows" with 2 filters applied:

  • Build enterprise-ready GenAI experiences with MongoDB Atlas Icon
    Build enterprise-ready GenAI experiences with MongoDB Atlas

    Combine the power of Google Cloud's robust infrastructure with the flexibility and scalability of MongoDB Atlas.

    MongoDB Atlas is a unified developer platform that enables you to confidently accelerate the deployment of GenAI-powered applications. Additionally, when purchased on Google Cloud Marketplace, you pay for only the resources you use with no upfront commitment.
    Get Started
  • Red Hat Ansible Automation Platform on Microsoft Azure Icon
    Red Hat Ansible Automation Platform on Microsoft Azure

    Red Hat Ansible Automation Platform on Azure allows you to quickly deploy, automate, and manage resources securely and at scale.

    Deploy Red Hat Ansible Automation Platform on Microsoft Azure for a strategic automation solution that allows you to orchestrate, govern and operationalize your Azure environment.
    Learn More
  • 1
    G.A.V. (Graph Algorithm Visualizer) is a tool that visualizes algorithms from graph theory. A step-by-step visualization from each different algorithm allows the user to understand the particular algorithm very easily.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    pyGraph is tool that hopefully will help graph theory students by analizing,transforming and creating graphs Dependencies: python and pygame
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Provides: A tool collection for array orientated programming under Linux and Unix operating systems. Main subjects: Handling text- and numeric arrays, mainly stored in shell variables. Furtheron, some useful arithmetic solutions will be provided.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    The NA_WorkSheet is a set of algorithms coded in Java that implements various Numerical Analysis techniques. The tool may be used for graphing, root finding, differentiation, integration, interpolation, linear systems solving, and matrix operations.
    Downloads: 0 This Week
    Last Update:
    See Project
  • User Testing Platform | Testeum Icon
    User Testing Platform | Testeum

    Get worldwide testers to review your software, app or website! Quickly find bugs and usability issues in less than 48 hours.

    Tired of bugs and poor UX going unnoticed despite thorough internal testing? Testeum is the SaaS crowdtesting platform that connects mobile and web app creators with carefully selected testers based on your criteria.
    Learn More
  • 5
    GrALoG is a tool for editing and visualising graph-like-structures and the results of algorithms running on them. Through it's plugins GrALoG is hugely extendable, i.e. plugin-developers can define their own graph-like structures and algorithms.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    OCAMAWEB is a CWEB like literate programming tool written in the OCAML programming language. OCAMAWEB is actually intensively used at MIRIAD Technologies. Actually, a configuration file is ready for the MATLAB language, but configurations files are in
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    This is an opensource project for the calculation of the mathematical constant Pi. If you are a mathematician or programer please contribute ideas or code for this project. Non professionals are also welcome to contribute.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    RAGE (Random Variate Generator) is a graphical tool for unidimensional discrete distributions. RAGE generates random values and simulates various discrete distributions by using different algorithms.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    FrAid(FRactal AID) is an interface to Java, allowing it to proc. math. data(functions/equations). A compl. standalone system utilizing the FrAid prog. lang. is available(no need to be Java programmer to use it!). Use instead of Matlab. High res. graphics
    Downloads: 0 This Week
    Last Update:
    See Project
  • Secure remote access solution to your private network, in the cloud or on-prem. Icon
    Secure remote access solution to your private network, in the cloud or on-prem.

    Deliver secure remote access with OpenVPN.

    OpenVPN is here to bring simple, flexible, and cost-effective secure remote access to companies of all sizes, regardless of where their resources are located.
    Get started — no credit card required.
  • 10
    This is a small and fast library and command-line tool for manipulation of logic/boolean-algebra expressions, including proofing and simplification. A front-end using tigcc for Texas Instruments calculators is planned, too.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Tuatara Turing Machine Simulator is a graphical tool for designing and executing Turing Machines. Designed primarily for teaching purposes, it features a simple point-and-click interface.
    Leader badge
    Downloads: 2 This Week
    Last Update:
    See Project
  • 12
    An interactive tool to study Fourier Series and related physics phenomenons, using open source/free sorftware.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 13
    Boolean Expression Solver is a command-line utility that generates a truth table for a given Boolean expression.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 14
    The Distributed Real-time Embedded Analysis Method (DREAM) is a tool and method for the real-time verification and performance estimation of distributed real-time embedded (DRE) systems. Publications: http://www.ics.uci.edu/~gabe/publications.html.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    FunkyPlot is an interactive plotting tool for mathematical functions, designed for pupils and students.
    Leader badge
    Downloads: 3 This Week
    Last Update:
    See Project
  • 16
    Narvik is a tool for conducting numerical and visual analysis in cartography.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    SurveyForge is a survey definition and execution tool oriented to statisticians running on JEE platform with special emphasis on data entry made easy, use of existing standards (Triple-S, Metanet, DDI) and reuse of standard (or not) classifications
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    PiET is a verification tool for ten behavioural equivalences for the Pi Calculus.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    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
  • 20
    A tool for proof theorists to study deduction systems and to develop proof search strategies for them. GraPE should eventually support step-by-step proof construction, automatic proof search with various strategies, proof transformations and analysis.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    runsbml - Pathway Simulation Tool emulates the dynamics of biological pathways by calculating concentrations of biochemical compounds at different times and conditions.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    Guided Logic Exercises is a tool that can be used for simplifying logical expressions. It is a java applet that makes use of underlying packages designed for the applet.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    CABLE (Computer Algebra Based Learning and Evaluation) is an online mathematical assessment tool for use with an open source computer algebra system.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    Ganzúa is a cryptanalysis tool for classical ciphers (mono and polyalphabetic) that lets the user define almost completely arbitrary cipher and plain alphabets, allowing for the proper cryptanalysis of cryptograms obtained from non-English texts.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 25
    A web-based, automated search engine that responds to user feedback through the use of artificial intelligence.
    Downloads: 0 This Week
    Last Update:
    See Project