Search Results for "buddy"
Sort By:
Showing 9 open source projects for "buddy"
View related business solutions-
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
Cut Data Warehouse Costs by 54%BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
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/). -
2
LTL3BA
Translator of LTL formulae to Büchi automata based on LTL2BA
...LTL3BA supports output in Hanoi Omega-Automata (HOA) format since version 1.1.0. More information about HOA can be found here: http://adl.github.io/hoaf/ In order to compile LTL3BA, the BuDDy library (http://sourceforge.net/projects/buddy/) is needed. -
3
Buddy Rock Geotools
Toolbox for geoscientists and geo enthusiasts
-
4
A Binary Decision Diagram library, with : many highly efficient vectorized BDD operations, dynamic variable reordering, automated garbage collection, a C++ interface with automatic reference counting, and much more.
-
Veeam Data Platform v13.1Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
5
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 -
6
This is a small application in Java helping to find DICOM tags meanings by tag values or DICOM tag codes by meaning.
-
7
BuddyScout is an interface between BuDDy (Binary Decision Diagram library) and GHC (Glasgow Haskell Compiler). It enables you to use the BDD library from within Haskell programs.
-
8
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
-
9
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.
-
Build Agents and Models on One PlatformGemini 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.
- Previous
- You're on page 1
- Next
