Search Results for "binary analysis tool"
Sort By:
27 projects for "binary analysis tool" with 2 filters applied:
-
Vibes don’t ship, Retool doesVibe coding tools create cool demos, but Retool helps you build software your company can actually use. Generate internal apps that connect directly to your data—deployed in your cloud with enterprise security from day one. Build dashboards, admin panels, and workflows with granular permissions already in place. Stop prototyping and ship on a platform that actually passes security review.
-
Atera all-in-one platform IT management software with AI agentsAtera’s AI agents don’t just assist, they act. From detection to resolution, they handle incidents and requests instantly, taking your IT management from automated to autonomous.
-
1
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 R2025a. For a complete list of new features, compatibility changes, and bug fixes, see the R2025a Release Notes in the Users Guide. -
2
CRC RevEng
Arbitrary-precision CRC calculator and algorithm finder
CRC RevEng is a portable, arbitrary-precision CRC calculator and algorithm finder. It calculates CRCs using any of the 113 preset algorithms, or a user-specified algorithm to any width. It calculates reversed CRCs to give the bit pattern that produces a desired forward CRC. CRC RevEng also reverse-engineers any CRC algorithm from sufficient correctly formatted message-CRC pairs and optional known parameters. It comprises powerful input interpretation options. Compliant with Ross Williams'... -
3
STK
a Small (Matlab/Octave) Toolbox for Kriging
The STK is a (not so) Small Toolbox for Kriging. Its primary focus in on the interpolation / regression technique known as kriging, which is very closely related to Splines and Radial Basis Functions, and can be interpreted as a non-parametric Bayesian method using a Gaussian Process (GP) prior. The STK also provides tools for the sequential and non-sequential design of experiments. Even though it is, currently, mostly geared towards the Design and Analysis of Computer Experiments (DACE),... -
4
sequoia-dap
SEQUOIA ocean data assimilation platform (a SIROCCO suite tool)
Within the SIROCCO suite of numerical tools, the purpose of SDAP is to provide a flexible platform to carry out multivariate assimilation of geophysical data in a numerical model. The program is multi-grid (finite differences or finite elements), multi-algebra (plug-in analysis kernels), multi-model (simple standardized interface). The program supports reduced-order data assimilation methods, as well as Ensemble assimilation approaches such as the Ensemble Kalman Filter. Recent additions... -
Desktop and Mobile Device Management SoftwareDesktop Central is a unified endpoint management (UEM) solution that helps in managing servers, laptops, desktops, smartphones, and tablets from a central location.
-
5
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. -
6
lpsolve
Mixed Integer Linear Programming (MILP) solver.
Mixed Integer Linear Programming (MILP) solver lp_solve solves pure linear, (mixed) integer/binary, semi-cont and special ordered sets (SOS) models.lp_solve is written in ANSI C and can be compiled on many different platforms like Linux and WINDOWS This project is moved to github: https://lp-solve.github.io/ -
7
EDM Calibration Baseline Fitting
EDMFit is an adjustment tool to estimate EDM calibration parameters.
An EDM calibration baseline is used to derive specific instrument errors of the electronic distance measurement (EDM) unit of a total station. EDMFit is a simple adjustment tool to estimate the EDM calibration parameters (addition constant and/or scale parameter). The adjustment process is according to ISO 17123-4. The parameters are checked for significance, to avoid an overestimation. Based on two classical hypothesis testing, EDMFit provides a reliable outlier detection. For... -
8
Visual Integer Factor
Puzzle game demonstrating whats so hard about binary integer factoring
VisualIntFactor will be an interactive educational and scientific tool demonstrating multiply, factor, conversion between unary counting and binary integers, all in the same grid of hexagons. This grid is based on pascals triangle, which is a 1d cellular automata that calculates (X choose Y) factorials by each cell being the sum of the 2 cells upleft and upright. Draw a binary integer from a cell going upright, then explore the allowed transforms which may lead you to a factored state in 2 dimensions, from the lowest digit of the 2 odd integers both upright and upleft, its factors, and in the 2d space they are rectangle edges of, those pixels/digitbits must be on when there is an on bit somewhere downleft and downright after crossing empty cells, but if it finds either whole diagonal row empty then it must also be empty/zerodigit. ... -
9
DeDAY
MLE survival analysis: Gompertz, Weibull, Logistic and mixed morality.
DeDAY (Demography Data Analyses) is a tool of analyzing demography data. It supports Gompertz, Weibull and Logistic distributions. DeDay also supports mixed mortality models based on these distribution such as the Gompertz-Makeham distribution. Distributions such as Gompertz describes only age-dependent mortality, which increases over time. Mixed mortality models, such as in Gompertz-Makeham distribution, consider a more general case where mortality is consist of both age-dependent and... -
Smarter safety. Simplified compliance. Stronger teams.From compliance confidence to operational control, EHS Hero® equips EHS professionals with the tools they need to stay ahead of risk, meet regulatory demands, and build safer, smarter workplaces. Whether you’re managing incidents, maintaining audit readiness, delivering training, or analyzing performance, EHS Hero brings everything together in one powerful, easy-to-use platform. Join thousands of safety leaders who trust EHS Hero to simplify compliance and elevate safety performance—every day.
-
10
ShiVaSmiles
A slick interface to see various scale analysis algorithms in action.
The Shape Visualizer is intented to be an exploratory/educational tool making it quick and easy to see how various mathematical methods perform in analysing and selecting the various patterns present on an image. The main website is built as a wiki gathering info and examples on the various implemented algorithms. The combination of the application and its wiki intend to constitute a nice little pedagogic toolkit for multiscale analysis. -
11
GLUT Complex Function Plotter
GCFP is an open-source tool for visualizing complex functions.
GLUT Complex Function Plotter (GCFP) is an open-source tool for visualizing complex functions using OpenGL. It can be customized using LUA. Please note: I wrote GCFP while learning for an exam in complex analysis to understand the behavior of some complex functions. As it has proven useful to me I thought I would share it though obviously GCFP could be improved in many ways.. -
12
-
13
Stand-alone software tool for the interactive CE analysis of microarray data. The software is a user-friendly and allows on-the-fly study of CE
-
14
Tailorshop: Optimization based Analysis and data Generation tOol. Support tool for the computer test scenario "Tailorshop" that is the basis for many psychological studies. Data can be generated, visualized, and provided to optimization solvers.
-
15
PlexBench is a cross-platform, web-enabled, analysis tool that is driven by a scalable backpropagation feed-forward neural network. It uses embedded Perl for scripting and is written in the style of an in-process Component Object Model (COM) C++ program.
-
16
Provides: A tool collection for array orientated programming under Linux and Unix operating systems. Main subjects: Handling text- and numeric arrays, mainly stored in shell variables. Furtheron, some useful arithmetic solutions will be provided.
-
17
The NA_WorkSheet is a set of algorithms coded in Java that implements various Numerical Analysis techniques. The tool may be used for graphing, root finding, differentiation, integration, interpolation, linear systems solving, and matrix operations.
-
18
The Distributed Real-time Embedded Analysis Method (DREAM) is a tool and method for the real-time verification and performance estimation of distributed real-time embedded (DRE) systems. Publications: http://www.ics.uci.edu/~gabe/publications.html.
-
19
-
20
SurveyForge is a survey definition and execution tool oriented to statisticians running on JEE platform with special emphasis on data entry made easy, use of existing standards (Triple-S, Metanet, DDI) and reuse of standard (or not) classifications
-
21
A tool for proof theorists to study deduction systems and to develop proof search strategies for them. GraPE should eventually support step-by-step proof construction, automatic proof search with various strategies, proof transformations and analysis.
-
22
Algae is a programming language for numerical analysis. We wrote it because we needed a fast and versatile tool, capable of handling large systems. Algae has been applied to interesting problems in aerospace and related fields for more than a decade.
-
23
Zherlock has now changed name to SciCraft and no longer hosted on sourceforge. Visit our new site at http://www.scicraft.org
-
24
JTSA is an educational time series analysis tool for simple calculations and forecasts using the additional or multiplicative seasonal decomposition method.
-
25
MathROOT is a tool for high-energy physicists to access the ROOT data analysis framework from within Mathematica
