Showing 189 open source projects for "dox-tool"

View related business solutions
  • Go From AI Idea to AI App Fast Icon
    Go From AI Idea to AI App Fast

    One platform to build, fine-tune, and deploy ML models. No MLOps team required.

    Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
    Try Free
  • AI-powered service management for IT and enterprise teams Icon
    AI-powered service management for IT and enterprise teams

    Enterprise-grade ITSM, for every business

    Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
    Try it Free
  • 1
    Statistics

    Statistics

    Detects usage of unsafe Rust in a Rust crate and its dependencies

    A tool that lists statistics related to the usage of unsafe Rust code in a Rust crate and all its dependencies.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    SymPy

    SymPy

    A computer algebra system written in pure Python

    ...SymPy has participated in every Google Summer of Code since 2007 and because of this has continuously improved. A lot more people have also contributed to it, and used it in their projects. Beyond being an interactive tool, it can be embedded in other apps and extended with custom functions.
    Downloads: 12 This Week
    Last Update:
    See Project
  • 3
    GMAT

    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.
    Leader badge
    Downloads: 1,088 This Week
    Last Update:
    See Project
  • 4
    RODIN
    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.
    Leader badge
    Downloads: 1,568 This Week
    Last Update:
    See Project
  • Earn up to 16% annual interest with Nexo. Icon
    Earn up to 16% annual interest with Nexo.

    Access competitive interest rates on your digital assets.

    Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.
    Get started with Nexo.
  • 5
    Community Z Tools

    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
    Leader badge
    Downloads: 401 This Week
    Last Update:
    See Project
  • 6
    Fractalscope

    Fractalscope

    A cross-platform fractal explorer

    A tabbed document interface, cross-platform fractal explorer written in Qt. Emphasis is on ease of use and a fluid, non-blocking interface. Features include animated zooming and panning, arbitrary precision, and antialiasing. An introductory video is available to view here: https://www.youtube.com/watch?v=SXaqaun121E
    Downloads: 7 This Week
    Last Update:
    See Project
  • 7
    Euler Math Toolbox

    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...
    Leader badge
    Downloads: 64 This Week
    Last Update:
    See Project
  • 8
    STK

    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),...
    Downloads: 7 This Week
    Last Update:
    See Project
  • 9
    Advanced Trigonometry Calculator

    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 the Portuguese Renato Alexandre dos Santos Freitas. Also author of poems, reflections and thoughts published on the platform https://www.pensador.com/autor/renato_alexandre_dos_santos_freitas/ ATC is Made in Portugal. ...
    Leader badge
    Downloads: 17 This Week
    Last Update:
    See Project
  • $300 in Free Credit Towards Top Cloud Services Icon
    $300 in Free Credit Towards Top Cloud Services

    Build VMs, containers, AI, databases, storage—all in one place.

    Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
    Get Started
  • 10
    Social Network Visualizer

    Social Network Visualizer

    Social Network Analysis and Visualization software

    Visit our new site: http://socnetv.org Social Network Visualizer (SocNetV) is a social network analysis and visualization application. You can draw a social network (graph/digraph) or load an existing one (GraphML, UCINET, Pajek, etc), compute cohesion, centrality, community and structural equivalence metrics and apply various layout algorithms based on actor centrality or prestige scores (i.e. Eigenvector, Betweenness) or on dynamic models (i.e. Kamada-Kawai spring-embedder)
    Downloads: 7 This Week
    Last Update:
    See Project
  • 11
    QInterference

    QInterference

    Double slit experiment visualization tool loving multicore processors

    QInterference can visualize batch of double slit experiments. It can also solve it in radial as well as Cartesian coordinates and moreover it can simulate functionality the phase-array radar with the main-bundle deflection.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12

    calc: C-style arbitrary precision system

    Calc: arbitrary precision C-like arithmetic & calculator

    Calc is arbitrary precision C-like arithmetic system that is a calculator, an algorithm prototyper and mathematical research tool. Calc comes with a rich set of builtin mathematical and programmatic functions.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 13

    sequoia-dap

    SEQUOIA ocean data assimilation platform (a SIROCCO suite tool)

    ***** THIS PROJECT HAS MOVED TO https://gitlab.in2p3.fr/sirocco/sdap/sdap-dev ***** ***** THIS PROJECT HAS MOVED TO https://gitlab.in2p3.fr/sirocco/sdap/sdap-dev ***** ***** THIS PROJECT HAS MOVED TO https://gitlab.in2p3.fr/sirocco/sdap/sdap-dev ***** 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...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    OpenSIMPLY

    OpenSIMPLY

    Discrete-event simulation modeling software for science and education

    ...Some application of this modeling software are: - traffic simulation - network simulation, - emergency and evacuation ways simulation and much more. This simulation tool runs in Windows and Linux, on 32-bit and 64-bit platforms, as a GUI or console (terminal) application. Write the model only once, simulate anywhere. Videos on installing OpenSIMPLY for different IDEs and operating systems : https://www.youtube.com/playlist?list=PLnyWoktGqA
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    PI-Based Image Encoder / Converter

    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! ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16

    Dynamics Explorer

    Dynamical systems research tool

    Dynamics Explorer, (detool for short), is a program designed to let users explore dynamical systems, particularly focused on enabling mathematicians to improve the efficiency and quality of their research in the field of complex dynamics.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 17
    basic_numerical_methods

    basic_numerical_methods

    Didactic application to aid students in learning Numerical Methods;

    A practical tool (for students and engineers) to foresee the result of calculus exercises. Calculation and visualization numerical methods for nonlinear equation, ODE, integration, linear system, polynomial fitting,.....
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18

    ntx

    Neutrality tests using the SNP site frequency spectrum

    Tests on "neutrality" are designed to detect systematic deviations from chance patterns in genetic data. This tool computes for a given SNP site frequency spectrum some standard test statistics like Tajima's D, Fay & Wu's H, etc. Additionally, the user may adapt the tests to specific demographies by specifying non-standard first and secondary moments. These can be obtained e.g. from simulations.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20

    MAGeCK

    Model-based Analysis of Genome-wide CRISPR-Cas9 Knockout

    Model-based Analysis of Genome-wide CRISPR-Cas9 Knockout (MAGeCK) is a computational tool to identify important genes from the recent genome-scale CRISPR-Cas9 knockout screens technology. For instructions and documentations, please refer to the wiki page. MAGeCK is developed by Wei Li and Han Xu from Dr. Xiaole Shirley Liu's lab at Dana-Farber Cancer Institute/Harvard School of Public Health, and is maintained by Wei Li lab at Children's National Medical Center.
    Leader badge
    Downloads: 84 This Week
    Last Update:
    See Project
  • 21
    Curv

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22

    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.
    Leader badge
    Downloads: 1 This Week
    Last Update:
    See Project
  • 23

    yafu

    Automated integer factorization

    ...Most algorithm implementations are multi-threaded, allowing YAFU to fully utilize multi- or many-core processors (including SNFS, GNFS, SIQS, and ECM). 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
    Leader badge
    Downloads: 87 This Week
    Last Update:
    See Project
  • 24
    PlanetPack

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    ADiGator

    ADiGator

    A MATLAB Automatic Differentiation Tool

    ADiGator is a source transformation via operator overloading tool for the automatic differentiation of mathematical functions written in MATLAB. Given a user written file, together with information on the inputs of said file, ADiGator uses forward mode automatic differentiation to generate a new file which contains the calculations required to compute the numeric derivatives of the original user function.
    Leader badge
    Downloads: 4 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • 4
  • 5
  • Next
MongoDB Logo MongoDB