Showing 5 open source projects for "copilot"

View related business solutions
  • Go from Code to Production URL in Seconds Icon
    Go from Code to Production URL in Seconds

    Cloud Run deploys apps in any language instantly. Scales to zero. Pay only when code runs.

    Skip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
    Try it free
  • Fully Managed MySQL, PostgreSQL, and SQL Server Icon
    Fully Managed MySQL, PostgreSQL, and SQL Server

    Automatic backups, patching, replication, and failover. Focus on your app, not your database.

    Cloud SQL handles your database ops end to end, so you can focus on your app.
    Try Free
  • 1
    Lean Copilot

    Lean Copilot

    LLMs as Copilots for Theorem Proving in Lean

    LeanCopilot integrates large language models (LLMs) as copilots for theorem proving in the Lean proof assistant. It assists users by suggesting tactics, premises, and searching for proofs, thereby enhancing the efficiency of formal verification processes. LeanCopilot supports both built-in models from LeanDojo and custom models, offering flexibility for various use cases.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 2
    Chromium

    Chromium

    The official GitHub mirror of the Chromium source

    ...As we add support for multiple coding IDE/agents, we will likely pull common prompts and instructions into a central directory with stubs for bespoke IDE/agent integration. Please check with your organization before using GitHub Copilot. copilot-intructions.md is typically a single instruction file that contains default instructions for a workspace. These instructions are automatically included in every chat request.
    Downloads: 65 This Week
    Last Update:
    See Project
  • 3

    Candy's Space Mysteries II

    With the helpfull nef, you have to rescue earthlike planets!

    During their recent spacetrip, Candy & Noopy get trapped into a giant wormhole! They made a long light trip and found a passage who leads to the Milky Way. They was searching for a place to land, they have found the Earth. Knowing that great cataclysms are menacing their homeplanet, Candy & Noopy said together: - "We must save the Earth!". Since some times, the star masses, combined with the magnetic-fields of this planet gave special powers to the spaceship: The one of...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 4
    TurboPilot

    TurboPilot

    Open source large-language-model based code completion engine

    TurboPilot is a self-hosted copilot clone that uses the library behind llama.cpp to run the 6 Billion Parameter Salesforce Codegen model in 4GiB of RAM. It is heavily based and inspired by on the fauxpilot project. This is a proof of concept right now rather than a stable tool. Autocompletion is quite slow in this version of the project. Feel free to play with it, but your mileage may vary.
    Downloads: 0 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
    RESP.app GUI for Redis

    RESP.app GUI for Redis

    Graphical Redis database management tool

    ...Troubleshoot any issues with our slow log inspection, command profiler, database analyzer, and more. Make app development easier with syntax highlighting and schema-aware auto-completion. You can even use Redis Copilot to construct search queries in natural language to provide context-aware assistance tailored to your data.
    Downloads: 2 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next
MongoDB Logo MongoDB