Search Results for "hol"

x
Sort By:

Showing 2 open source projects for "hol"

View related business solutions
Scientific/Engineering Mac Clear Filters & Widen Search
  • Build Securely on AWS with Proven Frameworks Icon
    Build Securely on AWS with Proven Frameworks

    Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

    Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
    Download Now
  • 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.
    Start Free
  • 1
    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
  • 2
    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
  • Previous
  • You're on page 1
  • Next

Related Categories

veeam logo