Showing 84 open source projects for "logical"

View related business solutions
  • Context for your AI agents Icon
    Context for your AI agents

    Crawl websites, sync to vector databases, and power RAG applications. Pre-built integrations for LLM pipelines and AI assistants.

    Build data pipelines that feed your AI models and agents without managing infrastructure. Crawl any website, transform content, and push directly to your preferred vector store. Use 10,000+ tools for RAG applications, AI assistants, and real-time knowledge bases. Monitor site changes, trigger workflows on new data, and keep your AIs fed with fresh, structured information. Cloud-native, API-first, and free to start until you need to scale.
    Try for free
  • Atera all-in-one platform IT management software with AI agents Icon
    Atera all-in-one platform IT management software with AI agents

    Ideal for internal IT departments or managed service providers (MSPs)

    Atera’s AI agents don’t just assist, they act. From detection to resolution, they handle incidents and requests instantly, taking your IT management from automated to autonomous.
    Learn More
  • 1
    kcp Kubernetes

    kcp Kubernetes

    Kubernetes-like control planes for form-factors

    kcp can be a building block for SaaS service providers who need a massively multi-tenant platform to offer services to a large number of fully isolated tenants using Kubernetes-native APIs. The goal is to be useful to cloud providers as well as enterprise IT departments offering APIs within their company. kcp takes full advantage of Kubernetes API conventions, the glue that binds the cloud-native technology ecosystem together and imbues Kubernetes popular end-user experience, but kcp has...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    Workflow

    Workflow

    A Swift and Kotlin library for making composable state machines

    ...A unidirectional data flow library that uses immutable data within each Workflow. Data flows in a single direction from the source to the UI, and events in a single direction from the UI to the business logic. Each logical component area is separated into a Workflow with a finite set of states and the logic to transition between them.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Erupt Framework

    Erupt Framework

    Pure Java annotation, single class file, rapid development

    ...Does not generate any code, zero front-end code, zero CURD, automatic table creation, annotated API, custom service logic, supports all mainstream databases, supports custom pages, supports multiple data sources, provides more than 20 types of business components, more than a dozen It supports logical deletion, dynamic timing tasks, front-end and back-end separation, etc. Core technologies: Spring Boot, JPA, Reflect, TypeScript, NG-ZORRO, etc. Erupt is a low-code full-stack class framework that uses Java annotations to dynamically generate pages and background functions such as adding, deleting, modifying, checking, and permission control. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    AWS IoT Device Shadow library

    AWS IoT Device Shadow library

    Client library for using AWS IoT Shadow service on embedded devices

    ...The device can send commands over MQTT to get, update and delete its latest state as well as receive notifications over MQTT about changes in its state. Each device’s shadow is uniquely identified by the name of the corresponding “thing”, a representation of a specific device or logical entity on the AWS Cloud. See Managing Devices with AWS IoT for more information on IoT "thing". More details about AWS IoT Device Shadow can be found in AWS IoT documentation. This library is distributed under the MIT Open Source License.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Grafana: The open and composable observability platform Icon
    Grafana: The open and composable observability platform

    Faster answers, predictable costs, and no lock-in built by the team helping to make observability accessible to anyone.

    Grafana is the open source analytics & monitoring solution for every database.
    Learn More
  • 5
    AQL

    AQL

    Advanced Query Language

    The clauses are beginning from "([{" and ending by "}])" and are separated by ",;" There are three basic types like Boolean (true, false), numeric and string in "'\"" List of operators: Name Description << Output ? Logical if @ Loop ?$ Returns true if variable defined ?| Logical or ?& Logical and ?! Logical negation ?/ Logical regular expression matches /- Split string by regular expression /+ Replace by regular expression // All matches = Assignment + Addition or concatenation - Subtraction / Division * Multiplication
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Yandex Music API

    Yandex Music API

    Non-official Python library for works with API service Index

    ...In addition to implementing a clean API, this library has a number of — high-level wrapping classes in order to make the development of customers and scripts simple and understandable. All documentation was written from scratch based on logical analysis during reverse development (reverse engineering) API.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Temporal Inference Engine

    Temporal Inference Engine

    A real time inference engine for temporal logical specifications

    A real time inference engine for temporal logical specifications, which is able to acquire, process and generate any binary or real signal through POSIX IPC, files or UNIX sockets. Specifications of signals and dynamic systems are represented as special graphs and executed in real time, with a predictable sampling time of few milliseconds. Real time signal processing, dynamic system control, state machine modeling and logical property verification are some fields of application of this software. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Avocado programming language

    Avocado programming language

    Avocado Polish programming language

    The Avocado language is compiled and currently allows for the creation of console applications. Work on Avocado and the integrated development environment (IDE) began on February 19, 2025. A unique feature of this language is the ability to write commands in Polish and English, compiling code into .exe format. The language is freely available for commercial and non-commercial projects. The Avocado source code is available under the MIT License on GitHub. Avocado is transpiled to Free...
    Leader badge
    Downloads: 19 This Week
    Last Update:
    See Project
  • 9
    NG Dynamic Forms

    NG Dynamic Forms

    Rapid form development library for Angular

    ...NG Dynamic Forms is built to provide solid yet unobtrusive support for a variety of common UI libraries. In order to improve clarity, it's often considered good practice to group forms into several logical fieldset sections. Thus NG Dynamic Forms supports the nesting of form groups out of the box! Sometimes forms need to allow the user to dynamically add multiple items of the same kind to it, e.g. addresses, products, and so on. Particularly, for this reason, Angular provides so-called Form Arrays.
    Downloads: 1 This Week
    Last Update:
    See Project
  • Desktop and Mobile Device Management Software Icon
    Desktop and Mobile Device Management Software

    It's a modern take on desktop management that can be scaled as per organizational needs.

    Desktop Central is a unified endpoint management (UEM) solution that helps in managing servers, laptops, desktops, smartphones, and tablets from a central location.
    Learn More
  • 10
    Doom Nvim

    Doom Nvim

    A Neovim configuration for the advanced martian hacker

    Doom Nvim is a Neovim interpretation of the doom-emacs framework, adapted to Vim philosophy. Our goal is to provide a configurable, extensible, performant and stable basis for any neovim configuration.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Qt-Generator for YAKINDU SCT
    This project provides a generator for conneting the YAKINDU Statecharttools with a Qt application. Since the concept of incoming and outgoing events is similar to the Qt signal and slot concept it is logical to link both together. Note that the generated code is an Addon onto the already generated C++-Code from SCT. So you need two sgen-files. One to generate the C++ statemachine and one to generate the link layer between the statemachine and your Qt application.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 12
    Free SLOC

    Free SLOC

    Free SLOC counts physical lines of code (SLOC) for many languages

    Free SLOC is a lightweight application for counting physical lines of code (NOT logical lines of code 'LLOC') for many format files, as Java, Python, C, C++, HTML,..., as well as comment lines, blank lines and delimiter lines. Use GUI or console mode (type -h in command line to see options). Use double-click right button in tree to open folder or see source file. Source code in Files tab (Kotlin)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Propeller

    Propeller

    Develop more, Code less. Propeller is a front-end responsive framework

    ...Ready to use template which speeds up the Development process. Detailed User Manual which provides step by step usage for every Propeller component. The downloaded folder will have following directories and files, with a logical grouping of common assets including both compiled and minified versions. Just copy the compiled CSS and JS files and the font files(created for icons) from the .zip and add them to your project.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14

    proof-logic

    Proof Logic : A logical framework for theorem proving

    Proof Logic is a functional and equational logical framework for theorem proving based on Combinatory Logic and Lambda Calculus, whose expressions are both terms and proofs proving the equality between two terms.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Mega Project List

    Mega Project List

    List of practical projects that anyone can solve in any prog language

    Mega Project List by Karan Goel is a massive list of practical programming project ideas that anyone can solve in any programming language, organized into logical categories (Numbers, Classic Algorithms, Data Structures, Text, Networking, Web, Files, Graphics & Multimedia, Security, etc.). The concept is simple but powerful: instead of just memorizing algorithms, you pick a project (for example “Binary to Decimal and Back Converter”), implement it in your favorite language, and gradually build a portfolio of varied programming tasks. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    Pytholog

    Pytholog

    A logic programming tool and a logical database with a RESTful API

    Pytholog Tool (Command line & API) An executable tool, built in python, that enables logic programming and prolog syntax through interactive shell that mimics prolog language and / or RESTful API that can be called from other applications. The tool is based on the python library pytholog which can be found here: https://github.com/mnoorfawi/pytholog The tool starts normally from the command line. Let's look at the arguments that can be specified while initiating the tool: $...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 17
    brModelo 3.2

    brModelo 3.2

    ER Databese Model

    Tool used to Database ER model Ferramenta para modelagem ER em bancos de dados.
    Leader badge
    Downloads: 270 This Week
    Last Update:
    See Project
  • 18
    Awesome-Kubernetes

    Awesome-Kubernetes

    A curated list for awesome kubernetes sources

    ...Kubernetes is an open-source system for automating deployment, scaling, and management of containerized applications. It groups containers that make up an application into logical units for easy management and discovery. The first unified container-management system developed at Google was the system we internally call Borg. It was built to manage both long-running services and batch jobs, which had previously been handled by two separate systems: Babysitter and the Global Work Queue. The latter’s architecture strongly influenced Borg, but was focused on batch jobs; both predated Linux control groups. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    ObjectBuilder2

    ObjectBuilder2

    C++ CASE tool, full life cycle code generator

    ObjectBuilder is a C++ code generation CASE tool (CASE, code generation, refactoring, documentation generation). It lets you create, manipulate and navigate classes, class relations, class members and class methods at a high level of abstraction. ObjectBuilder dramatically simplify work with C++ project architecture. I use it and think that tree OO interface targeted to C++ more fast and power than UML class diagrams. ObjectBuilder perfectly organize C++ header files with any level of...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    benchm-ml

    benchm-ml

    A benchmark of commonly used open source implementations

    ...The benchmarks cover algorithms like logistic regression, random forest, gradient boosting, and deep neural networks, and they compare across toolkits such as scikit-learn, R packages, xgboost, H2O, Spark MLlib, etc. The repository is structured in logical folders, each corresponding to algorithm categories.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Element React

    Element React

    Element UI

    Element, a Vue 2.0-based component library for developers, designers, and product managers. Understand design guidelines, helping designers create products that are logical, reasonably structured, and easy to use. Experience the interaction by walking around with examples of the components. Use wrapped code to improve development efficiency. Online theme roller, visualize custom and manage site themes and component styles. Download relevant design resources to shape a prototype or draft, increasing design efficiency. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    art-template

    art-template

    High performance JavaScript templating engine

    ...At the same time, it supports both NodeJS and browser. art-template simultaneously supports two syntax of template. Standard syntax allows templates to be easier to read and write. While original syntax has powerful logical processing ability. Original syntax is compatible with EJS, Underscore, LoDash templates. Performance is close to the JavaScript rendering limits. Debugging friendly. Syntax errors or runtime errors will be positioned accurately at which line of template. Support setting breakpoint in templating files (Webpack Loader). Supports Express, Koa, Webpack. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    targets.vim

    targets.vim

    Vim plugin that provides additional text objects

    targets.vim extends Vim with a rich set of additional text objects that work like native “inside/around” (i/a) objects but cover more delimiters and structures. It introduces flexible objects for arguments, separators, quotes, tags, and custom pairs so you can select, change, or delete logical units with fewer keystrokes. The plugin also adds “next” and “last” variants, enabling you to operate on the upcoming or previous occurrence without moving the cursor first. Its design emphasizes predictability: the same mental model as built-in objects applies across many new patterns. Because it’s purely text-object oriented, it composes naturally with motions, operators, and dot-repeat for powerful refactors. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    DC/OS

    DC/OS

    DC/OS - The Datacenter Operating System

    DC/OS (Datacenter Operating System) is an open-source distributed operating system based on the Apache Mesos kernel. It abstracts a cluster of machines into a single logical computer, simplifying the deployment and management of containerized applications and services. DC/OS provides a comprehensive platform for running modern applications with features like container orchestration, service discovery, and scalability.​
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    Este projeto implementa lógicas de Controle entre componentes visuais (jxSwing) e a camada de persistência (jxDao). This project implements logical Control of visual components (jxSwing) and persistence layer (jxDao).
    Downloads: 0 This Week
    Last Update:
    See Project