Search Results for "binary analysis tool"
Sort By:
Showing 66 open source projects for "binary analysis tool"
View related business solutions-
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
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
...The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc. The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with binary downloads from https://github.com/OpenJML/OpenJML/releases/latest
-
2
Popppy
Population Propogation in Python. Simulate births, marriages, deaths
...It does a decent job predicting 10 to 20 years ahead. Beyond that the input parameters fertility rate, marriage age and mortality rates could change in an unpredictable manner. The tool could also be useful and fun for a student, for anyone curious about near-future demographics or CO2 emissions, or curious amateurs. Since it's Open Source (<2000 lines of Python code) you can make your own changes. It runs from the command line and should run on any (MS WIndows, Linux/Unix/Mac OSX) platform running Python 3. A non-Python MS Windows pre-compiled Popppy executable/binary is included for those who just want to run it without having the bother of installing Python 3.x or not wanting to change the source code. -
3
qvge
Qt Visual Graph Editor
...Its main goal is to make possible visually edit two-dimensional graphs in a simple and intuitive way. Please note that qvge is not a replacement for such a software like Gephi, Graphvis, Dot, yEd, Dia and so on. It is neither a tool for "big data analysis" nor a math application. It is really just a simple graph editor :) -
4
Advanced Trigonometry Calculator
Precision Trigonometry: Advanced Calculator for Complex Math
Advanced Trigonometry Calculator is equipped with a user-friendly interface that allows for easy input of problems and instant computation. Professionals such as engineers who need to perform advanced trigonometric calculations in their work will find this tool extremely useful. ATC Online Alpha: https://advantrigoncalc.sourceforge.io/atc/ More info by clicking below: https://advantrigoncalc.sourceforge.io/ Advanced Trigonometry Calculator was only and always only developed by... -
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
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... -
6
Digital Forensics Guide
Learn all about Digital Forensics and Computer Forensics
The Digital Forensics Guide repository is a comprehensive, structured reference for investigators, analysts, students, and cybersecurity professionals interested in digital forensics principles, tools, methodologies, and workflows. It organizes foundational topics such as evidence acquisition, disk and memory analysis, file system structures, network forensics, artifact extraction, timeline generation, and reporting into digestible modules that help build core competency. Alongside... -
7
Elementary Algorithms
Book of elementary algorithms and data structures
This book introduces elementary algorithms and data structure. It includes side-by-side comparison of purely functional realization and their imperative counterpart. From 2020/12, I started re-writing this book. The PDF can be downloaded for preview (EN, 中文). The 1st edition in Chinese (中文) was published in 2017. I recently switched my focus to the Mathematics of programming, the new book is also available in (github). To build the book in PDF format from the sources, you need the following... -
8
Glove
Data analysis tool
Glove provides an interface to data acquisition systems, sophisticated (and correct) statistical analysis, a plotting tool, and the ability to easily manipulate the data. Its modular design allows plug-ins for acquisition, manipulation, and analysis. ChangeLog: http://glove.sourceforge.net/ChangeLog.html -
9
EduData
Datasets in Education and convenient interface for dataset
...The CLI tools to quickly convert the "raw" data of the dataset into "mature" data for knowledge tracing task. The "mature" data is in json sequence format and can be modeled by XKT and TKT(TBA) The analysis dataset tool only supports the json sequence format. To check the following statical indexes of the dataset. In order to better verify the effectiveness of the model, the dataset is usually divided into train/valid/test or using kfold method. Each item in the sequence represents one interaction. The first element of the item is the exercise id (in some works, the exercise id is not one-to-one mapped to one knowledge unit(ku)/concept, but in junyi, one exercise contains one ku) and the second one indicates whether the learner correctly answers the exercise, 0 for wrongly while 1 for correctly. -
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
10
Stats With Julia Book
Collection of runnable Julia code examples for a statistics book
...This project bridges the gap between textbook learning and hands-on coding, making it a valuable educational tool for students, researchers, and practitioners. -
11
Ceka
Crowd Environment and its Knowledge Analysis
A knowledge analysis tool for crowdsourcing based on Weka. We also have a Python version of Crowdsourcing Learning: CrowdwiseKit on GitHub (https://github.com/tssai-lab/CrowdwiseKit). -
12
BPF Performance Tools
Official repository for the BPF Performance Tools book
BPF Performance Tools Book is the companion repository for Brendan Gregg’s book on Linux performance analysis using eBPF and BCC tracing technologies. The project contains scripts, examples, and reference material that demonstrate how to inspect kernel behavior, application performance, CPU usage, networking activity, file systems, and system bottlenecks in real time. It serves as both an educational resource and a practical toolkit for Linux engineers, SREs, and performance analysts working... -
13
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 -
14
Tweet analysis/querying - Team Burton
A tool for analyzing tweets and querying them. (University Project)
A CSV files and Tweet parser. With this project, you can easily analyse some tweets and extract datas from these tweets in order to make charts, tables. -
15
Email analyser - Les Furets Comateux
An university project to learn the basics of software engeeniring
This repository was created and is a part of the GL02 course taught in the UTT. The goal is to create a tool to simplify the work of a fake corporation called UIConsult by automating the analysis of an email box. -
16
RadiationHelper
Alpha, Beta, Gamma measurements and Nuclide exposure
RadiationHelper is a data analysis tool for : 1. gross alpha and beta radiation measurement and detector calibration using experimental data (counts acquired by alpha-beta devices). 2. gamma spectroscopy measurements and detector calibration using experimental data (spectra acquired by acquisition software such as Assayer, Gamma Vision, Maestro) 3. gross alpha,beta, gamma detector efficiencies and gamma peak efficiency can be theoretical computed using Monte-Carlo simulation technique for radiation transport (based on EGSnrc toolkit) 4.dose assessment in human body exposed to radiations from nuclides in several common scenarios such as air exposure, water submersion, ground surface, internal ingestion or inhalation. 5. quick dosimetry and shielding computations. ... -
17
Universal Tag Finder
Is tool for query HTML content
Universal Tag Finder is a tool to query against html content in the file system. For developers it allows to find out relevant elements during the troubleshooting and validating periods. Does not need to bother on massive regex to find out elements. -
18
SCRAM
Probabilistic Risk Assessment Tool
SCRAM is a free and open source probabilistic risk analysis tool. The tool is under development to include fault tree, event tree, common cause, and other standard analyses. -
19
The Deep Review
A collaboratively written review paper on deep learning, genomics, etc
This repository is home to the Deep Review, a review article on deep learning in precision medicine. The Deep Review is collaboratively written on GitHub using a tool called Manubot (see below). The project operates on an open contribution model, welcoming contributions from anyone. To see what's incoming, check the open pull requests. For project discussion and planning see the Issues. As of writing, we are aiming to publish an update of the deep review. We will continue to make project... -
20
HermeneutiX
Your graphical tool for Syntactic/Semantic Structure Analysis of texts
HermeneutiX is a tool for diagramming syntactic and semantic structures of complex (not necessarily foreign-language) texts (e.g. bible or other historical excerpts). HermeneutiX is now part of SciToS (the scientific tool set). Starting with version 2.0.0, HermeneutiX can be found on GitHub. Please check out the release summary: https://github.com/scientific-tool-set/scitos/releases For an introduction, check out this video: https://youtu.be/uQjewyG0Ad8 PS: To run a Java... -
21
VirtualX - Online Examination System
VirtualX has all features that you need to manage an online exam
...This multilingual tool has other features like blog/discussion as well as document sharing. -
22
GATOOL - Genome Assembly Tool
The tool allows to perform a bacterial genome assembly.
GATOOL is a web interface whichs integrates several tools, with the purpose of to do a genome assembly task and provide to the users a nice and real experience. and a very fast way to genomes assembly. -
23
Market-Stats
A currency and stocks, charting and analysis tool.
-
24
SoundRuler is a tool for acoustic analysis, graphing and teaching. It interactively recognizes and measures 35 temporal and spectral properties of each sound in a file. It also features several measurement, graphing and didactic modules.
-
25
VibroToolbox is a tool for research and education in vibrometry. Test your audio equipment, describe responses to vibratory stimulation and analyze directionality. It works with precision i/o hardware or simple sound cards, various sensors and speakers.
