Search Results for "bdd"
Sort By:
Showing 9 open source projects for "bdd"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
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.
-
1
Gherkin
A parser and compiler for the Gherkin language
Gherkin is a domain-specific language used in behavior-driven development (BDD) to describe software behaviors in a human-readable format. It allows stakeholders to write test cases in plain language, bridging the gap between technical and non-technical team members. -
2
Cgreen
Unittesting and mocking framework for C and C++
Cgreen has MOVED to GitHub: https://github.com/cgreen-devs/cgreen, files, documentation, source, issues are all there. This repo is OBSOLETE and not updated anymore. Cgreen is a unittesting and mocking framework for C and C++. Features include composite test suites, each test can be run in it's own process, trapping of hung tests, setup and teardown, extensible interface, support for mocking functions and automatic discovery of tests. Go to GitHub: https://github.com/cgreen-devs/cgreen... -
3
Bots de Servicios para una red ircuh con soporte bdd ircservices-4.3.3+Upworld-1.1+BDD (botshispanobdd-1.2.1) + services-bdd = euskalirc-services-bdd
-
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.
-
Gen AI apps are built with MongoDB AtlasMongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.
-
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
Servidor de IRC basado en el servidor de Undernet con encriptacion de IPs, IPv6 y otras caracterísicas como una base de datos distribuida (BDD) para la gestión integral de un portal de chat, así como otros proyectos y programas relacionados.
-
7
BDD-Based Deductive Database, an implementation of Datalog that uses Binary Decision Diagrams as the underlying data structure. This allows it to represent exponentially-sized relations efficiently.
-
8
Efficient Symbolic Tools package (EST) is a BDD based tool for the formal verification of concurrent systems. Its advantages are flexibility, portability and an efficient memory management. It runs under different OS, including Linux and Windows 2000/XP.
-
9
Red-Futura IRCD and Services based on ircuh and red-unida (IRCD) and hispanobdd and red-unida (Services). It support BDD (Nickserv2, Chanserv2...) P10 and P9
-
Find Hidden Risks in Windows Task SchedulerWindows Task Scheduler might be hiding critical failures. Download the free JAMS diagnostic tool to uncover problems before they impact production—get a color-coded risk report with clear remediation steps in minutes.
- Previous
- You're on page 1
- Next
