Showing 515 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
  • 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
    arduino-cli

    arduino-cli

    Arduino command line tool

    Arduino CLI is an all-in-one solution that provides Boards/Library Managers, sketch builders, board detection, uploader, and many other tools needed to use any Arduino compatible board and platform from the command line or machine interfaces. In addition to being a standalone tool, Arduino CLI is the heart of all official Arduino development software (Arduino IDE, Arduino Web Editor). The script requires sh, which is always available on Linux and macOS. sh is not available by default on Windows, though it is available as part of Git for Windows (Git Bash). If you don't have sh available, use the "Download" installation option. ...
    Downloads: 24 This Week
    Last Update:
    See Project
  • 2
    SymPy

    SymPy

    A computer algebra system written in pure Python

    SymPy is an open source Python library for symbolic mathematics. Its goal is to become a full-featured computer algebra system (CAS) while maintaining the simplicity of its code. Written entirely in Python, SymPy is easy to use, comprehensible and easily extensible. It’s also very lightweight as it solely depends on mpmath, a pure Python library for arbitrary floating point arithmetic. SymPy has participated in every Google Summer of Code since 2007 and because of this has continuously...
    Downloads: 30 This Week
    Last Update:
    See Project
  • 3
    ImHex

    ImHex

    A Hex Editor for Reverse Engineers, Programmers

    ImHex is a Hex Editor, a tool to display, decode and analyze binary data to reverse engineer their format, extract informations or patch values in them. What makes ImHex special is that it has many advanced features that can often only be found in paid applications. Such features are a completely custom binary template and pattern language to decode and highlight structures in the data, a graphical node-based data processor to pre-process values before they're displayed, a disassembler,...
    Downloads: 41 This Week
    Last Update:
    See Project
  • 4
    Abacus software

    Abacus software

    Software to control and analyze Tausand Abacus coincidence devices

    Abacus Software is a specialized tool for controlling and analyzing Tausand Abacus devices (AB1002, AB1004, AB1502, AB1504, AB2502, and AB2504). It enables precise measurement of temporal coincidences with up to 2-nanosecond resolution, and real-time visualization of count data from one, two, or three channels simultaneously. The software includes advanced features such as adjustable line width, sampling time configuration, direct device settings control, and the ability to save both raw data and graphical outputs for later analysis. ...
    Downloads: 11 This Week
    Last Update:
    See Project
  • Earn up to 16% annual interest with Nexo. Icon
    Earn up to 16% annual interest with Nexo.

    More flexibility. More control.

    Generate interest, access liquidity without selling, and execute trades seamlessly. All in one platform. Geographic restrictions, eligibility, and terms apply.
    Get started with Nexo.
  • 5
    Tile38

    Tile38

    Ultra Fast Geospatial Database & Geofencing Server

    When you need the best performance for your location-based applications, you can rely on Tile38. Tile38 is an ultra-fast, open source geospatial database and geofencing server capable of real-time geofencing, fast spatial indexing and more. It supports a variety of object types including lat/lon, Geohash, bbox, GeoJSON, QuadKey, and XYZ tile; and is capable of operations like Nearby, Within, and Intersects. There’s also built-in support for many popular tools. Tile38 is made up of 3 main...
    Downloads: 7 This Week
    Last Update:
    See Project
  • 6
    OWASP Amass

    OWASP Amass

    In-depth attack surface mapping and asset discovery

    The OWASP Amass Project has developed a tool to help information security professionals perform network mapping of attack surfaces and perform external asset discovery using open source information gathering and active reconnaissance techniques. The Open Web Application Security Project (OWASP) is a nonprofit foundation that works to improve the security of software. All of our projects ,tools, documents, forums, and chapters are free and open to anyone interested in improving application security. ...
    Downloads: 29 This Week
    Last Update:
    See Project
  • 7
    PyRx - Virtual Screening Tool

    PyRx - Virtual Screening Tool

    Virtual Screening software for Computational Drug Discovery

    PyRx is a Virtual Screening software for Computational Drug Discovery that can be used to screen libraries of compounds against potential drug targets. PyRx enables Medicinal Chemists to run Virtual Screening from any platform and helps users in every step of this process - from data preparation to job submission and analysis of the results. While it is true that there is no magic button in the drug discovery process, PyRx includes docking wizard with easy-to-use user interface which makes it a valuable tool for Computer-Aided Drug Design. ...
    Leader badge
    Downloads: 1,953 This Week
    Last Update:
    See Project
  • 8
    Arthas

    Arthas

    Alibaba Java Diagnostic Tool

    Often times, the production system network is inaccessible from the local development environment. If issues are encountered in production systems, it is impossible to use IDEs to debug the application remotely. More importantly, debugging in production environment is unacceptable, as it will suspend all the threads, resulting in the suspension of business services. Developers could always try to reproduce the same issue on the test/staging environment. However, this is tricky as some issues...
    Downloads: 5 This Week
    Last Update:
    See Project
  • 9
    C3D is a command-line tool for converting 3D images between common file formats. The tool also includes a growing list of commands for image manipulation, such as thresholding and resampling.
    Leader badge
    Downloads: 87 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 generative AI apps with Vertex AI. Switch between models without switching platforms.
    Start Free
  • 10
    MzDOCK - Multiple Ligand Docking Tool

    MzDOCK - Multiple Ligand Docking Tool

    MzDOCK is A Virtual Screening Tool For Drug Discovery Research

    ...Contact us - kabeermuzammil614@gmail.com MzDOCK Development - Available on WindowsOS and Linux ubuntu 22.04 and more - Software Authorship - Muzammil Kabier
    Downloads: 56 This Week
    Last Update:
    See Project
  • 11
    IEC 104  Client Master Simulator tool

    IEC 104 Client Master Simulator tool

    Simulate iec 104 client Master all ASDU monitor command file transfer

    v21.06.018 Complete Simulation of IEC 104 Client as per Protocol Standard including File transfer (Both Monitoring and control direction). Add up to 50 Client node in the simulator. Every Client node will work independently. The user can monitor all data Point information, and quality bits. Send all type of commands, parameter activation, file transfer. * License Perpetual One-time payment, royalty-free Neither license manager nor dongle...
    Leader badge
    Downloads: 42 This Week
    Last Update:
    See Project
  • 12
    RODIN
    Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.
    Leader badge
    Downloads: 920 This Week
    Last Update:
    See Project
  • 13
    GMAT

    GMAT

    General Mission Analysis Tool

    The General Mission Analysis Tool (GMAT) is an open-source tool for space mission design and navigation. GMAT is developed by a team of NASA, private industry, and public and private contributors. The GMAT development team is pleased to announce the release of GMAT version R2026a. For a complete list of new features, compatibility changes, and bug fixes, see the R2026a Release Notes in the Users Guide.
    Leader badge
    Downloads: 1,609 This Week
    Last Update:
    See Project
  • 14
    Community Z Tools

    Community Z Tools

    Tool support for the Z formal notation

    Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools. NOTE: development of CZT has now moved to GitHub: https://github.com/community-z-users/czt
    Leader badge
    Downloads: 498 This Week
    Last Update:
    See Project
  • 15
    OpenFOAM

    OpenFOAM

    The Open Source CFD Toolbox

    OpenFOAM - The Open Source CFD Toolbox. OpenFOAM is a generic, programmable software tool for Computational Fluid Dynamics (CFD). For more information, see: - Main Website: https://openfoam.org - C++ Source Documentation: https://cpp.openfoam.org - Issue (Bug) Tracking: https://bugs.openfoam.org - User Guide: https://cfd.direct/openfoam/user-guide
    Leader badge
    Downloads: 3,067 This Week
    Last Update:
    See Project
  • 16
    CIMCO

    CIMCO

    Any tools for CIMCO Software (mostly CIMCO Edit), CIMCO Edit crack

    CTranslate - this is not official tool for edit CIMCO Software language files * MSG directory
    Leader badge
    Downloads: 24 This Week
    Last Update:
    See Project
  • 17
    PANDA

    PANDA

    A comprehensive and flexible quantification tool for proteomics data

    PANDA is a comprehensive and flexib tool for quantitative proteomics data analysis, which is developed based on our solid foundations in quantitative proteomics for years. Several novelties have been implemented in it. First, we implement the advantage algorithms of LFQuant (Proteomics 2012, 12, (23-24), 3475-84) and SILVER (Bioinformatics 2014, 30, (4), 586-7) into PANDA. Second, we consider the state-of-art concept of quantification reliability in this quantitative workflow. On the levels...
    Downloads: 19 This Week
    Last Update:
    See Project
  • 18
    GCBASIC
    GCBASIC is an open-source BASIC compiler for 8 bit Microchip PIC, Atmel AVR legacy, AVRDx and LGT microcontrollers. See https://ko-fi.com/post/The-Story-of-GCBASIC-Making-Microcontroller-Progr-D1D319SJ72 for story of GCBASIC. This is a continuous release project. The latest release is always available. This will give you the most complete development toolchain to create and program 8-bit PIC, AVR and LGT microcontrollers. We have added new capabilities that make GCBASIC the...
    Leader badge
    Downloads: 202 This Week
    Last Update:
    See Project
  • 19
    IEC60870-5 101 RTU Server Simulator tool

    IEC60870-5 101 RTU Server Simulator tool

    Simulate iec 101 server, Monitor information, command transmission

    v21,06.018 Complete Simulation of IEC 101 Server as per Protocol Standard including File transfer. Support Balanced and unbalanced modes. Add up to 50 server node in the simulator. Every server node will work independently. User can update the monitoring Point information and quality bits. Send all type of commands, parameter activation, file transfer. Interoperability: http://www.freyrscada.com/docs/FreyrSCADA-IEC-60870-5-101-Server-Interoperability.pdf Download Evaluation...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 20
    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: 66 This Week
    Last Update:
    See Project
  • 21
    Fenix Modbus /S7

    Fenix Modbus /S7

    Siemens S7300/400/1200/1500, ModbusMaster/RTU/TCP/ASCII, WebServer

    Fenix stands out as an advanced software solution tailored for seamless communication with devices in a Modbus network, a prevalent protocol in industrial automation. With broad compatibility, Fenix effortlessly interfaces with devices such as S7-300, S7-400, S7-1200, and S7-1500, providing a versatile solution for users across different Siemens platforms Free Modbus tool, Free Modbus Tester Free Siemens S7 Protocol tool, Free Siemens S7 Tester Youtube Playlist: https://www.youtube.com/playlist?...
    Downloads: 22 This Week
    Last Update:
    See Project
  • 22
    CircuiTikZ Generator

    CircuiTikZ Generator

    This software is a tool for designing electronic circuits using LaTeX.

    This software is a tool for designing electronic circuits using LaTeX. With an intuitive graphical interface, you can create complex circuits quickly and easily, while the LaTeX code generator translates your designs into code compatible with the LaTeX circuitikz library.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    DxTonia

    DxTonia

    A tool for detecting the presence of leg dystonia from videos.

    An open-source diagnostic tool for detecting the presence of leg dystonia from videos. The software provides an automated solution for detecting leg dystonia in children with cerebral palsy (CP), by using artificial intelligence. The software has been verified on two datasets and achieved higher accuracy than routine clinical care. Stay tuned for the improved version.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24

    Crossref Author Check

    Web app to cross-check publication/authorship against CrossRef

    This tool retrieves CrossRef information on article type, authorship, print date, subject area, etc. for publications specified by DOI and/or PubMed IDs (max. 100). The tool also tallies the order of authorship for a specified author.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    Gerber2PDF

    Gerber2PDF

    Gerber to PDF converter

    Gerber2PDF is a command-line tool to convert Gerber files to PDF for proofing and hobbyist printing purposes. It converts multiple Gerber files at once, placing the resulting layers each on it's own page within the PDF. Each layer has a PDF bookmark for easy reference. Layers can optionally be combined onto a single page and rendered with custom colours and transparency. There is a Drill to Gerber converter available from the downloads page.
    Leader badge
    Downloads: 25 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • 4
  • 5
  • Next
MongoDB Logo MongoDB