Search Results for "binary decision diagram"
Sort By:
Showing 34 open source projects for "binary decision diagram"
View related business solutions-
Forever Free Full-Stack Observability | Grafana CloudBuilt 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.
-
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
1
LightGBM
Gradient boosting framework based on decision tree algorithms
LightGBM or Light Gradient Boosting Machine is a high-performance, open source gradient boosting framework based on decision tree algorithms. Compared to other boosting frameworks, LightGBM offers several advantages in terms of speed, efficiency and accuracy. Parallel experiments have shown that LightGBM can attain linear speed-up through multiple machines for training in specific settings, all while consuming less memory. LightGBM supports parallel and GPU learning, and can handle... -
2
Meddly
Multi-terminal and Edge-valued Decision Diagram LibrarY
Meddly (Multi-terminal and Edge-valued Decision Diagram LibrarY) is a C++ library that natively supports various types of decision diagrams, including BDDs, MDDs, MTMDDs, EV+MDDs, and EV*MDDs. Advanced features include: compact and customizable node storage, configurable garbage collection, and many built-in operations (with compute table support). -
3
Yaoqiang BPMN Editor
an Open Source BPMN 2.0 / DMN 1.1 Modeler
Yaoqiang BPMN Editor is a graphical editor for business process diagrams, compliant with OMG specifications (BPMN 2.0 / DMN 1.1). -
4
treeminder
a free mind mapping tool, to especially assist decision making
I've been trying to develop an idea of a project, but the wide range of possibilities with all their outcomes, cons and pros and whatnot got my mind overloaded. There was no way I could keep or process that much information with my bare mind. So, I've checked the mind mapping tools available in the market, both free and commercial ones, yet they were either clunky or overkilling for my needs. Thus, I've made my own thing, and decided to share it with everyone who might find it useful for... -
AI-powered service management for IT and enterprise teamsGive your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
-
5
MyBox
Easy Tools of PDF, Image, File, Network, Data, and Medias
javafx-desktop-apps pdf image ocr icc barcode color-palette text bytes markdown html archive compress digest video audio editor converter media https://github.com/Mararsh/MyBox Self-contain packages need not java env nor installation. Jar packages need Java 16 or higher. -
6
Work Case Toolkit 0.4 beta 1
Support variant based Java program execution, adapted to support MDE.
...Our main goal is to define an API that we can use embedded into any Java application to support dynamic execution based on variant flows. The variants are controlled by a graph decision using features diagrams relationships. The project was originally planned in 2005 to support Model Driven Architecture OMG approach, focusing specially on the management of architectural changes and models transformers. The main goal of the program is to design transformation chains based on features diagram variants. The model transformers orchestration is obtained by using Features Diagrams and Transformation Diagrams (a feature that must be re-implemented to support of a Java drawing API). ... -
7
Rover
Interactive Terraform visualization. State and configuration explorer
Rover is a Terraform visualizer. In order to do this, Rover generates a plan file and parses the configuration in the root directory or uses a provided plan. Parses the plan and configuration files to generate three items: the resource overview (rso), the resource map (map), and the resource graph (graph). Consumes the rso, map, and graph to generate an interactive configuration and state visualization hosts on 0.0.0.0:9000. You can build Rover manually by cloning this repository, then... -
8
ModelFox
ModelFox makes it easy to train, deploy, and monitor ML models
...Learn about your models and monitor them in production from your browser. ModelFox makes it easy to train, deploy, and monitor machine learning models. You can install the modelfox CLI by either downloading the binary from the latest GitHub release or by building from source. Train a machine learning model by running modelfox train with the path to a CSV file and the name of the column you want to predict. The CLI automatically transforms your data into features, trains a number of linear and gradient boosted decision tree models to predict the target column, and writes the best model to a .modelfox file. ... -
9
JDecisiontable
Stop to rack your brain, start using process-oriented decision tables!
This tool is about a method called "process-oriented decision tables". These are decision tables but different from "normal" decision tables. They fix the flaws of traditional decision tables making it a joy to work with. But they keep all benefits of traditional decision tables. First of all they present the logic in a very dense form. 1. Explore all possible combinations of conditions and actions by question-and-answer. 2. Have a compact one-sheet-view on complex logic. ... -
MongoDB Atlas runs apps anywhereMongoDB 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.
-
10
vRules4j-Java Object Validation Engine
vRules4j--Object Oriented Java Object Validation/Decision Rule engin
vRules4j--The best completely Object Oriented Java Object Validation/Decision Rule engine,which is born for taking over all validation responsibility in java business-enterprise industry and looking forward to providing Perfect/Lightweight solution. -
11
phase diagram module
binary library files for phase diagram module
Download at your own risk! The binary library files are offered with no guarantee! -
12
-
13
hexcompare
console-mode visual binary diff
hexcompare is a curses-based utility to compare and identify differences between two binary files. These differences are then represented visually with an interactive block diagram. -
14
JReliability allows to derive several reliability-related measures like Mean-Time-To-Failure (MTTF) or Mission-Time (MT) of complex systems that are modeled using Boolean functions, efficiently encoded in Binary Decision Diagrams (BDDs).
-
15
Klonwerk
advanced variability management tool
Klonwerk is an advanced and easy-to-use tool for reactive variability management and large-scale software reuse. It allows you to automatically clone and modify directories of textural or binary files (e.g. code, architecture, documentation), based on conceptual feature/decision models. -
16
EyeBallGUI
a tool for interactively viewing & marking multi-channel biosignals
EyeBallGUI: a tool for interactively viewing and marking multi-channel bio-signals for artefacts. The purpose of EyeBallGUI is to facilitate the eyeballing of multi-channel biosignals for the purpose of artefact rejection (or any other binary grouping). EyeBallGUI displays a set of time-series signals in a MATLAB Figure window, allowing the user to visually inspect and interact with the data via the mouse and keyboard in order to mark data as bad/rejected. The tool can be used to visualize a wide range of data types to make any kind of binary decision about segments of data. ... -
17
Qfsm
A graphical Finite State Machine (FSM) designer.
A graphical tool for designing finite state machines and exporting them to Hardware Description Languages, such as VHDL, AHDL, Verilog, or Ragel/SMC files for C, C++, Objective-C, Java, Python, PHP, Perl, Lua code generation. -
18
JBDDI
Java Binary Decision Diagram Interface
-
19
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.
-
20
Kiel University Relation package
Fast C library for relation algebra using binary decision diagrams.
Kure is a C library which provides manipulation of relations and operations of relation algebra using a fast implementation using binary decision diagram. It provides a Lua based domain-specific embedded programming language to conveniently manipulate and work with relations. For instance, given relations R, S, the tupling of them can be computed using [R,S] and they can be composed using R*S. -
21
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 -
22
"Tiny Oracle Get" is a Oracle DB GUI tool on Linux/Windows for developers. It supports DB browsing, comparison of SQL results, DDL output, drawing ER-diagram automatically, Excel friendly interface with multi-Language.Required Oracle Client and Qt4
-
23
Java library for manipulating BDDs (Binary Decision Diagrams). Binary decision diagrams are widely used in model checking, formal verification, optimizing circuit diagrams, etc.
-
24
LSim is a software for simulation and make executables to ARM Cortex-M3 mcu from logic gates diagram. LSim can compile logic gates diagram and generate binary executable files (*.bin, *.hex) for cortex-m3 mcu´s (LPC1768, under development).
-
25
[Delphi] Object-oriented library designed to help you with the developing of simple CAD applications and diagramming.
