Showing 27 open source projects for "logic"

View related business solutions
  • Auth0 B2B Essentials: SSO, MFA, and RBAC Built In Icon
    Auth0 B2B Essentials: SSO, MFA, and RBAC Built In

    Unlimited organizations, 3 enterprise SSO connections, role-based access control, and pro MFA included. Dev and prod tenants out of the box.

    Auth0's B2B Essentials plan gives you everything you need to ship secure multi-tenant apps. Unlimited orgs, enterprise SSO, RBAC, audit log streaming, and higher auth and API limits included. Add on M2M tokens, enterprise MFA, or additional SSO connections as you scale.
    Sign Up Free
  • Gemini 3 and 200+ AI Models on One Platform Icon
    Gemini 3 and 200+ AI Models on One Platform

    Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

    Build generative AI apps with Vertex AI. Switch between models without switching platforms.
    Start Free
  • 1
    SentencePiece

    SentencePiece

    Unsupervised text tokenizer for Neural Network-based text generation

    ...Pre-tokenization (Moses tokenizer/MeCab/KyTea) is not always required. SentencePiece treats the sentences just as sequences of Unicode characters. There is no language-dependent logic.
    Downloads: 7 This Week
    Last Update:
    See Project
  • 2
    MediaPipe Solutions

    MediaPipe Solutions

    Cross-platform, customizable ML solutions

    ...The system provides developers with tools and reusable components that allow them to combine multiple machine learning models with preprocessing and postprocessing logic into efficient perception pipelines. These pipelines can run on a wide variety of platforms including mobile devices, desktop systems, web browsers, and embedded edge devices. MediaPipe is widely used in computer vision and multimedia applications such as hand tracking, face detection, pose estimation, object recognition, and gesture analysis. ...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 3
    The Algorithms - C++ #

    The Algorithms - C++ #

    Collection of various algorithms in mathematics, machine learning

    ...Within the C++ repository, contributors implement algorithms across a wide range of fields including sorting, graph theory, number theory, machine learning, cryptography, and data structures. Each implementation is designed to be readable and well documented so that learners can understand the logic and structure behind each algorithm. The repository functions both as a study resource and as a reference library for developers who want examples of algorithm implementations in C++. Because the project is maintained collaboratively, new algorithms and improvements are continually added by contributors from around the world.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 4
    3FS

    3FS

    A high-performance distributed file system

    ...Its primary aim is to support efficient and scalable feature transformation pipelines—especially for inference environments—by batching, caching, and integrating feature-based modules like segmenters, sparse retrievers, and scorers seamlessly. The repo includes APIs to define components (e.g. seg, ret, scor) that wrap or interface with external or internal modules, as well as logic to schedule and compose these feature transforms. By handling caching and batching at a system level, 3FS helps reduce overhead when many features or modules must be evaluated per input (e.g. in an LLM agent pipeline). The repository includes example integration with models like DeepSeek-V2 / V3, showing how 3FS can be plugged into pipelines for operations like plugin processing.
    Downloads: 1 This Week
    Last Update:
    See Project
  • Try Google Cloud Risk-Free With $300 in Credit Icon
    Try Google Cloud Risk-Free With $300 in Credit

    No hidden charges. No surprise bills. Cancel anytime.

    Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
    Start Free
  • 5
    Thinknowlogy

    Thinknowlogy

    The world's only naturally intelligent knowledge technology

    Natural intelligence is the utilization of naturally occurring logic. This naturally occurring logic provides concrete clues for organizing natural objects, like: - Grouping objects that belong together, - Separating objects that don't belong together, - Archiving objects that have become less important. Natural language and spatial information are sources of natural intelligence: - Natural language is providing concrete logic for organizing knowledge objects, - Spatial information provides concrete logic for organizing spatial objects (utilized in, e.g., self-driving cars). ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Fuzzy Logic Tools
    Fuzzy Logic Tools (FLT) is a C++ framework for storage, analysis and design of fully general multiple-input multiple-output (MIMO) Takagi-Sugeno fuzzy control systems, without constraints in the order of either the inputs or the output vectors.
    Leader badge
    Downloads: 1 This Week
    Last Update:
    See Project
  • 7
    Procgen

    Procgen

    Procedurally-Generated Game-Like Gym-Environments

    ...The benchmark supports both “easy” and “hard” difficulty modes, letting researchers trade off computational cost vs challenge. The repo provides a C++ core for game logic and rendering (with support for gym/Gym3 wrappers) plus Python bindings and interactive mode for human play testing.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 8
    TerarkDB

    TerarkDB

    A RocksDB compatible KV storage engine with better performance

    TerarkDB is an open-source storage engine designed as a replacement for RocksDB — offering improved performance, better compression, and optimized tail-latency for key-value workloads. It aims to be drop-in compatible with existing RocksDB setups: you can migrate most RocksDB instances over to TerarkDB without rewriting your storage logic. Under the hood, TerarkDB employs advanced data structures and compression strategies to reduce I/O, memory usage, and latency variability — delivering higher throughput and more predictable performance under heavy load. Because of these optimizations, TerarkDB can be especially beneficial for services requiring fast read/write responses under variable workloads or those dealing with large datasets while aiming to keep resource usage efficient. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    C++ Fuzzy Logic Programming Library - For problem solving in the fuzzy logic domain. It has an object oriented API well suited to C++ syntax for direct inclusion in source code. Portable to platforms that support the C++ STL.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Fully Managed MySQL, PostgreSQL, and SQL Server Icon
    Fully Managed MySQL, PostgreSQL, and SQL Server

    Automatic backups, patching, replication, and failover. Focus on your app, not your database.

    Cloud SQL handles your database ops end to end, so you can focus on your app.
    Try Free
  • 10
    Sigma knowledge engineering system is an system for developing, viewing and debugging theories in first order logic. It works with Knowledge Interchange Format (KIF) and is optimized for the Suggested Upper Merged Ontology (SUMO) www.ontologyportal.org . Sigma has moved to github.com/ontologyportal/sigmakee
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Star Ships Learning Framework
    The Star Ships Learning Framework (SSLF) provides basic routines and methods in order to interact with the space shooter Star Ships V2.1. It provides the necessary interfaces for controlling the program's ships and its logic from outside the game.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    libFuzzyEngine++
    A C++ port of Fuzzy Engine for Java in a form of a library. The Fuzzy Engine is a Fuzzy Logic implementation, which can be used, for instance, to create fuzzy controllers. See also: http://sf.net/projects/fuzzyengine for an updated version for Java.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    C-IL2P

    C-IL2P

    Original C-IL2P

    This is a C++ implementation of the original C-IL2P system, invented by Artur D'Avila Garcez and Gerson Zaverucha. C-IL2P is a neural-symbolic learning system which uses a propositional logic program to create a three-layer recursive neural network and uses back-propagation to learn from examples.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14

    CLIPSwl

    CLIPS with lock support. CLIPS for safely handling simultaneous access

    ...CLIPS(ver. 6.24) is unsafe when access simultaneously occurs at the same environment, because the environment data of CLIPS are not protected for simultaneous access. We modified the CLIPS (ver. 6.24) to support lock/unlock functions in a flexible way. CLIPSwl doesn't use complicated logic such as platform-independent mutex, but newly defines 4 abstract functions (i.e. using function pointers) for allocating, acquiring, releasing and deallocating locks of the environment data. Users may define their own functions that fit for their system by using their platform-dependent mutex. CLIPSwl also support the safe string-related functions treating the rules, and refining the warning parts of the code when compiling with gnu g++ compiler.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Alchemy is a software package providing a series of algorithms for statistical relational learning and probabilistic logic inference, based on the Markov logic representation.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    Implementing fuzzy logic
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    EulerMoz is an inference engine supporting logic based proofs based on EulerSharp project.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    ...We are seeking help with our first project, a mobile-robot simulator featuring a 2-D virtual world, and new work including artificial intelligence and robot-control logic.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Device independend source code of Fuzzy logic expert system. Reads FCL (fuzzy control language). Sourcecode in C++. Example program is tested with Linux, should also work with Windows or other operating systems. Without a graphical user interface.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    AKIRA aims to create a C++ development framework to build cognitive architectures and complex artificial intelligent agents.Features:KQML,Fuzzy Logic,Neural Net,Fuzzy Cognitive Maps and DIPRA (a distributed BDI - Belief Desire Intention goals model)
    Downloads: 2 This Week
    Last Update:
    See Project
  • 21
    This is a prolog-like programming language based on the fuzzy logic. It includes the class-libraries for fuzzy logic, probability theory and method of resolution, all made in C++. Java releases possible in the future.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    FLPD is an automatic learning system based on fuzzy prototypes, composed of a C++ library for machine learning and fuzzy logic and an experimentation framework.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    An Expert System for exploring and solving math and logic equation using XML modules for expansion.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    ROUAGE (Robot Utilities Assembly Generic Entities) Provides a coherent set of C++ classes usefull for robotic purposes. Servos, steppers, IR sensors, controllers, voice logic modules ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    FFLL (Free Fuzzy Logic Library) is an open source fuzzy logic library.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • Next
MongoDB Logo MongoDB