Showing 22 open source projects for "proxy software tool"

View related business solutions
  • Try Google Cloud Risk-Free With $300 in Credit Icon
    Try Google Cloud Risk-Free With $300 in Credit

    No hidden charges. No surprise bills. Cancel anytime.

    Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
    Start Free
  • Enterprise-grade ITSM, for every business Icon
    Enterprise-grade ITSM, for every business

    Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity.

    Freshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
    Try it Free
  • 1
    Digital Logic Design

    Digital Logic Design

    Digital Circuits Design and Simulation

    DLD V 2.0 Released Digital Logic Design is a Software tool for designing and simulating digital circuits. It provides digital parts ranging from simple gates to Arithmetic Logic Unit. You may start your circuit from simple gates and flipflops and keep on converting them into ICs. These ICs, later on, may be incorporated into other circuits to built more complex circuits like CPU.
    Leader badge
    Downloads: 42 This Week
    Last Update:
    See Project
  • 2
    DEVS-Suite Simulator

    DEVS-Suite Simulator

    Component, CA, and CCA models; superdense time, DB repo, testing, etc.

    Integrated component-based and cellular automata (CA) Parallel DEVS simulator: https://acims.asu.edu/devs-suite/ OFFERS: 1) synchronized execution & animation, 2) run-time linear/superdense I/O & state trajectories, 3) Action Level Real-Time modeling & simulation, 4) model checking, 5) ABM, 6) CA & composable CA playback, 7) KIB interaction modeling, 8) hierarchical model libraries, 9) Black-Box testing & debugging, 10) PostgreSQL repository, 11) FMU (OpenModelica), 12) OSATE (AADL)...
    Downloads: 13 This Week
    Last Update:
    See Project
  • 3
    JAS-mine

    JAS-mine

    Toolkit for agent-based & dynamic microsimulation modelling

    JAS-mine is a Java platform that aims at providing a unique simulation tool for discrete-event simulations, including agent-based and microsimulation models. With the aim to develop large-scale, data-driven models, the main architectural choice of JAS-mine is to use whenever possible standard, open-source tools already available in the software development community. It has built-in utilities for communicating with an underlying relational database.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Alevin2

    Alevin2

    Tool for the evaluation of ALgorithms for Embedding VIrtual Networks

    ALgorithms for Embedding VIrtual Networks Software to evaluate Virtual Network Embedding Algorithms.
    Downloads: 0 This Week
    Last Update:
    See Project
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
    Start Free
  • 5
    Digital Logic Simulator (DiLoSim)

    Digital Logic Simulator (DiLoSim)

    Allows you to build your own circuits and test them

    With this software you will be able to build your own circuits and test them. You are allowed to use this easy-to-use tool for educational reasons. Run on Windows: - Install Java: https://java.com/en/download/ - Download the binaries - Open the jar-file with the java runtime Limitations: - Currently only German language supported
    Downloads: 2 This Week
    Last Update:
    See Project
  • 6
    N2A

    N2A

    Neurons to Algorithms - A neural modeling and simulation workbench

    "Neurons to Algorithms" (N2A) is a language for modeling neural systems, along with a software tool for editing models and simulating them. N2A is currently "alpha" software. The download provided on SF is for convenience to those who wish to preview the software. Please see our site on github for development status.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Astronomy CCD Calculator

    Astronomy CCD Calculator

    Plan and preview your astronomical shots

    A handy tool designed to help beginner Astronomers. The software Astronomy CCD Calculator uses NASA/SkyView survey resource which provides CCD images of the night sky.It helps you plan an observation by letting you play with different instruments resulting various "Fields Of View" so you can see what your camera will capture and choose the best target for the session.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    MGSyn

    MGSyn

    MGSyn - Automatic Synthesis for Industrial Automation

    MGSyn (Model, Game, Synthesis) is an open-source tool which integrates game-based synthesis into model-driven development for industrial control and automation. It is served for research and educational purposes. MGSyn has been originally developed by Department of Informatics (Unit 6), TU München and fortiss GmbH and is now maintained by fortiss GmbH. The software is released under the GNU General Public License Version 3.0 (GPLv3).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    The bflow* Toolbox is an open source tool kit for business process management. The objective of bflow* is to explore new ways and scenarios for the development and use of modelling tools.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Custom VMs From 1 to 96 vCPUs With 99.95% Uptime Icon
    Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

    General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

    Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
    Try Free
  • 10
    ThreadPoolTester

    ThreadPoolTester

    Performance Testing Tool For Thread Pool Systems

    ThreadPoolTester is a performance testing and comparison tool for java based Thread Pools.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11

    openhealthpractice

    A simulation environment for physiology models simulation

    The OpenHealhPractice Simulation Environment is a web framework intended to concurrently manage and launch generalized models. Models can be uploaded by the users and also can be connected to other models in order to simulate them in a row. These simulations are stored and can be reviewed or deleted at anytime. The Graphical Visualization Environment (GVE) provides the graphical visualization of the simulation results. Results can also be exported to different formats (xls, txt or...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12

    ORIPA S

    A drawer for origami crease pattern

    ...This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13

    SMLEditor

    Prototype editor for the SDEM Mapping Language

    The Gateways Team of the Live-Virtual-Constructive Architecture Roadmap Implementation (LVCAR-I) effort is developing a set of tools that will support the gateway community. One of these tools is the Simulation Data Exchange Model (SDEM) Mapping Language (SML) Editor. The tool provides the ability to import two SDEMs in their native language and subsequently view the entities that need to be mapped between the two SDEMs. The SDEM Editor also allows the user to create these mappings and...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    PerMoTo is a Performance Modelling Tool suite for decision support in the capacity and performance management of distributed transaction processing systems based on Queueing Theory and Discrete Event Simulation.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Software Process Model Suite is a toolset for modeling and simulate software process models. Is composed by: 1. a simulator engine; 2. a modeling tool based on SPEM, that uses model transformation approach; 3. a visual graphical simulator.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    The FBench is the ongoing development of an open-source graphical software tool for embedded automation components and systems based on the IEC 61499 standard. The project originates from the OOONEIDA Workbench pioneered by Dr. James Christensen in 2005.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 17
    PeerKit is a tool for rapidly creating new peer-to-peer programs, and designing and evaluating new peer-to-peer topologies.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    Simulating Cache based Checkpointing and Rollback schemes are currently performed only at the hardware level for the lack of such simulation software that is generic. NCkptSimulator, a simulation tool, will support different checkpointing schemes
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    JSim8086 is platform-independent Assembly Language Simulator of the Intel 8086 CPU. It was designed to be a learning tool (CAL) for first year Computing students who are learning Computer Systems Organisation and Assembly Programming.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    Charmy is a tool for specification of Software Architectures through diagrammatic, UML-based notations, and validation of the architectural specification conformance with respect to functional requirements.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Narrator is a graphical modelling tool for the description of dynamical systems and processes. Narrator is SBML compatible.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    Queueing Petri Net Modeling Environment
    QPME (Queueing Petri net Modeling Environment) is a performance modeling and analysis tool based on the Queueing Petri Net (QPN) modeling formalism.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next
MongoDB Logo MongoDB