Showing 41 open source projects for "boolean"

View related business solutions
  • Veeam Data Platform v13.1 - Get Your Free Trial Icon
    Veeam Data Platform v13.1 - Get Your Free Trial

    Secure by design, portable by default. Recover clean, fast, anywhere. Start a free trial.

    Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
    Try it Free
  • 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
  • 1
    Catch2

    Catch2

    A modern, C++-native, test framework for unit-tests, TDD and BDD

    ...Catch2 is mainly a unit testing framework for C++, but it also provides basic micro-benchmarking features and simple BDD macros. Catch2's main advantage is that using it is both simple and natural. Test names do not have to be valid identifiers, assertions look like normal C++ boolean expressions, and sections provide a nice and local way to share set-up and tear-down code in tests. You are on the devel branch, where the v3 version is being developed. v3 brings a bunch of significant changes, the big one being that Catch2 is no longer a single-header library. Catch2 now behaves as a normal library, with multiple headers and separately compiled implementation.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    Fully Homomorphic Encryption

    Fully Homomorphic Encryption

    An FHE compiler for C++

    ...The project includes benchmarking harnesses, examples, and tutorials that demystify parameter selection, gate costs, and latency/throughput trade-offs. Multiple runtimes and backends are supported so teams can choose Boolean or integer schemes depending on accuracy and speed needs.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    XBNF library

    XBNF library

    Neurotranslator grammar librairies

    Library providing real-life XBNF grammars. All ressources about XBNF neurotranslator compiler here : https://neurotranslator.sourceforge.io
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4

    QuadRay-engine

    Realtime raytracer using SIMD on ARM, MIPS, PPC and x86

    QuadRay engine is a realtime raytracing project aimed at full SIMD utilization on ARM, MIPS, POWER and x86 architectures. The efficient use of SIMD is achieved by processing four rays at a time to match SIMD register width (hence the name). The rendering core of the engine is written in a unified SIMD assembler allowing single assembler code to be compatible with different processor architectures, thus reducing the need to maintain multiple parallel versions. At present, Intel...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Ship Agents Faster Icon
    Ship Agents Faster

    Transform your applications and workflows into powerful agentic systems at global scale.

    Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
    Start Free
  • 5
    mXparser - Math Parser Java C# Library

    mXparser - Math Parser Java C# Library

    A flexible mathematical expressions parser for JAVA, Android, C# .NET

    mXparser is highly flexible parser of math expressions. Software provides easy to use API for JAVA, Android, C# .NET/MONO (CLS). Main functionalities: - basic operators, i.e.: +, -, *, ^, ! - Boolean logic operators i.e.: or, and, xor - binary relations i.e.: =, <, > - math functions (large library of 1-arg, 2-arg, 3-arg - - functions) i.e.: sin, cos, Stirling numbers, log, inverse functions - constants (large library), i.e.: pi, e, golden ratio - n-args functions i.e.: greatest common divisor - iterated summation and product operators - differentiation and integration High flexibility: - user defined constants and arguments, both free - and dependent on other arguments + possibility of use in functions - user defined functions (both free and depended) - user defined recursive arguments + simple (controlled) recursion (1 recursive argument) - user defined recursive functions / expressions (any) - complex, many arguments, no limitation - internal syntax checkin
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6

    opbdp

    opbdp (non-linear) pseudo-Boolean optimization

    opbdp is an implementation in C++ of an implicit enumeration algorithm for solving (non)linear 0-1 (or pseudo-Boolean) optimization problems with integer coefficients. A research report describing the techniques used in opbdp is included.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Wuweido 3D CAD

    Wuweido 3D CAD

    Free 3D Mobile CAD

    ...Primitive Solid creation tools: Box, Cone, Truncated Cone, Cylinder, Sphere, Torus, Wedge, Truncated Wedge, Pyramid, Truncated Pyramid. 3. Sweep modeling tools: Extrude, Revolve, Loft, Pipe, Path 4. Boolean operation tools: Intersect, Subtract, Union, Xor, Fuse 5. Transform tools: Move, Rotate, Mirror, Scale
    Downloads: 5 This Week
    Last Update:
    See Project
  • 8
    OpenSearchServer Search Engine

    OpenSearchServer Search Engine

    An open source search engine with RESTFul API and crawlers

    ...Using the web user interface, the crawlers (web, file, database, etc.) and the client libraries (REST/API , Ruby, Rails, Node.js, PHP, Perl) you will be able to integrate quickly and easily advanced full-text search capabilities in your application: Full-text with basic semantic, join queries, boolean queries, facet and filter, document (PDF, Office, etc.) indexation, web scrapping,etc. OpenSearchServer runs on Windows and Linux/Unix/BSD.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 9
    NOMAD is a C++ code that implements the MADS algorithm (Mesh Adaptive Direct Search) for difficult blackbox optimization problems. Such problems occur when the functions to optimize are costly computer simulations with no derivatives.
    Downloads: 0 This Week
    Last Update:
    See Project
  • $300 Free Credits to Build on Google Cloud Icon
    $300 Free Credits to Build on Google Cloud

    New customers can spin up VMs, build with AI, and query data at no cost.

    Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
    Start Free
  • 10

    PortaBase

    A Portable Database

    A personal database application for Maemo devices as well as PCs running Linux/UNIX, Mac OS X, and Windows. It can be used as a shopping list, password manager, media inventory, financial tracker, TODO list, address book, photo album, and more.
    Leader badge
    Downloads: 9 This Week
    Last Update:
    See Project
  • 11

    ViennaTS

    The Vienna Topography Simulator

    ...At its core is the Level Set framework, allowing for an implicit surface description of material surfaces and interfaces. Within this framework models for geometry manipulation such as boolean operations and chemical mechanical planarization have been implemented. The tool supports several etching and deposition models, essential for the understanding of process-induced phenomena in micro- and nanoelectronics. The model support includes but is not limited to silicon etching in SF6/O2 and HBr/O2 plasmas, silicon dioxide etching in CF4 plasma, anisotropic wet etching of silicon, CFx polymer deposition on silicon, as well as several adaptable deposition models. ...
    Downloads: 4 This Week
    Last Update:
    See Project
  • 12

    Qt Micro Properties Editor

    Minimalistic properties editor for Qt applications

    A minimalistic properties editor for Qt applications based on QTreeWidget.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    The c2001 spatio-temporal mining library

    The c2001 spatio-temporal mining library

    An open source spatio-temporal data mining library

    Current functions: 1. The General Association Rule Mining Framework(GARMF) library, which support mining association rules from transactions(boolean, weighted, fuzzy), spatial datasets (vector and raster) and spatio-temporal datasets (raster snapshots). Besides it support incremental mining. 2. Rule Filtering Library (RFL), a library for rule evaluation. 3. Besides, DAP-Shell, a GUI shell for GARMF and RFL, will be provided. However I'll pay no more attention on it.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    An advanced portable C++ library of over 80 boolean-like macros that hold an analysis if the condition fails, to help debugging, so a developer knows exactly what goes wrong. Allows reuse in adapted assertion macros, as in ModAssert (also on sourceforge) and UquoniTest (a unit test library for C++). Needs STL or wxWidgets.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    KeplerDB

    KeplerDB

    Timeseries databases management system

    KeplerDB is a temporal database to store time/value entries where the type of value could be integer, float/double, boolean and string. KeplerDB is dedicated to be scalable and to create clusters of server allowing the user to analyse and store massing amount of data to monitor systems like computers, clusters, building and captors or financial systems like markets and accounts. The user can use KeplerDB to make data analysis on enormous amount of data (statistics and modelling).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    Magic3D
    Magic3D provides basic functions of processing 3D point cloud and mesh. http://geometryhub.net/en/magic3d
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17

    EasyCP

    The easiest C++ way to deal with constraints !

    EasyCP is a modern, user-friendly C++ library that lets you use constraint programming in a very natural way, taking advantage of its expressive power. Just model and let the CSP (Constraint Satisfaction Problem) solver do the job !
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    A IC/MEMS layout editor. Features: all angle, font generator, macros, boolean operations, design rule checker, supported formats:Calma GDSII, OASIS (Open Artwork System Interchange Standard), OpenAccess, DXF, CIF (Caltech Intermediate Form), ...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 19
    Evaristo
    Simulator for Siemens S7-200 PLC. It supports boolean operations, counters, timers, rise up and fall down contacts, and mathematics operations, with integer and real numbers, like sin, cos, tan. Comments and advise are well accepted!
    Downloads: 3 This Week
    Last Update:
    See Project
  • 20
    The Boolean Network Toolkit is an efficient and easy-to-use object-oriented C++ library which enables researchers to simulate ad carry out experiments (like attractor sampling and Derrida plot computation) on large boolean networks.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Meresco is both an OAI Data Provider and a Service Provider. SourceForge is only used to host the source control (subversion). Sources: http://sources.meresco.org/ Binaries: http://repository.cq2.org/ Mail: http://groups.google.com/group/meresco
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    PolyBoRi
    PolyBoRi is implemented as a C++ library for Polynomials over Boolean Rings, which provides high-level data types for Boolean polynomials. A python-interface yields extensible algorithms for computing Groebner bases over Boolean Rings.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 23

    QuineMc Boolean Function Optimizer

    Boolean Function Optimizer using Quine–McCluskey algorithm

    this project uses Quine–McCluskey algorithm to optimize boolean functions, the input function should be given in terms of minterm numbers and the output is optimized and in form of sum of products(SOP) there is also a Cost calculation and comparison between different optimizations.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    TRUTH TABLE SOLVER
    Truth Table Solver is a program that solves the truth table and output all the possible minimized boolean expressions.It uses Quine-McCluskey algorithm (Tabulation method) for boolean minimization.It has an easy to use GUI and a command line mode.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 25
    Quine-McCluskey boolean logic simplifier implemented in C++. It allows simplifying up to 32 variable input functions, including don't-care values. The program was written for digital design classes at the Poznan University of Technology (Poland).
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • Next