73 projects for "https" with 2 filters applied:

  • $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
  • 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.
    Try Free
  • 1
    Armadillo

    Armadillo

    fast C++ library for linear algebra & scientific computing

    ... * Downloads: http://arma.sourceforge.net/download.html * Documentation: http://arma.sourceforge.net/docs.html * Bug reports: http://arma.sourceforge.net/faq.html * Git repo: https://gitlab.com/conradsnicta/armadillo-code
    Leader badge
    Downloads: 2,758 This Week
    Last Update:
    See Project
  • 2
    Maxima -- GPL CAS based on DOE-MACSYMA

    Maxima -- GPL CAS based on DOE-MACSYMA

    Computer Algebra System written in Common Lisp

    ...Executables can be downloaded for Windows, Mac, Linux, and Android; source code is also available. An active community maintains and extends the system. Website: https://maxima.sourceforge.io Additional add-on packages for Maxima can be found at: https://github.com/maxima-project-on-github/maxima-packages
    Leader badge
    Downloads: 8,887 This Week
    Last Update:
    See Project
  • 3
    Mathpaqs

    Mathpaqs

    A collection of mathematical packages in pure Ada

    Various mathematical packages including algebra, finite elements, random variables, probability dependency models, unlimited integers. Pure Ada, fully portable. More information on... http://mathpaqs.sf.net Alire crate: https://alire.ada.dev/crates/mathpaqs Mirror: https://github.com/zertovitch/mathpaqs
    Downloads: 35 This Week
    Last Update:
    See Project
  • 4
    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: 750 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
  • 5
    NZMATH

    NZMATH

    Python Calculator on Number Theory, three-birds-one learning material

    ...It is designed for beginning students of algorithmic number theory to self-study Number Theory, Programming and scientific English together, three-birds-one learning material. It is possible only by running and reading the programs. You can get the notebook here: https://sourceforge.net/projects/nzmath/files/nzmath-enttakagi/ Visit our home page in detail: https://nzmath.sourceforge.io/
    Downloads: 4 This Week
    Last Update:
    See Project
  • 6
    Minsky

    Minsky

    System dynamics program with additional features for economics

    ...Minsky is good for demonstrating mathematics too, with the most "math-like" interface in system dynamics. Sign up to Minsky's Patreon page (for as little as $1 a month) at https://www.patreon.com/Ravelation/. This creates a user community, which SourceForge doesn't facilitate.
    Leader badge
    Downloads: 65 This Week
    Last Update:
    See Project
  • 7
    MathMod

    MathMod

    MathMod is a mathematical modeling software

    ...Change-log for MathMod-13.0 (15/11/2025) 1) Scripts generator to add thickness to iso/parametric surfaces 2) Undo/Redo commands for navigating through previous scripts 3) New scripts, Bug-fixes, code optimization and documentation update For a complete list of changes made during the course of development, please visit: https://github.com/users/parisolab/projects/2
    Leader badge
    Downloads: 39 This Week
    Last Update:
    See Project
  • 8
    SPINA

    SPINA

    Structure parameter inference approach for endocrine feedback control

    SPINA is software for the rapid, reliable and accurate determination of constant structure parameters of endocrine feedback control systems. It is a class of static function tests that require nothing more than steady-state concentrations of hormones or metabolites obtained in vivo. The first version of this cybernetic approach had been developed for the evaluation of the functional status of the thyroid gland, i.e. thyroid's secretory capacity (gain of thyroid, GT or SPINA-GT) and sum...
    Leader badge
    Downloads: 17 This Week
    Last Update:
    See Project
  • 9

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Gemini 3 and 200+ AI Models on One Platform Icon
    Gemini 3 and 200+ AI Models on One Platform

    Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

    Build generative AI apps with Vertex AI. Switch between models without switching platforms.
    Start Free
  • 10
    JME (Java Math Expression)

    JME (Java Math Expression)

    Evaluador de expresiones matemáticas para Java en español

    ...También implementa un potente modo REPL que permite usar interactivamente la mayoría de características del lenguaje implementado por la biblioteca JME, incluida la importación y exportación CSV, HTML, JSON y XML. Puede consultarse la documentación de usuario y de desarrollador en la página https://miguelalejandromorenobarrientos.github.io/JmeDoc/ IDE JMEScriptGUI https://sourceforge.net/projects/j
    Downloads: 9 This Week
    Last Update:
    See Project
  • 11

    zkcm

    A C++ library for multiprecision complex-number matrix calculations.

    zkcm library is a C++ library for multi-precision complex-number matrix calculations. It provides a number of functionalities including the LU decomposition, the singular value decomposition, tensor product calculation, tracing-out operations, etc.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 12
    UnBBayes

    UnBBayes

    Framework & GUI for Bayes Nets and other probabilistic models.

    ...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.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 13
    JMEScriptGUI

    JMEScriptGUI

    Pequeño IDE para el lenguaje JMEScript.

    Con este IDE podrá probar cualquier script escrito en JMEScript con toda la funcionalidad del lenguaje, incluidos gráficos 2D y conexión MySQL. La versión para Android, en este momento, tiene menos funcionalidad y ejecuta la versión 0.1 de JMEScript. Parser JME y lenguaje JMEScript en https://sourceforge.net/projects/jme/ Documentación en https://morenobarrientos-jme.site44.com/ Código fuente y UDL para Notepad++ en pestaña 'FILES'
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    ...The manifold is represented as an atlas of charts whose domains are balls. Multifario can compute implicitly defined manifolds and invariant manifolds. See also https://multifario.sourceforge.io/ Keywords: Continuation, Bifurcation.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15

    mers

    Portable software and data related to Mersenne numbers

    ...Useful to automate certain tasks related to GIMPS (www.mersenne.org) for computers that cannot run the GIMPS software for whatever reason. Much of the code has been in use since 1990 or so by a few people. The project web site at https://mers.sourceforge.io/mersenne.html has data about Mersenne numbers from many people generated by this and other software, notably from the GIMPS project.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 16
    Bandicoot

    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 Apache 2.0 license, useful for both open-source and proprietary (closed-source) software * Can be used for machine learning, pattern recognition, computer vision, signal processing, bioinformatics, statistics, finance, etc * Downloads: http://coot.sourceforge.io/download.html * Documentation: http://coot.sourceforge.io/docs.html * Bug reports: http://coot.sourceforge.io/faq.html * Git repo: https://gitlab.com/conradsnicta/bandicoot-code
    Downloads: 5 This Week
    Last Update:
    See Project
  • 17
    Symja Java Computer Algebra

    Symja Java Computer Algebra

    Symja - Java computer algebra language & symbolic math library

    Symja - computer algebra language and Java symbolic math library. Moved to https://github.com/axkr/symja_android_library. The Android App can be found at: https://github.com/axkr/symja-example
    Downloads: 25 This Week
    Last Update:
    See Project
  • 18

    eprb_signal_correlations

    Simulation of a two-channel Bell test, with closed-form proofs

    Derivation, entirely by probability theory, of the correlation coefficient for a two-channel Bell test, with simulation in Ada and other languages. The Nobel Committe for Physics bans this program for subversive content. (Mirror of the repository at https://github.com/chemoelectric/eprb_signal_correlations)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    ...Its aim is to make machine learning possible for novice users by means of a simple, consistent API, while simultaneously exploiting C++ language features to provide maximum performance and flexibility for expert users. * More info + downloads: https://mlpack.org * Git repo: https://github.com/mlpack/mlpack
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    JLinAlg
    ...Features include: basic matrix operations, algorithms for solving Linear Equation Systems, inverting matrices, computing the determinant and the eigenvalues of a matrix. We have moved to Github: https://github.com/JLinAlg/JLinAlg
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21

    lpsolve

    Mixed Integer Linear Programming (MILP) solver.

    Mixed Integer Linear Programming (MILP) solver lp_solve solves pure linear, (mixed) integer/binary, semi-cont and special ordered sets (SOS) models.lp_solve is written in ANSI C and can be compiled on many different platforms like Linux and WINDOWS This project is moved to github: https://lp-solve.github.io/
    Leader badge
    Downloads: 1,175 This Week
    Last Update:
    See Project
  • 22

    ExRandom

    Sampling exactly from the normal and exponential distributions

    ...This library provides an implementation of the algorithms described in C. F. F. Karney, Sampling exactly from the normal distribution, ACM Trans. Math. Software 42(1), 3:1-14 (Jan. 2016), https://doi.org/10.1145/2710016, https://arxiv.org/abs/1303.6257.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 23
    The new version of MinimPy (MinimPy2) is available for download at: https://osdn.net/dl/minimpy2/MinimPy2.zip Please send your feedback about this new version to mahmood.saghaei@gmail.com (include MinimPy2 in the subject) ============================================================ MinimPy is a desktop application program for sequential allocation of subjects to treatment groups in clinical trials by using the method of minimization.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 24
    Tux Math Scrabble

    Tux Math Scrabble

    12÷16×3=9÷4

    Latest version 0.9.1 runs on Python3. Date: June 15, 2023 Online/touch-screen version: https://www.asymptopia.com/tuxmathscrabble Encourages kids to construct compound equations and consider multiple abstract possibilities.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    Numerics for Chemical Engineering

    Numerics for Chemical Engineering

    Numerical models for chemical and process engineering

    ...The project includes the following ready to use software all based on the same core library: * Online Calculators at www.chesolver.com * Extensions for Libreoffice/Openoffice Calc spreadsheet: - NCE: https://extensions.libreoffice.org/extensions/nce - NCE-Units: https://extensions.libreoffice.org/extensions/nce-units Check out also our video channel: https://www.youtube.com/channel/UCt2EGdw33k2u19PnZAi8YJA
    Downloads: 4 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • Next
MongoDB Logo MongoDB