Showing 13 open source projects for "archive"

View related business solutions
  • 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
  • $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
  • 1
    MCM-ICM

    MCM-ICM

    Mathematical Contest resources

    MCM-ICM is a curated archive of Outstanding Winner (“O-奖/特等奖”) solution papers from the Mathematical Contest in Modeling and the Interdisciplinary Contest in Modeling, spanning the early 2000s through recent years. The repository is organized by year, with per-year folders that collect the top-ranked reports and, in later years, additional materials such as problem statements or problem notes when available.
    Downloads: 11 This Week
    Last Update:
    See Project
  • 2
    iMath
    ...The iMath extension to Libreoffice enables numeric and symbolic calculations inside a Writer document. If your OS can install .deb packages, have a look at my PPA http://launchpad.net/~jrheinlaender/+archive/ppa
    Leader badge
    Downloads: 179 This Week
    Last Update:
    See Project
  • 3
    Uranie

    Uranie

    Uranie is CEA's uncertainty analysis platform, based on ROOT

    ...It provides various tools for: - data analysis - sampling - statistical modeling - optimisation - sensitivity analysis - uncertainty analysis - running code on high performance computers - etc. Thanks to ROOT, it is easily scriptable in CINT (c++ like syntax) and Python. Is is available both for Unix and Windows platforms (a dedicated platform archive is available on request). Note : if you have downloaded version 3.12 before the 8th of february, a patch exists for a minor bug on TOutputFileKey file, don't hesitate to ask us.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 4
    ...It reads equations specified by special keywords in the LaTeX file, manipulates them and calculates numeric values of variables. If your OS can install .deb packages, have a look at my PPA http://launchpad.net/~jrheinlaender/+archive/ppa
    Downloads: 3 This Week
    Last Update:
    See Project
  • Demo Series - Small Business Backup By Veeam Icon
    Demo Series - Small Business Backup By Veeam

    Learn how to protect your Microsoft 365 data, with simple, actionable tips today.

    Watch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.
    Watch Demo Series
  • 5
    The MetCal/SPA package provides diagnostic resources for users and developers of meteorological apps. The Shared Procedure Archive is a dynamic set of file I/O, analysis routines and APIs for third party packages accessible through the MetCal GUI.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Algorithms Math Models

    Algorithms Math Models

    MATLAB implementations of algorithms

    Algorithms_MathModels is a large MATLAB collection of algorithms and solved examples targeted at students and teams preparing for mathematical modeling competitions (national and international contests like MCM/ICM). The repository gathers implementations and case studies across many topics commonly used in contest solutions: optimization (linear, integer, goal and nonlinear programming), heuristic and metaheuristic methods (simulated annealing, genetic algorithms, immune algorithms), neural...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Archive of Formal Proofs

    Archive of Formal Proofs

    A collection of machine-checkend mathematical proofs

    The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.
    Downloads: 18 This Week
    Last Update:
    See Project
  • 8

    lnlc

    lnlc calculates linear nlc-width and corresponding expressions

    ...On 2014's computers it works quite well up to graph sizes of about 10 nodes of linear nlc-width 3. The runtime depends on the size of the input graph, its linear nlc-width, and the number of nodes of high degree. The archive also contains the widths and corresponding expressions for the trees of up to 12 nodes.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    PlanetPack

    PlanetPack

    Radial-velocity & transits analysis tool for exoplanets

    ...Baluev 2013, Astronomy & Computing, V. 2, P. 18 (initial release); R.V. Baluev 2018, Astronomy & Computing, V. 25, P. 221 (update 3.0). The technical manual explaining the details of the practical use is available in the download archive here (see the /doc/ subfolder).
    Downloads: 2 This Week
    Last Update:
    See Project
  • Train ML Models With SQL You Already Know Icon
    Train ML Models With SQL You Already Know

    BigQuery automates data prep, analysis, and predictions with built-in AI assistance.

    Build and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
    Try Free
  • 10
    Functy

    Functy

    Functy is a 3D graph drawing package that generates immediate results.

    ...This immediacy and the vivid results promote fun exploration of 3D function. Rendering is performed entirely on the GPU to improve visuals and performance. Ubuntu functy PPA: https://launchpad.net/~flypig/+archive/ubuntu/ppa
    Downloads: 1 This Week
    Last Update:
    See Project
  • 11
    Opt4J

    Opt4J

    Modular Java framework for meta-heuristic optimization

    Opt4J is an open source Java-based framework for evolutionary computation. It contains a set of (multi-objective) optimization algorithms such as evolutionary algorithms (including SPEA2 and NSGA2), differential evolution, particle swarm optimization, and simulated annealing. The benchmarks that are included comprise ZDT, DTLZ, WFG, and the knapsack problem. The goal of Opt4J is to simplify the evolutionary optimization of user-defined problems as well as the implementation of arbitrary...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    Java library that implements linear algebra operations: matrix operations (addition, substraction, multiplication, transposing, determinant of matrix , inversion, rank of matrix); linear equations system solving.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    This project aims to provide a unified interface to all freely available rainfall data archives in the UK, and to data models. The key technologies are CORBA and XML, allowing anyone to contribute archive access, modelling and analysis modules.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next