Search Results for "research assistant"

x
Sort By:

Showing 4 open source projects for "research assistant"

View related business solutions
Mathematics Linux Clear Filters & Widen Search
  • 99.99% Uptime for MySQL and PostgreSQL Databases Icon
    99.99% Uptime for MySQL and PostgreSQL Databases

    Sub-second maintenance. 2x read/write performance. Built-in vector search for AI apps.

    Cloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
    Try Free
  • 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
  • 1
    HLM is a proof assistant for everyday mathematics, which is currently being developed. It aims for a user experience as close as possible to regular mathematical practice, and proofs which are understandable by humans with little extra effort.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    Coqtail
    COQ Theorems, Abstractions and Implementations (bachelor Level) Coqtail is a library of mathematical proofs using the Coq proof assistant.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Scale Assistant is an OpenOffice.org extension designed to give OOo Calc additional power that meet some needs of social sciences researcher.
    1 Review
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    A collection of tools for formalizing programming languages and compilers, based around the Coq proof assistant
    Downloads: 0 This Week
    Last Update:
    See Project
  • Ship Agents Faster Icon
    Ship Agents Faster

    Transform your applications and workflows into powerful agentic systems at global scale.

    Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
    Get Started Free
  • Previous
  • You're on page 1
  • Next

Related Searches

Related Categories