Search Results for "proxy software tool"
Sort By:
Showing 71 open source projects for "proxy software tool"
View related business solutions-
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.
-
Forever Free Full-Stack Observability | 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
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... -
2
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.
-
3
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. -
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
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... -
6
ShinyCardinal
Mass spectrometry imaging data analysis software tool
ShinyCardinal is an open-source and vendor-neutral software that covers all steps in MSI data analysis. It leverages the R package Cardinal to enhance its functionalities by introducing several additional important features, such as the removal of background noises and matrix peaks, deisotoping, absolute quantification, network analysis, and metabolite identification. ShinyCardinal is built as a desktop application with a conveniently designed graphic user interface to provide users a... -
7
OpenSIMPLY
Discrete-event simulation modeling software for science and education
OpenSIMPLY is an open source project for simulation modeling in Delphi, Lazarus, Free Pascal. Download OpenSIMPLY at opensimply.org The project is free computer simulation software based on discrete-event approach. OpenSIMPLY is a science software with very high simulation performance. So, the simulation results can be obtained much faster. The project is suitable for people with any modeling experience, and can be used for both science and education. Some application of this modeling software are: - traffic simulation - network simulation, - emergency and evacuation ways simulation and much more. ... -
8
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! ... -
9
Axiom is a computer algebra system. It consists of an interpreter, a compiler and a library of algorithms. Axiom is an excellent research platform as well as a useful tool for scientific programming.
-
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
Curv
A language for making art using mathematics
Curv is a programming language for creating art using mathematics. It's a 2D and 3D geometric modelling tool that supports full colour, animation and 3D printing. Curv is a simple, powerful, dynamically typed, pure functional programming language. Curv is easy to use for beginners. It has a standard library of predefined geometric shapes, plus operators for transforming and combining shapes. These can be plugged together like Lego to make 2D and 3D models. Coloured shapes are represented... -
11
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. -
12
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.. -
13
yafu
Automated integer factorization
...YAFU is primarily a command-line driven tool. You provide the number to factor and, via screen output and log files, YAFU will provide you the factors. There is also an interactive environment similar to MATLAB or PARI/GP, where you can type commands and store results. YAFU is very customizable, through the optional use of many many command line parameters and a very capable expression inter -
14
PlanetPack
Radial-velocity & transits analysis tool for exoplanets
PlanetPack is a software tool developed to facilitate the radial-velocity time-series analysis for the goal of exoplanets detection, characterization, and basic dynamical simulations. The description of the main theoretic concepts, statistical methods and algorithms that PlanetPack implements, is given in the following refereed papers: R.V. Baluev 2013, Astronomy & Computing, V. 2, P. 18 (initial release); R.V. -
15
DEBay
Deconvolutes qPCR data to estimate cell-type-specific gene expression
DEBay: Deconvolution of Ensemble through Bayes-approach DEBay estimates cell type-specific gene expression by deconvolution of quantitative PCR data of a mixed population. It will be useful in experiments where the segregation of different cell types in a sample is arduous, but the proportion of different cell types in the sample can be measured. DEBay uses the population distribution data and the qPCR data to calculate the relative expression of the target gene in different cell types in... -
16
KMWin
Kaplan-Meier for Windows
KMWin (Kaplan-Meier for Windows) is a convenient tool for graphical presentation of results from Kaplan-Meier survival time analysis. The programme is based on the statistical software environment R and provides an easy to use graphical interface. As an introduction, see http://dx.plos.org/10.1371/journal.pone.0038960#s2. -
17
SuperShaper
A tool that uses OpenCL to procedurally generate 3D models
The SuperShaper is an interactive tool to manipulate 3D meshes created from a "Trigonometry Formula" in real-time. The created mesh of up to a million vertices can be morphed interactively. The model is displayed in 3D, allowing customising the rendering. Export to 3DS and OBJ file formats is supported. -
18
cocolib / light field suite
CUDA library for continuous optimization and light field analysis
Library for continuous convex optimization in image analysis, together with a command line tool and Matlab interface. Implements several recent algorithms for inverse problems and image segmentation with total variation regularizers and vectorial multilabel transition costs. Also included is a suite for variational light field analysis, which ties into the HCI light field benchmark set and givens reference implementations for a number of our recently published algorithms. *** NOTE: ... -
19
Root Phenotyping Suite
Three different software tools for phenotyping plant root images
...The software provides a robust, efficient and accurate means of phenotyping of roots, by detecting individual root tips and classifying them as belonging to a primary or lateral root. RootGraph is a novel, fully automated and robust approach for the detailed characterization of root traits, based on a graph optimization process. The scheme, firstly, distinguishes primary roots from lateral roots and, secondly, quantifies a broad spectrum of root traits. -
20
Charting tools, backtesting tools, and data visualization tools for the most popular cryptocurrencies.
-
21
TimescapeGlobal
a space-time interpolation geostatistical tool
This software is a time-aware geostatistical tool. Including time variability adds further issues to the already complicated field of geostatistical interpolation. On the other hand, most of the distributions of variables used in Earth and environmental sciences show patterns of change over time, not only in space. This tool is a free, open-source software, based on a generalization of the Inverse Distance Weighted algorithm. -
22
TU Calc
Simple tool for numerical calculation
TU Calc is a modular tool that aims to gather numerical methods for solution of mathematical problems. Interacting with the user through a GUI that is analogous to the windows desktop. -
23
Command line FFT
A simple command line utility to produce an FFT/IFFT of ASCII data
Ever had a bunch of ASCII data that you would like to have a quick look at in frequency domain, but don't want to fire up some bulky analysis software package just for that? Well, I have... So I wrote this tiny tool. It is based on fftw (www.fftw.org) and boost's program options (boost.org). cli-fft is really simple: All it does is to receive ASCII data from a file or standard in, FFT it and write out the result into a file or to standard out. -
24
Kohonen neural network library is a set of classes and functions for design, train and use Kohonen network (self organizing map) which is one of AI algorithms and useful tool for data mining and discovery knowledge in data (http://knnl.sf.net).
-
25
Etchimaths(A'LEVEL)
Etchimaths(A'LEVEL) is a typical Mathematics software for A'LEVEL
Etchimaths(A'LEVEL) is a Mathematics software, a helping tool for Mathematics simulation(solving) and study for the GCE ADVANCED LEVEL standard.It is a solving machine as well as a teaching machine
