Search Results for "proxy software tool"
Sort By:
Showing 346 open source projects for "proxy software tool"
View related business solutions-
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
1
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. ... -
2
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... -
3
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,... -
4
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... -
Enterprise-grade ITSM, for every businessFreshservice 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.
-
5
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. ... -
6
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... -
7
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. ... -
8
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... -
9
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. -
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
10
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.
-
11
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.
-
12
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. -
13
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 -
14
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 -
15
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...
-
16
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. -
17
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. -
18
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. -
19
Euler Math Toolbox
Numerical and Symbolic Math Tool
Euler is a powerful all-in-one numerical software and includes Maxima for seamless symbolic computations. Euler supports Latex for math display, Povray for photo-realistic 3D scenes, Python, Matplotlib and C for scripting, and contains a full programming language. Features include libraries for numerical algorithms, optimization, plotting in 2D and 3D, graphics export, a complete help system, tutorials and examples. Euler runs in Windows natively, or in Linux via Wine. It is completely... -
20
Frevo
Frevo is probably the simplest tool for evolutionary design
FREVO is an open-source framework developed in Java to help engineers and scientists in evolutionary design or optimization tasks. The major feature of FREVO is the componentwise decomposition and separation of the key building blocks for each optimization tasks. We identify these as the problem definition, solution representation and the optimization method. This structure enables the components to be designed separately allowing the user to easily swap and evaluate different configurations... -
21
p3d
General data-reduction tool for fiber-fed integral-field spectrographs
p3d is a general data-reduction tool for use with fiber-fed integral-field spectrographs (IFSs); although, the spectrum viewer works with spectrum data cubes of any origin. The tool is built about the proprietary software IDL (Harris/EXELIS; see http://www.harrisgeospatial.com), but can be used without any license. Most slowly running loops are implemented in parallelized C (OpenMP). -
22
Open Beam Profiler
Profiling and analysis of laser beams with ImageJ
This open-source software enables profiling and analysis of laser beams. It can be used with a variety of cameras supported by ImageJ and Micro-Manager, or images from any other source. It provides all common analysis methods like D4Sigma, knife-edge, as well as fitting of Hermite-Gauss, Laguerre-Gauss and super-Gauss functions. -
23
InteredgeDistance
An ImageJ macro to measure distance between two lines
InteredgeDistance is a macro for ImageJ/Fiji image analysis software. This tool measures the distance between two user-drawn lines on an image. For community help/support, please use https://forum.image.sc/. -
24
WxTools (Weather Data Tools)
This package collects Fine Offset and Oregon Scientific weather data.
WxTools (Weather Data Tool Suite) is a collection of software for collecting and displaying weather data from various weather stations. The software works with the Fine Offset WH290 and similar models (including clones such as the Pro-Signal PSG04173). It also works with the Oregon Scientific WMR180 weather station (and probably similar models such as the WMR88 and WMR100) as well as the older WMR928. -
25
Bifurcum
Software to run through a directional graph.
This software runs through a directional graph and writes the paths it found as test specifications. It has a simple algorithm (Deep First Search with modifications) and allows sorting children before traversing. This application sums up the authors 4-years experience when programming a commercial tool for graph traversing (which used a much more advanced algorithm) and coaching its users.
