Search Results for "frida-server"
Sort By:
Showing 84 open source projects for "frida-server"
View related business solutions-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
Stop Cyber Threats with VM-Series Next-Gen Firewall on AzureGain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
-
1
MathCode
A Frontier Mathematical Coding Agent
MathCode is a terminal-based AI coding assistant focused on mathematical formalization and theorem proving. It is designed to transform plain-language mathematical reasoning into verified Lean 4 code and formal proofs. The project combines AI agents with Lean Language Server Protocol integration, allowing it to inspect compiler feedback, search for lemmas, and iteratively repair failed proof attempts. It supports an agentic proving workflow where the system behaves more like an interactive mathematical engineer than a one-shot text generator. MathCode also includes visualization-oriented tooling such as theorem graph generation for Obsidian knowledge workflows. ... -
2
gnuplot
A portable, multi-platform, command-line driven graphing utility
A famous scientific plotting package, features include 2D and 3D plotting, a huge number of output formats, interactive input or script-driven options, and a large set of scripted examples. -
3
SOFA is a statistics, analysis, and reporting program with an emphasis on ease of use, learn as you go, and beautiful output.
-
4
Bandicoot
fast C++ library for GPU linear algebra & scientific computing
* Fast GPU linear algebra library (matrix maths) for the C++ language, aiming towards a good balance between speed and ease of use * Provides high-level syntax and functionality deliberately similar to Matlab * Provides an API that is aiming to be compatible with Armadillo for easy transition between CPU and GPU linear algebra code * Useful for algorithm development directly in C++, or quick conversion of research code into production environments * Distributed under the permissive... -
Compliant and Reliable File Transfers Backed by Top Security CertificationsStop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
-
5
MathSteps
Step by step math solutions for everyone
...The library also exposes a catalog of change types so callers can interpret or filter specific transformations. It is distributed via npm and requires Node.js greater than version 6, with a straightforward API that fits neatly into web or server environments. The repository includes tests and contribution guidelines, making it approachable for developers who want to extend or adapt the behavior for their own applications. -
6
Aleph One is a highly sophisticated program for generating fractals. Some major features are: A built-in expression generator, 32-bit colouring schemes for the fractals, multi-threaded and multi-server rendering! WOW! And lots, lots more... The source code has moved to GitLab: https://gitlab.com/jmmcg/alephone
-
7
gsasnp2
PubMed ID: 29562348 / DOI: 10.1093/nar/gky175
* GSA-SNP2 is a successor of GSA-SNP (Nam et al. 2010, NAR web server issue). GSA-SNP2 accepts human GWAS summary data (rs numbers, p-values) or gene-wise p-values and outputs pathway genesets ‘enriched’ with genes associated with the given phenotype. It also provides both local and global protein interaction networks in the associated pathways. * Article: SYoon, HCTNguyen, YJYoo, JKim, BBaik, SKim, JKim, SKim, DNam, "Efficient pathway enrichment and network analysis of GWAS summary data using GSA-SNP2", Nucleic Acids Research, Vol. 46(10), e60(2018)... -
8
QuatView
Quaternion Viewer and Converter
Quaternion conversion and visualization program for Windows. Includes 3D OpenGl graphics, real-time quaternion file playback, and a server to receive and display quaternion data from remote computers via TCP. Also displays Euler angles and DCM. -
9
Vytics Community
Query and plot data in seconds (Excel, CSV, SQL and NoSQL DBMS)
Vytics lets you query and plot csv data, Excel files, databases (SQL and NoSQL). You can also organize your queries, data and graphs into reports and projects. -
Build Securely on AWS with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
10
SWire
A Stata plugin for connecting Stata with other software
SWire is a software interface enabling us to query Stata for the executing of basic operations like reading or writing data. The core of SWire is a Java plugin which functions as a server and it can be queried by using the HTTP protocol. SWire is in essence a wrapper around the Stata-Java API and all the functions relating to this API can, therefore, be externally called by clients. SWire can be interrogated on a local network and it accepts AJAX queries, thus enabling the development of web applications which provide the user with graphical user interfaces. ... -
11
Turing and Post Machines: C++ Simulators
Turing and Post Machines' C++ Simulators
The C++-programs simulate : Nondeterministic/Deterministic Multitape Turing & Post Machines, Universal Turing Machine, Turing Machine with faults, failures and recovery. -
12
SWire4R
An R package enabling R to interact with Stata for data exchange
Swire4R is an R package for exchanging data between R and Stata. SWire4R uses SWire for connecting R to Stata. SWire is a plugin for Stata >=13 which acts like a server: client applications can query SWire for interacting with Stata. SWire4R acts like a client application for Swire, providing the user with various basic functions for retrieving data from Stata and exporting data to Stata. SWire4R must be compiled by R. For more information about SWire, visit https://sourceforge.net/projects/swire/ -
13
LateXSL is a set of XSLT stylesheets that translates LaTeX embedded in a Web page into HTML, so that math typed directly into a web page as LaTeX is displayed as math in a viewer's browser. The stylesheets may be applied in the browser or by a server.
-
14
Universal Java Matrix Package
sparse and dense matrix, linear algebra, visualization, big data
The Universal Java Matrix Package (UJMP) is an open source Java library which provides sparse and dense matrix classes, as well as a large number of calculations for linear algebra such as matrix multiplication or matrix inverse. Operations such as mean, correlation, standard deviation, replacement of missing values or the calculation of mutual information are supported, too. The Universal Java Matrix Package provides various visualization methods, import and export filters for a large... -
15
KeplerDB
Timeseries databases management system
KeplerDB is a temporal database to store time/value entries where the type of value could be integer, float/double, boolean and string. KeplerDB is dedicated to be scalable and to create clusters of server allowing the user to analyse and store massing amount of data to monitor systems like computers, clusters, building and captors or financial systems like markets and accounts. The user can use KeplerDB to make data analysis on enormous amount of data (statistics and modelling). -
16
Vortex Based Mathematics
Learn the language of nature.
-
17
Hy3S uses advanced MPI parallelized hybrid stochastic simulation methods to quickly compute the dynamics of biochemical networks with thousands of species/reactions. Many features included (see Home Page). An easy-to-use GUI (Matlab req) is included.
-
18
Handles Hexahedral, Tetrahedral, Quadrilateral, and Triangle meshes. Lagrangian, Hierarchic, and Monomial finite elements. Interface to PETSc solvers, adaptive mesh refinement, and extreme portablility.
-
19
ATMSP
ATMSP - A Tiny Mathematical Speed Parser
A Tiny Mathematical Speed Parser ATMSP is a portable C++ parser for mathematical expressions like "sin(x)+y^2" e.g. These may contain arbitrary numbers of functions, variables and constants. Major design goal was minimalistic size and maximum speed. Tiny 320 code-lines offer a parser plus bytecode-generator, 26 mathematical functions and 17 supported base-types including complex and arbitrary MPFR-multiprecision. Both parser and bytecode may run in threads. The usage of ATMSP is... -
20
-
21
blitzwave
C++ wavelet library
blitzwave is a c++ wavelet library building on the blitz++ array classes. NOTE: blitzwave has moved to GitHub - the new project URL is http://github.com/oschulz/blitzwave/ . -
22
System Stability Tester is a multi platform open source clone of SuperPI and comes with a GUI and a CLI. It can be used for CPU and RAM burning, stressing and benchmarking.
-
23
Java Micro Benchmark - control tasks required to determine the comparative performance characteristics of the computer system on different platforms. Can be used to determine the effect of different software on the performance of a computer system.
-
24
Organization for Free Software in Education and Teaching. Our goal is to develop free software for education with knowledge sharing as our main concern. We already have developed software as DrGeo, GCompris, DrGenius and the live CD freeduc.
-
25
Matrex is a lightweight vectorial spreadsheet: calculates blocks of values, not single cells; it is strongly multithreaded; users can work together on sheets using a server. Adapters to matlab, scilab, octave, R.
