Search Results for "hol"

x
Sort By:

Showing 7 open source projects for "hol"

View related business solutions
  • Host LLMs in Production With On-Demand GPUs Icon
    Host LLMs in Production With On-Demand GPUs

    NVIDIA L4 GPUs. 5-second cold starts. Scale to zero when idle.

    Deploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
    Try Free
  • Error to trace to log to deploy. One click. No SSH. Icon
    Error to trace to log to deploy. One click. No SSH.

    Catch the cause before the pager goes off.

    AppSignal links every error to the trace, the trace to the log, the log to the deploy that shipped it.
    Free 30 days.
  • 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: 2 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
  • Build Agents and Models on One Platform Icon
    Build Agents and Models on One Platform

    Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

    Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
    Try It Free
  • 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

Auth0 Logo