Search Results for "bdd" - Page 2
Sort By:
Showing 55 open source projects for "bdd"
View related business solutions-
Our Free Plans just got better! | Auth0 by OktaYou 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 secuirty. Auth0 now, thank yourself later.
-
Bright Data - All in One Platform for Proxies and Web ScrapingBright Data offers the highest quality proxies with automated session management, IP rotation, and advanced web unlocking technology. Enjoy reliable, fast performance with easy integration, a user-friendly dashboard, and enterprise-grade scaling. Powered by ethically-sourced residential IPs for seamless web scraping.
-
1
bdd is a unix/linux command that handles bit streams (non byte-aligned). The name comes from binary-dd. bdd is written in Python and it tries to be extremely flexible but not very efficient.
-
2
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 -
3
ENuSMV-1.2
Extend NuSMV
ENuSMV-1.2 (extends from NuSMV-2.5.4) is a model checking tool that supporting both BDD-based and bounded model checking of ETL employing both finite and looping acceptance automata connectives. -
4
... la BDD est éffectuée. Puis il configure son compte administrateur: pseudo, adresse e-mail, mot de passe. Enfin, il indique où le CMS est installé et la page dans laquelle sera affichée les articles. Par la suite, le webmaster peut commencer à écrire des articles, les éditer, les mettre hors ligne, les supprimer. Des regexs sont faites pour exécuter du BBCODE (insertion d'url, positionnement, couleur, images, etc.) avec des smilies.
-
Make Recruiting and Onboarding EasyTake away the pain and hassle associated with applicant recruitment, hiring, and onboarding with ApplicantStack. Designed for HR professionals and recruiters, ApplicantStack helps streamline the recruiting and onboarding processes to improve productivity and reduce costs. ApplicantStack provides a complete toolkit that includes tools for posting, launching, and advertising jobs, assessing and managing candidates, collaborating with teams, centralizing information for quick hiring and onboarding, and more.
-
5
CMDLIVRES
outil d'aide à la gestion des demandes d'ouvrages
... web d'administration (suivi des demandes, alerte mail, export CSV, etc.) - Mutualisation du code PHP pour une gestion centralisée du code dans un cadre d'un déploiement multi-laboratoires - Développement suivant les normes et usages Open Source (MVC, OO, sessions PHP , sécurité BDD) -
6
-
7
-
8
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.
-
9
This project is dedicated to the creation of a simple C# framwork which handle interaction with the database.
-
Cybersecurity Management Software for MSPsDefine and Deliver Comprehensive Cybersecurity Services. Security threats continue to grow, and your clients are most likely at risk. Small- to medium-sized businesses (SMBs) are targeted by 64% of all cyberattacks, and 62% of them admit lacking in-house expertise to deal with security issues. Now technology solution providers (TSPs) are a prime target. Enter ConnectWise Cybersecurity Management (formerly ConnectWise Fortify) — the advanced cybersecurity solution you need to deliver the managed detection and response protection your clients require. Whether you’re talking to prospects or clients, we provide you with the right insights and data to support your cybersecurity conversation. From client-facing reports to technical guidance, we reduce the noise by guiding you through what’s really needed to demonstrate the value of enhanced strategy.
-
10
Tranquility Online
Conquer the universes with Spaceships
... Civ 5 style planetary management in the future if it picks up. Interstellar Police Force will be able to respond at falling rates dependant on your distance from the Police Bases. No hidden observers, Distress Calls need to be sent by the agressed pilot. the plan is also to have LUA based addons allowing interface customisation, Back and front end using C# The project will be being driven by BDD/TDD agile practices and -
11
-
12
An algorithm for compression and decompression of Binary Decision Diagrams will in many cases reduce the size of the BDD to 1-2 bits per node.
-
13
PHP5 game inspired by the Battery rpg project. Battles betwen 2 teams of heros. thenologies used : PHP5 framework : Zend Framework Library : xajax for ajax, Scriptaculous client side. BDD : Sqlite.
-
14
Dibycia est un outil de gestion de bases de données créé à l’origine pour le projet Ambycia. Il permet, en outre, le versionnage de la structure de votre BDD, facilitant les projets multi-développeurs.
-
15
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.
-
16
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.
-
17
Specter is an object-behaviour specification framework for .NET and Mono. It enables behavior driven development (BDD) by allowing developers to write executable specifications for their objects, before actually implementing them.
-
18
-
19
-
20
produce full software package using the binary decision diagram (BDD) representation to manipulate logic maps for design optimization objectives multiplyer{like(A+B)(C)(D)}In C++ Core.C++ GUI.VB6 Verilog Modules Quin McCluskey Multi Functions Operations
-
21
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.
-
22
JJS-BDD provides a library for manipulating switching functions in an efficient way (based on sobdd). There is a GUI for small bdd's where you can see how bdd's work (for teaching purposes).
-
23
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
-
24
IRC Services for IRCu Hispano BDD System based on mIRC sockets system. Servicios de IRC para IRCu Hispano BDD basados en el sistema de sockets de mIRC.
-
25
IBEN is the interactive BDD environment. It allows you to declare, manipulate and visualize reduced ordered binary decision diagrams (ROBDDs). It was designed as a learning tool, although it is useful whenever you need to manipulate BDD interactively and