Search Results for "open assistant"

x
Sort By:

Showing 8 open source projects for "open assistant"

View related business solutions
Mathematics Clear Filters & Widen Search
  • 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.
    Start Free
  • 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
  • 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
    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: 1 This Week
    Last Update:
    See Project
  • 3
    A collection of tools for formalizing programming languages and compilers, based around the Coq proof assistant
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    The Quality Control Assistant is a utility for quality assurance. Included are shipment analysis functions (confidence interval calculation) and a production control module (error band calculation)
    Downloads: 0 This Week
    Last Update:
    See Project
  • Cut Data Warehouse Costs by 54% Icon
    Cut Data Warehouse Costs by 54%

    Easily migrate from Snowflake, Redshift, or Databricks with free tools.

    BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
    Start Free
  • 5
    Intelligent Assistant Constructor is software system based on Expert Systems. The main purpose is creating, teaching and asking Intelligent Assistants.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Tools for working with Metamath proof databases. This project is a fork of Norm Megill's Proof Assistant, which you can find at http://us.metamath.org/ .
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Coq4Eclipse is a plugin for the Eclipse Platform that provides an interface to the Coq Proof Assistant. It will support the user with syntax highlighting, search facilities, mathematical symbols, pretty-print, etc.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Fractal Assistant is a pure Java fractal exploration utility. It is designed to be a user-friendly, highly configurable environment with support for pluggable module files.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next

Related Searches

Related Categories

MongoDB Logo MongoDB