Search Results for "dox-tool" - Page 3
Sort By:
Showing 68 open source projects for "dox-tool"
View related business solutions-
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.
-
Auth0 B2B Essentials: SSO, MFA, and RBAC Built InAuth0's B2B Essentials plan gives you everything you need to ship secure multi-tenant apps. Unlimited orgs, enterprise SSO, RBAC, audit log streaming, and higher auth and API limits included. Add on M2M tokens, enterprise MFA, or additional SSO connections as you scale.
-
1
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.
-
2
The goal is to develop a tool to assist research in algebraic graph theory. It already features an intuitive graphical user interface and methods to calculate graph endomorphisms, factor graphs and products of graphs.
-
3
Guided Logic Exercises is a tool that can be used for simplifying logical expressions. It is a java applet that makes use of underlying packages designed for the applet.
-
4
Ganzúa is a cryptanalysis tool for classical ciphers (mono and polyalphabetic) that lets the user define almost completely arbitrary cipher and plain alphabets, allowing for the proper cryptanalysis of cryptograms obtained from non-English texts.
-
Secure File Transfer for Windows with Cerberus by RedwoodCerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
-
5
A web-based, automated search engine that responds to user feedback through the use of artificial intelligence.
-
6
-
7
FractalJ is an application designed to be an education tool for teaching fractals and chaotic dynamical systems. Fractals, complete bifurcation diagrams, orbit diagrams, iterated function systems as well as the Mandelbrot and Julia sets are provided.
-
8
"Probabilistic Factorisation of Large Integers" Lima is a platform-independent software tool, written in Java, for factorising arbitrary integers using probabilistic algorithms and distributed computing methods.
-
9
Wavelets At Work is a graphical tool (written in java) using wavelets in order to detect discontinuity of an input signal.
-
Gemini 3 and 200+ AI Models on One PlatformBuild, govern, and optimize agents and models with Gemini Enterprise Agent Platform.
-
10
JTSA is an educational time series analysis tool for simple calculations and forecasts using the additional or multiplicative seasonal decomposition method.
-
11
Fnattlab is a matlab clone written in java. Fnattlab is a mathematical tool mainly used for manipulation of matrices, and is intended to be completely compatible with the commercial tool Matlab. No m-files are included with fnattlab. www.mathworks.com
-
12
-
13
JFD is an educational Java tool for computing the formal derivative of an expression. It recognizes the regular operators, parentheses and functions. It can also be extended with custom functions and/or operators.
-
14
MathGenius is a graphical tool intended to simplify your work in mathematics. By now it includes a graphical function plotter, a mechanism (still in development) to derive functions, and an equation solver. An extension mechanism will be developed.
-
15
Logo command and construct library for Java. Intended as a tool for teaching novice programmers the Java language and object orientation.
-
16
Tool for performing special mathematic operations needed for cryptography on your mobile. Useful for cryptography-lectures.
-
17
Paean is a tool to demonstrate in real-time the effect of various error-correcting codes on data transmitted via several channel models.
-
18
Depth Explorer is a visual interactive tool for learning about Statistical Data Depth and evaluating depth measures.
