Showing 47 open source projects for "boolean"

View related business solutions
  • Host LLMs in Production With On-Demand GPUs Icon
    Host LLMs in Production With On-Demand GPUs

    NVIDIA L4 GPUs. 5-second cold starts. Scale to zero when idle.

    Deploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
    Try Free
  • Build Agents and Models on One Platform Icon
    Build Agents and Models on One Platform

    Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

    Gemini 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.
    Try It Free
  • 1
    ta4j

    ta4j

    A Java library for technical analysis

    ...Then we have to build our trading strategy. It is made of two trading rules, one for entry, the other for exit. Ta4j comes with a set of basic trading rules/strategies which can be combined using boolean operators. Trading strategies can be easily compared according to a set of analysis criteria. Ta4j can also be used for live trading with more complicated strategies.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 2
    JQM Java Quine McCluskey

    JQM Java Quine McCluskey

    JQM - Java Quine McCluskey for minimization of Boolean functions.

    Java Quine McCluskey (JQM) implements the Quine-McCluskey algorithm with Petrick’s Method for minimizing Boolean functions. Designed for both education and industrial application, it handles up to 16 variables and functions. Uniquely, JQM bridges the gap between theory and practice: it visualizes the solution process with generated Karnaugh Maps for students, while supporting PLC engineers by exporting results to Structured Text (ST) and Ladder Diagram (LD).
    Downloads: 1 This Week
    Last Update:
    See Project
  • 3
    Iso2Mesh - A 3D Mesh Generation Toolbox

    Iso2Mesh - A 3D Mesh Generation Toolbox

    A 3D surface and volumetric mesh generator for MATLAB/Octave

    A simple yet powerful mesh generator based on MATLAB/GNU Octave language, creating finite-element mesh from surfaces or arbitrary 3D volumetric images (such as MRI/CT scans) with fully automatic workflows.
    Leader badge
    Downloads: 11 This Week
    Last Update:
    See Project
  • 4
    java symbolic computing library and math editor, with : polynomial system solving, vectors & matrices, factorization, derivatives, integrals (rational functions), boolean algebra, simplification, MathML output, java code generation, geometric algebra
    Downloads: 0 This Week
    Last Update:
    See Project
  • 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
  • 5
    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
  • 6
    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: 3 This Week
    Last Update:
    See Project
  • 7

    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
  • 8
    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: 18 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
    Colloquium QDA

    Colloquium QDA

    A free and open source qualitative ethnographic interview coding tool.

    Colloquium QDA is a tool for custom coding and analyzing qualitative ethnographic interviews. To run, make sure you first have JRE 8 or later installed (http://www.oracle.com/technetwork/java/javase/downloads/). Colloquium QDA is an open source cross-platform Java Swing app utilizing an embedded Java DB with Lucene integrated search.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11

    BoolCalc

    Boolean Expression Evaluator with AND/XOR minimization

    This is yet another boolean expression evaluator written in C/C++ with AND/XOR Sum-of-Product outputs. This is useful for projects that require heavy use of arithmetic functions, or multiplexors, where the XOR function dominates the logic expressions. There is also a similar tool with AND/OR/NOT output.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    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).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    An implementation of the Joint Generation Algorithm of Fredman and Khachiyan for the computation of a dual pair of monotone boolean formulas in DNF (hypergraph transversals, extreme rays of polyhedral cones...). User-replaceable oracle.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14

    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: 1 This Week
    Last Update:
    See Project
  • 15

    Logic Calculator

    A Calculator to perform logical operations

    The Logic Calculator is an application useful to perform logical operations. It has three modes: (1) Evaluation of logic formulae: In this mode we have the basic boolean operations (negation, conjunction, disjunction, conditional and biconditional) so the user can insert the logic formula and the Logic Calculator displays the truth table along with the models of the formula. (2) Logical entailment: In this mode the user can insert a number of premises followed by a number of conclusions, so the Logic Calculator displays the truth table of each premise / conclusion and the result of whether or not these premises logically entail the given conclusions...
    Downloads: 4 This Week
    Last Update:
    See Project
  • 16

    LDNI-based Solid Modeling

    Solid Modeling Framework in GPU

    This project provides a set of solid modeling tools which aims to help processing 3D objects with complex topology and geometry that are widely used in many industrial applications (e.g., microstructure design and manufacturing, biomedical products and applications, jewelry products, reverse engineering). The system is completely GPU-based and heavily based on an implicit representation named LDNI.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 17

    manticora

    ternary logic calculator

    Some scripts for boolean calculation, including a parser. Ternary logic support. Everything is written in Posix Sh.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    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
  • 19
    Graphical Grammar Studio

    Graphical Grammar Studio

    An user friendly grammar tool for natural language processing tasks

    ...GGS has a unique feature: It allows the user to write JavaScript code to be executed for nodes of the grammar. This is useful for checking grammatical agreements but not only. The user can: declare variables (including complex js structures), check for boolean conditions, use variables in annotations etc.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    ExpressionOasis is a java based framework for evaluating the various type of expressions like arithmatic, logic expression etc. The framework is flexible enough to define any new grammer rules or operators.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 21
    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: 2 This Week
    Last Update:
    See Project
  • 22
    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
  • 23
    QtoNum

    QtoNum

    python calculus library with imprecise and precise representations

    QtoNum is a calculator for qualitative values (-, +), intervals and crisp numbers with arbitrary precision. QtoNum also handles infinitesimals and infinites. All these types can be mixed in expressions and conversions are performed automatically. QtoNum can be used as an interactive calculator (command line) and as a calculus library.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    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
  • 25
    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
  • Previous
  • You're on page 1
  • 2
  • Next