Showing 632 open source projects for "proxy software tool"

View related business solutions
  • 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
  • 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.
  • 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
    J2ObjC

    J2ObjC

    A Java to iOS Objective-C translation tool and runtime

    J2ObjC is an open-source command-line tool from Google that translates Java source code to Objective-C for the iOS (iPhone/iPad) platform. This tool enables Java source to be part of an iOS application's build, as no editing of the generated files is necessary. The goal is to write an app's non-UI code (such as application logic and data models) in Java, which is then shared by web apps (using GWT), Android apps, and iOS apps. J2ObjC supports most Java language and runtime features required...
    Downloads: 4 This Week
    Last Update:
    See Project
  • 3
    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
  • 4
    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
  • 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
  • 5
    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
  • 6
    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
  • 7
    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
  • 8
    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
  • 9
    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
  • Full-stack observability with actually useful AI | Grafana Cloud Icon
    Full-stack observability with actually useful AI | 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
  • 10
    Prokka

    Prokka

    Rapid prokaryotic genome annotation

    Prokka is a command-line software tool for rapid annotation of prokaryotic genomes (bacteria and archaea). Given a FASTA file of contigs, it predicts genes, rRNAs, tRNAs, and other functional elements, then assigns functions by comparing to reference protein databases and HMM profiles. It outputs GenBank, GFF, and other formats compatible with downstream tools and genome browsers.
    Downloads: 7 This Week
    Last Update:
    See Project
  • 11
    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
  • 12
    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
  • 13
    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
  • 14
    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
  • 15
    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
  • 16
    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
  • 17
    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
  • 18
    An innovative Open Source CEP (Complex Event Processing) engine. It implements the event stream processing as a library embeddable in C++ and Perl. You can think of the Complex Event Processing engine as an in-memory database driven by triggers, or a data-flow machine, or a spreadsheet on steroids (and without the GUI part).
    Downloads: 8 This Week
    Last Update:
    See Project
  • 19
    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
  • 20

    Subread

    High-performance read alignment, quantification and mutation discovery

    The Subread software package is a tool kit for processing next-gen sequencing data. It includes Subread aligner, Subjunc exon-exon junction detector and featureCounts read summarization program. Subread aligner can be used to align both gDNA-seq and RNA-seq reads. Subjunc aligner was specified designed for the detection of exon-exon junction. For the mapping of RNA-seq reads, Subread performs local alignments and Subjunc performs global alignments.
    Leader badge
    Downloads: 539 This Week
    Last Update:
    See Project
  • 21
    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
  • 22
    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
  • 23
    LaserGRBL Linux AppImage

    LaserGRBL Linux AppImage

    LaserGRBL Linux solution, LaserGRBL is one of the best software.

    LaserGRBL is one of the best Windows (and Linux - wine emulated ) software for image Laser Engraving. LaserGRBL is able to load any image, pictures and logo and send to your laser engrave with few click. Unlike other GUI, LaserGRBL it is specifically developed for use with hobbist laser cutter and engraver and could be a good free and easy alternative to picengrave, benbox, T2laser, lightburn for who don’t need more then a simple and effective tool.
    Downloads: 107 This Week
    Last Update:
    See Project
  • 24
    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
  • 25
    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
  • Previous
  • You're on page 1
  • 2
  • 3
  • 4
  • 5
  • Next
MongoDB Logo MongoDB