Search Results for "hol"

x
Sort By:

Showing 7 open source projects for "hol"

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
  • Go From AI Idea to AI App Fast Icon
    Go From AI Idea to AI App Fast

    One platform to build, fine-tune, and deploy ML models. No MLOps team required.

    Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
    Try Free
  • 1
    HOL is a system for proving theorems in Higher Order Logic. It comes with a large variety of existing theories formalising various parts of mathematics and theoretical computer science.
    1 Review
    Downloads: 18 This Week
    Last Update:
    See Project
  • 2

    nonfree-data

    Nonfreely-Generated Datatypes in Isabelle/HOL

    Mutually-recursive non-nested non-freely generated dataytypes in Isabelle/HOL. Implemented as the animation of a meta-theory regarding the initial model of Horn clauses.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Klingon Dictionary - tlhIngan Hol mughom

    Klingon Dictionary - tlhIngan Hol mughom

    Klingon Dictionary and Analyzer

    This application features tlh-en and en-tlh dictionary, and a very basic (yet) klingon words/sentences analyzer. It does also have pretty basic klingon speech synthesis built on Macintalk english phonemes. If you like it, please donate! Visit homepage if you want to make a donation (link below).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Graphical user interface and backend for a beatmania IIDX score tracker. It is to be the unofficial Japanese High-Score-Online (HOL) replacement. This will track Ex scores as well as tallies for accuracy. Will provide rival mode as well.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Full-stack observability with actually useful AI | Grafana Cloud Icon
    Full-stack observability with actually useful AI | Grafana Cloud

    Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

    Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
    Create free account
  • 5
    Hosting home-made software which is mathematically proven to be correct. We make use of tools like HOL, PVS, ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    The POP3 project is a collaboration to give a full API of POP3 functions in a PHP class. Currently the class supports retrieval of all headers in a single call, message retrieval and decoding into associative arrays, message deletion and short-time hol
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7

    Isabelle/HOL Option Monad

    Monadic functions and their properties for Isabelle/HOL's option type.

    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next

Related Searches

Related Categories

MongoDB Logo MongoDB