59 projects for "tools" with 2 filters applied:

  • 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
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
    Try free now
  • 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: 49 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: 29 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: 1,088 This Week
    Last Update:
    See Project
  • 4
    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: 2 This Week
    Last Update:
    See Project
  • Enterprise-grade ITSM, for every business Icon
    Enterprise-grade ITSM, for every business

    Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity.

    Freshservice 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.
    Try it Free
  • 5
    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: 69 This Week
    Last Update:
    See Project
  • 6
    statTools

    statTools

    Command-line tools for simple statistics

    statTools contains command-line tools for simple statistics
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    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: 241 This Week
    Last Update:
    See Project
  • 8
    zCharter
    Charting tools, backtesting tools, and data visualization tools for the most popular cryptocurrencies.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9

    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
  • $300 Free Credits for Your Google Cloud Projects Icon
    $300 Free Credits for Your Google Cloud Projects

    Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.

    Launch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
    Start Free Trial
  • 10
    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
  • 11
    A collection of tools for time-frequency analysis.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 12
    The Orientation Library is a collection of routines for rotation/orientation manipulation. It ranges from general tools to others for crystal orientations. It is written in C and is well-documented. An interactive program enables to run the routines.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    JBernstein

    JBernstein

    JBernstein: Exploration techniques for non-linear constraint checking

    ...Concerning performance, the tool enables to check all examples in the PVS Bernstein testsuite within a second, which can be an order of magnitude faster than some other tools such as QEPCAD or REDLOG. Although JBernstein uses double, it offers automatic error-estimation capabilities (experimental) so that the generated result is correct (the solver may return unknown when the error-estimate is too large)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    EnvStats

    EnvStats

    An R Package for Environmental Statistics

    ...Also included are numerous built-in data sets from regulatory guidance documents and the environmental statistics literature. EnvStats combined with other R packages (e.g., for spatial analysis) provides the environmental scientist, statistician, researcher, and technician with tools to “get the job done!”
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Math tools in Python to tackle down problems in Operational Research fields. Comes with a Django based web interface to allow remote access to complex simulation means.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    IsaScheme is a collection of mathematical theory exploration tools for Isabelle, implementing the scheme-based mathematical theory exploration approach for theory formation.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    PTools is a set of useful tools written in Pascal. It includes: scientific calculator, archiver, text editor, remote adminitration and more. It is designed to be portable across operating systems, specially Java-based mobiles, Windows and Unixes.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 18
    OPALE is an Open Source project which development is done at two different levels: the OPALE library: which is a scientific library written in Java and which is composed of different modules (tools, swools, mathtools,...). Its purpose is to give
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    GsTL is a C++ library that provides a comprehensive set of tools and algorithms for geostatistics. The algorithms provided include kriging, cokriging, sequential simulation and p-field simulation.
    Leader badge
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    gfit creates an interface between computational models and experimental data and provides tools for their analysis
    Downloads: 10 This Week
    Last Update:
    See Project
  • 21
    A collection of compact, powerful programs and functions, written in C, for the analysis and transformation of data. No object or structure dependencies, no fancy interfaces - just good tools.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    This project hosts tools used for analysis of Gaussian Mixture Distributions (GMDs) which are used for statistical signal processing. The tools are libraries for implementing GMD operations and programs used to analyze properties of GMDs.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    This is my first attempt at building a reusable framework for 3D applications (not an engine!), primarily for educational purpose and also because none of the already existing tools did satisfy me. No longer maintained.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    A collection of pre- and post-processors for mathematical software (such as AUTO) to investigate bifurcation problems in non-linear dynamical systems. A self contained subset is RAuto, a collection of scripts and programs for running AUTO on a comman
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    Maximum entropy is a powerful method for constructing statistical models of classification tasks, such as part of speech tagging in Natural Language Processing. Several example applications using maxent can be found in the OpenNLP Tools Library.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • Next
Auth0 Logo