131 projects for "net-tools" with 2 filters applied:

  • Paessler: Easy to Use With Enterprise Power. Free Trial Icon
    Paessler: Easy to Use With Enterprise Power. Free Trial

    A low-code dashboard makes monitoring intuitive for any admin, while scripting and custom sensors give experts full control.

    You shouldn't have to choose between a monitoring tool that's easy to use and one that's powerful enough for a complex environment. PRTG's low-code interface lets any admin build dashboards, set alerts and monitor devices without scripting, while custom sensors and full API access are there when your team needs deeper control. One platform, no compromise. Download a free 30-day trial now.
    Get Free Download
  • Custom VMs From 1 to 96 vCPUs With 99.95% Uptime Icon
    Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

    General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

    Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
    Start Free
  • 1
    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: 47 This Week
    Last Update:
    See Project
  • 2
    Mobile Open-Source Software and Tools

    Mobile Open-Source Software and Tools

    Android, UIQ 3.0, Series 60 Edition 5 open-source software

    Android, Symbian UIQ 3.0 and Symbian Series 60 Edition 5 open-source software, tools, libraries and themes. Most notable the FX-602P / FX-603P Simulator and the HP-45 Emulator are hosted here.
    Leader badge
    Downloads: 88 This Week
    Last Update:
    See Project
  • 3
    JAGS is Just Another Gibbs Sampler. It is a program for the statistical analysis of Bayesian hierarchical models by Markov Chain Monte Carlo.
    Leader badge
    Downloads: 2,565 This Week
    Last Update:
    See Project
  • 4
    UnBBayes

    UnBBayes

    Framework & GUI for Bayes Nets and other probabilistic models.

    UnBBayes is a probabilistic network framework written in Java. It has both a GUI and an API with inference, sampling, learning and evaluation. It supports Bayesian networks, influence diagrams, MSBN, OOBN, HBN, MEBN/PR-OWL, PRM, structure, parameter and incremental learning. Please, visit our wiki (https://sourceforge.net/p/unbbayes/wiki/Home/) for more information. Check out the license section (https://sourceforge.net/p/unbbayes/wiki/License/) for our licensing policy.
    Leader badge
    Downloads: 61 This Week
    Last Update:
    See Project
  • $300 Free Credits to Build on Google Cloud Icon
    $300 Free Credits to Build on Google Cloud

    New customers can spin up VMs, build with AI, and query data at no cost.

    Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
    Start Free
  • 5
    STK

    STK

    a Small (Matlab/Octave) 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), the STK can be useful for other applications areas (such as Geostatistics, Machine Learning, Non-parametric Regression, etc.).
    Downloads: 7 This Week
    Last Update:
    See Project
  • 6
    open_data_assimilation
    Generic data-assimilation toolbox written in java, with native (c and fortran) libraries for high performance computing. Provides tools to couple to your own model and a wide range of algorithms, ranging from parameter calibration to Kalman filters.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7

    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 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. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    HOL is a system for proving theorems in Higher Order Logic. It comes with a large variety of existing theories formalising various parts of mathematics and theoretical computer science.
    Leader badge
    Downloads: 20 This Week
    Last Update:
    See Project
  • 9
    A library and attached graphical and console based application to solve and design interlocking burr-type puzzles based on cubes, spheres, triangles and other units.
    Leader badge
    Downloads: 87 This Week
    Last Update:
    See Project
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
    Start Free
  • 10
    Gambit
    A library of tools for doing computation in game theory.
    Downloads: 25 This Week
    Last Update:
    See Project
  • 11

    Zarja

    Agent-based simulation toolkit

    It is an open source scientific library that is focused on multi-agent simulations on graphs. It prepares basic toolkit for agents, models, timers, graphs, nodes and edges. It is also accompanied with tools for data processing.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    statTools

    statTools

    Command-line tools for simple statistics

    statTools contains command-line tools for simple statistics
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    LTI-Lib is an object oriented computer vision library written in C++ for Windows/MS-VC++ and Linux/gcc. It provides lots of functionality to solve mathematical problems, many image processing algorithms, some classification tools and much more...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    CLISP - an ANSI Common Lisp
    CLISP is a portable ANSI Common Lisp implementation and development environment by Bruno Haible. Interpreter, compiler, debugger, CLOS, MOP, FFI, Unicode, sockets, CLX. UI in English, German, French, Spanish, Dutch, Russian, and Danish.
    Leader badge
    Downloads: 252 This Week
    Last Update:
    See Project
  • 15
    zCharter
    Charting tools, backtesting tools, and data visualization tools for the most popular cryptocurrencies.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    The math category theory software with diagram graphical user interface.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    Nuklei is a C++ library that implements kernel functions and kernel density estimation for SE(3) data. Nuklei also provides tools for manipulating SE(3) transformations, and for manipulating point clouds.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    Software for speech research. It includes programs and libraries for signal processing, along with general purpose scientific libraries. Most of the code is in Python, with C/C++ supporting code. Also, contains code releases corresponding to publishe
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    ...RKWard aims to provide an easily extensible, easy to use IDE/GUI for R. RKWard tries to combine the power of the R-language with the (relative) ease of use of commercial statistics tools.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 20

    Machinist Math Kit

    Set of tools that help CNC machinists

    A set of tools/calculators that help CNC machinists quickly handle math associated with machine technology. Will incorporate more calculators when they are ready the final product will probably be a single combined application. Currently available is a Mill Rate calculator that is recursive, meaning it changes the corresponding values as you manipulate the data.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21

    GeoPDEs

    A package for Isogeometric Analysis in Octave and Matlab

    GeoPDEs is a suite of software tools for research on Isogeometric Analysis of PDEs. GeoPDEs is free software implemented in Octave and fully compatible with Matlab. GeoPDEs is no longer developed at SF, and has moved to GitHub. Please visit http://rafavzqz.github.io/geopdes/ The mailing list will remain active. Releases up to 2.0.4 can be found here. From version 2.1.0 onward, see https://github.com/rafavzqz/geopdes
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22

    Quantum walk library

    Toolkit for simulations of quantum walks on graphs

    Quantum walk library is set of tools for simulations of quantum walks (for chiral or achiral particles) on graphs based on Zarja library.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    WOLFGANG

    WOLFGANG

    Editor for Petri nets

    ...Use Wolfgang to smoothly create the Petri net you want! A user guide and a documentation can be found under http://doku.telematik.uni-freiburg.de/wolfgang.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    MOEA Framework

    MOEA Framework

    A Free and Open Source Java Framework for Multiobjective Optimization

    ...The MOEA Framework supports genetic algorithms, differential evolution, particle swarm optimization, genetic programming, grammatical evolution, and more. A number of algorithms are provided out-of-the-box, including NSGA-II, NSGA-III, ε-MOEA, GDE3 and MOEA/D. In addition, the MOEA Framework provides the tools necessary to rapidly design, develop, execute and statistically test optimization algorithms.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    Gráficas 2D
    Graficas 2D is an opensource library for plotting 2D functions. It's compatible with .NET Framework and Mono
    Downloads: 0 This Week
    Last Update:
    See Project