Search Results for "ubuntu-"

x
Sort By:

Showing 3 open source projects for "ubuntu-"

View related business solutions
Operating System Kernels Mac Clear Filters & Widen Search
  • 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 to Google Cloud? Get $300 in credits to explore Compute Engine, BigQuery, Cloud Run, Gemini Enterprise Agent Platform, and more.

    Start your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
    Claim $300 Free
  • 1
    Coq Jupyter

    Coq Jupyter

    Jupyter kernel for Coq

    Make sure that CoqIDE (8.6 or newer) is installed and coqidetop or coqidetop.opt (coqtop for Coq versions before 8.9.0) is in your PATH. Also, make sure the python command is recognized on your machine. If not you can set up an alias for it e.g. python-is-python3 on Ubuntu. There are a number of convenience improvements over standard Jupyter notebook behavior that are implemented to support Coq-specific use cases.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 2
    ZintoriOS

    ZintoriOS

    Simple, Fast, Advanced... ZintoriOS. Made in Wellington, New Zealand

    Downloads: 0 This Week
    Last Update:
    See Project
  • 3

    Ubuntu Package Dependency Recuperator

    An Ubuntu package recuperator, along with its dependencies.

    Donwload a package and its dependencies, for dealing with Ubuntu computers which has no internet connection. Before, a script is to be launched from the internet-less computer in order to know which packages are already installed.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next

Related Categories