Search Results for "proxy software tool"
Sort By:
266 projects for "proxy software tool" with 2 filters applied:
-
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.
-
AI-powered service management for IT and enterprise teamsGive your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
-
1
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... -
2
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. ... -
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
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. -
Earn up to 16% annual interest with Nexo.Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.
-
5
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 -
6
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 -
7
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).
-
8
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. -
9
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...
-
AI-generated apps that pass security reviewRetool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
-
10
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. -
11
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. -
12
Gemi
PCR primers / probes design from multiple & degenerate sequences
Please, do not hesitate to contact us if you need help. https://sites.google.com/view/hsa23/ Gemi, an automated, fast, and easy-to-use bioinformatics tool with a user-friendly interface to design primers and probes for polymerase chain reaction (PCR). Gemi accepts multiple aligned and long DNA and RNA sequences with degenerate nucleotide (non-A/C/G/T bases). Gemi can be used for quantitative, real-time and conventional PCR (qPCR, rt-PCR, etc.), and Sanger sequencing. Gemi can parse large... -
13
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. -
14
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. -
15
CAMPARI
Software for molecular simulations and trajectory analysis
We are proud to introduce version 5 of CAMPARI. We have added a number of new features, most notably a Python interface for interpreting user-supplied code (with the help of ForPy), a novel trajectory storage standard (with the help of libpqxx/PostgreSQL), and a module for performing transition path theory. Naturally, CAMPARI continues to provide the reference implementation of the ABSINTH force field paradigm and implicit solvation model. CAMPARI is a joint package for performing and... -
16
Sparx' EA - MDG for TRAK
MDG for Sparx' Enterprise Architect to Create TRAK arch. descriptions
Custom add-in (MDG technology) for Sparx Systems Enterprise Architect UML modelling tool (https://sparxsystems.com/products/ea/index.html) to create architecture descriptions using TRAK https://sf.net/projects/trak Provides: - the set of TRAK views that can be represented using UML and SysML . Each view display a custom toolbox palette with the objects and relationships that are needed for that TRAK view - relationships can be made directly from the objects on a view using the... -
17
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). -
18
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.
-
19
bctl
1-wire based boiler/DHW/distribution heating system controller
...It includes provision for dumping excess heat to the distribution system, as well as provision for heat recovery during a cool-down cycle. The design is based on the 1-wire family of sensors and data I/O components. The software package is written in C++ and utilizes the owcapi and owlib facilities of the open-source owfs package for all 1-wire transactions. The software architecture is based on the QP hierarchical state machine framework developed by Quantum Leaps, and utilizes their QM modeling tool for state machine template generation. QP is an open-source package and QM is distributed free of charge. -
20
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.
-
21
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. -
22
The FMI++ Library
A High-level Utility Package for FMI-based Software Development
The Functional Mock-up Interface (FMI) specification intentionally provides only the most essential and fundamental functionalities in the form of a C interface. On the one hand, this increases flexibility in use and portability to virtually any platform. On the other hand, such a low-level approach implies several prerequisites a simulation tool has to fulfill in order to be able to utilize such an FMI component. The FMI++ library addresses this problem for models and tools with... -
23
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 -
24
AOFlagger
RFI detector and quality analysis for astronomical radio observations
The AOFlagger is a tool that can find and remove radio-frequency interference (RFI) in radio astronomical observations. The code has been highly optimized for speed and accuracy. It is used by default for the LOFAR radio telescope and thus is in productional stage. The software can run in a fully automated way, but a graphical interface is provided to analyse results and tweak the strategy. -
25
opencpnplugins
Plugins for OpenCPN
This project hosts various plugins for the OpenCPN chart plotter, which are not bundled with the core package. OpenCPN is a free software (GPLv2) project to create a concise chart plotter and navigation software, for use underway or as a planning tool. OpenCPN is developed by a team of active sailors using real world conditions for program testing and refinement.
