Search Results for "proxy software tool"
Sort By:
Showing 181 open source projects for "proxy software tool"
View related business solutions-
Earn up to 16% annual interest with Nexo.Put idle assets to work with competitive interest rates, borrow without selling, and trade with precision. All in one platform. Geographic restrictions, eligibility, and terms apply.
-
Full-stack observability with actually useful AI | Grafana CloudBuilt 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.
-
1
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... -
2
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... -
3
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.
-
4
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 -
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
5
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. -
6
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. -
7
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. -
8
JGPSTrackEdit
GPS track editor for editing tracks and planning (multiple) day tours
JGPSTrackEdit is a tool for editing gps tracks and planning (multiple days) tours (GPS track editor). An abritary number of tracks may be opened or created, tracks may be merged. A track may be splitted, reversed or edited (e.g. compressed and corrected). Points may be inserted or appended to a track (routing supported) or may be moved or deleted from a track. -
9
JQM Java Quine McCluskey
JQM - Java Quine McCluskey for minimization of Boolean functions.
Java Quine McCluskey (JQM) implements the Quine-McCluskey algorithm with Petrick’s Method for minimizing Boolean functions. Designed for both education and industrial application, it handles up to 16 variables and functions. Uniquely, JQM bridges the gap between theory and practice: it visualizes the solution process with generated Karnaugh Maps for students, while supporting PLC engineers by exporting results to Structured Text (ST) and Ladder Diagram (LD). The software includes a GUI for... -
MongoDB Atlas runs apps anywhereMongoDB 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.
-
10
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. -
11
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)... -
12
Foucault Analyzer 2.0
automation tool to analyze Foucault test results of parabolic mirrors
This software is a remake of Foucault Test Image Analyzer created by Dejan Vucinic and published on SourceForge at 2002 (https://sourceforge.net/projects/foucault/). "If you are an amateur telescope maker, this software can take the tedium out of measuring the shape of your mirror." -
13
PI-Based Image Encoder / Converter
Python code able to convert / compress image to PI (3.14, π) Indexes
Image processing tool that encodes pixel data as indices within the first 16.7 million digits of PI (π). Features high-performance Numba-accelerated search and a signature 'film-grain' aesthetic upon reconstruction. ZIP also include 16 MB file with 16,7 mil numbers of PI Benchmark(Single-Thread): Hardware & Environment Apple Silicon: Apple M2 (Mac mini/MacBook) x86_64 Platform: Intel Core Ultra 5 225F (Arrow Lake, 10 Cores) OS 1: Fedora 43 (GNOME) OS 2: Windows 11 Pro (23H2/24H2) Software: Python 3.14.3 + Numba JIT (latest) Results (Lower is better) Platform / OS CPU Time (Seconds) macOS (Native) Apple M2 52.151311 s (in default setup) Fedora Linux Intel Core Ultra 5 225F 58.536457 s (in default Power Management: Balanced) Windows 11 Intel Core Ultra 5 225F 59.681427 s (important! ... -
14
Ignition tag generator
Generate tags for Ignition 8.1.X
This tool is a lightweight Java-based generator that creates JSON files with a hierarchical Folder/UDT/Tag structure. It’s designed to help you quickly populate your Ignition tag system by pre-defining common tag properties. With an easy-to-use Swing interface, you can build and manage your tag hierarchy, then export it as a ready-to-import JSON file. Requires Java 8 or later. Make sure JAVA_HOME or PATH includes your Java directory. No affiliation with Ignition/I.A. -
15
Raman Data Search and Storage
A Raman spectra library with search and storage function.
Raman Data Search and Storage (RDSS) software was developed as an analytical tool for a fast and accurate identification of unknown minerals by comparison of their spectra with the indexed library of data. A search function was implemented to enable users to find a specific peak value. Using the asterisk character (*) as a placeholder for one or more unknown peak value(s), the software will return the best match(es). -
16
Scaffold Hunter is a JAVA-based software tool for the analysis of structure-related biochemical data. It enables generation of and navigation in a scaffold tree hierarchy annotated with various data.
-
17
This project moved to GitHub in 2021 and is available at: https://cbrinkrolf.github.io/VANESA/ This tool is a platform-independent software to create individual pathways and to examine biological networks of distributed, heterogeneous data sources, e.g. KEGG, BRENDA. VANESA also offers Petri net modeling of extended hybrid Petri nets which can be also simulated using the OpenModelica framework.
-
18
Karto
Tool to work on map data, to check the data and generate your own maps
Karto allows to calibrate a scanned map (or aerial photos) with some known geo-points (Lambert, UTM, ...). After that, you can add any points (GPS points) in the map to build your own map. You can also add a transparent GIF image in the map after calibration (cave, mines, roads, ...). You can realize your own cartes with the data you add inside adding/showing/hiding layers of data. You can import/export your data files (after checking and correcting them) in differents formats. -
19
myNetPCB
Community driven PCB Layout and Schematic capture software
PCB Layout and Schematic capture tool for Win/Linux/Mac. Source code at https://github.com/sergei-iliev/myNetPCB -
20
ADaMSoft
Open Source and data mining software
ADaMSoft is a free and Open Source Data Mining software developed in Java. It contains data management methods and it can create ready to use reports. It can read data from several sources and it can write the results in different formats. -
21
JDecisiontable
Stop to rack your brain, start using process-oriented decision tables!
This tool is about a method called "process-oriented decision tables". These are decision tables but different from "normal" decision tables. They fix the flaws of traditional decision tables making it a joy to work with. But they keep all benefits of traditional decision tables. First of all they present the logic in a very dense form. 1. Explore all possible combinations of conditions and actions by question-and-answer. 2. Have a compact one-sheet-view on complex logic. ... -
22
BifurcumLib
A library for running through a directional graph.
This is the library for the project Bifurcum. It does all the work. It has a simple algorithm (Deep First Search with modifications) and allows sorting children before traversing. This library 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. -
23
Etchimaths (ALL categories)
This is a maths solving app and study guide for various levels..
Etchimaths is a Mathematics software, a helping tool for Mathematics simulation(solving) and study.It is a solving as well as a teaching software. It involves Mathematics programs at various levels of studies;they include: 1.Etchimaths(O'LEVEL) 2.Etchimaths(A'LEVEL) 3.Etchimaths(UNIVERSITY) 4.Etchimaths(BEPC/BEPC+1) 5.Etchimaths(BAC) 6.Etchimaths(UNIVERSITE) 7.Etchimaths(ULTIMATE) and more to come in future.. -
24
HL7 Inspector
HL7 Inspector is a tool for managing HL7 messages
The HL7 Inspector project has moved to Bitbucket. https://bitbucket.org/crambow/hl7inspector All new releases can be found there. The web-based version can still be found at www.hl7inspector.com -
25
VStar
Multi-platform Variable Star Visualisation and Analysis
VStar is a multi-platform, easy-to-use variable star observation visualisation and analysis tool. Data can be read from a file or the AAVSO database, light curves and phase plots created, period analysis performed, and filters applied. Plugins can be developed, e.g. to make additional observation sources available. See also: 1. http://www.aavso.org/vstar-overview 2. http://www.aavso.org/forums/about-aavso/vstar 3. http://dbenn.wordpress.com/category/astronomy-science/vstar 4. http://www.citizensky.org/teams/vstar-software-development
