Search Results for "buddy"

x
Sort By:

Showing 6 open source projects for "buddy"

View related business solutions
Scientific/Engineering Windows Clear Filters & Widen Search
  • 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
  • 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.
    Start Free
  • 1

    LTL3DRA

    LTL to deterministic Rabin automata translator based on LTL3BA

    ...Strejček: Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment (2013) In 11th International Symposium on Automated Technology for Verification and Analysis (ATVA 2013) In order to compile LTL3DRA, the BuDDy library (http://sourceforge.net/projects/buddy/) is needed. Tested with buddy 2.4. The benchmark used in "Comparison of LTL to Deterministic Rabin Automata Translators" paper published on LPAR19 can be found in Files/LPAR19-benchmarks (https://sourceforge.net/projects/ltl3dra/files/LPAR19-benchmarks/).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    Buddy Rock Geotools

    Buddy Rock Geotools

    Toolbox for geoscientists and geo enthusiasts

    Downloads: 0 This Week
    Last Update:
    See Project
  • 3

    Java Decision Diagram Libraries (BDD)

    Java Decision Diagrams (BDD) libraries: JDD and JBDD

    This project has been moved to bitbucket.org: - https://bitbucket.org/vahidi/jbdd/wiki/Home - https://bitbucket.org/vahidi/jdd/wiki/Home It includes two libraries for working with decision diagrams: - JBDD: a Java interface to two popular BDD libraries, CUDD and BuDDy - JDD: a native Java library supporting BDD, Z-BDD
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    This is a small application in Java helping to find DICOM tags meanings by tag values or DICOM tag codes by meaning.
    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.
    Start Free
  • 5
    Insulin Buddy is diabetes management software. It allows for quick and painless entry of all diabetes-related data (blood blucose, carbohydrate consumption, insulin doses, etc) and provides a number of reports, charts and data exports to easily keep trac
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    A .NET library for controlling the i-Buddy USB device from your own code. Build your own notification system to keep an eye on e-mails, website hits and server failure.
    1 Review
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next

Related Searches

Related Categories

MongoDB Logo MongoDB