Showing 84 open source projects for "logical"

View related business solutions
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You 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 security. Auth0 now, thank yourself later.
    Try free now
  • Trumba is an All-in-one Calendar Management and Event Registration platform Icon
    Trumba is an All-in-one Calendar Management and Event Registration platform

    Great for live, virtual and hybrid events

    Publish, promote and track your events more affordably and effectively—all in one place.
    Learn More
  • 1
    Gval

    Gval

    Expression evaluation in golang

    gval is a versatile expression evaluation library for Go, enabling developers to parse and evaluate expressions dynamically. It supports a variety of expression types, including arithmetic, logical, and text-based, and allows for the composition of custom languages by replacing functions and operators. ​
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    Constructs

    Constructs

    Define composable configuration models through code

    ...For example, in the AWS CDK, which is used to define the desired state for AWS infrastructure using CloudFormation, the lowest-level construct represents a resource definition in a CloudFormation template. These resources are composed to represent higher-level logical units of a cloud application, etc.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 3
    Rbatis

    Rbatis

    Rust High Performance compile-time ORM(RBSON based)

    ...Zero cost Dynamic SQL, implemented using (proc-macro,compile-time, Cow (Reduce unnecessary cloning)) techniques, don't need ONGL engine(mybatis) Free deserialization, Auto Deserialize to any struct(Option,Map,Vec...) High performance, Based on Future, with async_std/tokio, single threaded benchmark can easily achieve 200,000 QPS. logical deletes, pagination, py-like SQL and basic Mybatis functionalities. Supports logging, customizable logging based on log crate. 100% Safe Rust with #![forbid(unsafe_code)] enabled. rbatis/example (import into Clion!). abs_admin project an complete background user management system( Vue.js+rbatis+actix-web).
    Downloads: 1 This Week
    Last Update:
    See Project
  • 4
    ember-engines

    ember-engines

    Composable Ember applications for ambitious user experiences

    Engines allow multiple logical applications to be composed together into a single application from the user's perspective. The key term here is "logical application". That is, an Engine represents a set of functionality and user experiences that could logically be considered an application. However, they differ from normal Ember applications in that they are intended to be composed within a host application in order to create a single, cohesive user experience.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Dominate AI Search Results Icon
    Dominate AI Search Results

    Generative Al is shaping brand discovery. AthenaHQ ensures your brand leads the conversation.

    AthenaHQ is a cutting-edge platform for Generative Engine Optimization (GEO), designed to help brands optimize their visibility and performance across AI-driven search platforms like ChatGPT, Google AI, and more.
    Learn More
  • 5
    Kubernetes

    Kubernetes

    System to automate management of containerized applications

    Kubernetes is an open-source container orchestration platform designed to automate the deployment, scaling, and management of containerized applications. Also known as K8s, it groups application containers into logical units for efficient management and service discovery. Built on Google’s extensive experience running production workloads at massive scale, Kubernetes delivers proven reliability and performance. It supports automated rollouts, self-healing, load balancing, and flexible storage orchestration. Kubernetes runs consistently across on-premises, hybrid, and public cloud environments, giving teams complete infrastructure freedom.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 6
    pgwire

    pgwire

    PostgreSQL wire protocol implemented as a rust library.

    Build a Postgres compatible access layer for your data service. This library implements PostgreSQL Wire Protocol and provides essential APIs to write PostgreSQL-compatible servers and clients. If you are interested in a related topic, you can check project ideas to build on top of this library.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    MyBatis-Plus

    MyBatis-Plus

    An powerful enhanced toolkit of MyBatis for simplify development

    MyBatis-Plus is an enhanced toolkit for MyBatis, designed to simplify development and increase productivity. It provides a range of out-of-the-box features such as code generation, conditional query builders, and pagination plugins, reducing boilerplate code and streamlining database operations. MyBatis-Plus is widely used in enterprise applications for its efficiency and ease of use.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    DoctrineExtensions

    DoctrineExtensions

    Doctrine2 behavioral extensions, Translatable, Sluggable, etc

    Doctrine Extensions is a set of useful extensions for the Doctrine ORM, enhancing the functionality of entity management and database interactions. It provides additional features such as timestamping, versioning, and nested set support, making it a valuable tool for applications that require advanced data management. The extensions integrate seamlessly with Symfony and other PHP frameworks that use Doctrine.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    Flix

    Flix

    The Flix Programming Language

    Flix is a statically typed programming language combining functional, imperative, and logic paradigms, with first‑class Datalog constraints and a polymorphic effect system. Designed to run on the JVM, Flix enforces purity tracking at compile time, supports algebraic data types, tail‑call elimination, and allows entire Datalog programs as values.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Next-Gen Encryption for Post-Quantum Security | CLEAR by Quantum Knight Icon
    Next-Gen Encryption for Post-Quantum Security | CLEAR by Quantum Knight

    Lock Down Any Resource, Anywhere, Anytime

    CLEAR by Quantum Knight is a FIPS-140-3 validated encryption SDK engineered for enterprises requiring top-tier security. Offering robust post-quantum cryptography, CLEAR secures files, streaming media, databases, and networks with ease across over 30 modern platforms. Its compact design, smaller than a single smartphone image, ensures maximum efficiency and low energy consumption.
    Learn More
  • 10
    NumCpp

    NumCpp

    C++ implementation of the Python Numpy library

    A Templatized Header Only C++ Implementation of the Python NumPy Library. The main data structure in NumCpp is the NdArray. It is inherently a 2D array class, with 1D arrays being implemented as 1xN arrays. There is also a DataCube class that is provided as a convenience container for storing an array of 2D NdArrays, but it has limited usefulness past a simple container.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Kube-OVN

    Kube-OVN

    A Bridge between SDN and Cloud Native (Project under CNCF)

    ...It offers an advanced Container Network Fabric for Enterprises with the most functions, extreme performance and the easiest operation. Each Namespace can have a unique Subnet (backed by a Logical Switch). Pods within the Namespace will have IP addresses allocated from the Subnet. It's also possible for multiple Namespaces to share a Subnet.
    Downloads: 9 This Week
    Last Update:
    See Project
  • 12
    nbdime

    nbdime

    Tools for diffing and merging of Jupyter notebooks

    ...Jupyter notebooks are useful, rich media documents stored in a plain text JSON format. This format is relatively easy to parse. However, primitive line-based diff and merge tools do not handle well the logical structure of notebook documents. nbdime, on the other hand, provides “content-aware” diffing and merging of Jupyter notebooks. It understands the structure of notebook documents. Therefore, it can make intelligent decisions when diffing and merging notebooks. Many of us who are writing and sharing notebooks do so with git and GitHub. ...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 13
    Angular Example App

    Angular Example App

    Angular 13 example app + Angular CLI + i18n + GraphQL

    Example app with Angular 13 + Angular CLI + i18n + Graphql. Contains CRUD, advanced patterns, generated library, and much more! This project is using a real app deployed in heroku. The server is using NesjJS, Prisma, Postgres and GraphQL. Please check it out and feel free also to contribute or give me your thoughts. Search bar, to look for heroes. Custom loading page. Example of Angular Resolver for Hero Detail. Lazy loading images with ng-lazyload-image. Modal and toasts (snakbar)! Scroll...
    Downloads: 5 This Week
    Last Update:
    See Project
  • 14
    eslint-plugin-unicorn

    eslint-plugin-unicorn

    More than 100 powerful ESLint rules

    More than 100 powerful ESLint rules. You might want to check out XO, which includes this plugin. Each rule has emojis denoting if it belongs to the recommended configuration if some problems reported by the rule are automatically fixable by the --fix command line option, or if some problems reported by the rule are manually fixable by editor suggestions. Use a preset config or configure each rules in package.json.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Duplicati

    Duplicati

    Store securely encrypted backups in the cloud!

    Duplicati is a free and open source backup client for securely storing your data. Duplicati stores encrypted, incremental, compressed backups on cloud storage services and remote file servers using AES-256 encryption, keeping your data safe and always updated. It works with most storage services, including Google Cloud and Drive, Amazon S3, Microsoft Azure and OneDrive, Dropbox, FTPOpenStack Storage (Swift), SSH (SFTP), WebDAV, Tencent Cloud Object Storage (COS), and more! Duplicati also...
    Downloads: 19 This Week
    Last Update:
    See Project
  • 16
    kube-vip

    kube-vip

    Kubernetes Control Plane Virtual IP and Load-Balancer

    ...When a new IP address is configured to a device, there needs to be a mechanism to inform the network of which piece of hardware is hosting this new address. ARP is the technology that is used to ensure that a network understands the link between the hardware address (MAC) and the logical address (IP).
    Downloads: 1 This Week
    Last Update:
    See Project
  • 17
    TensorStore

    TensorStore

    Library for reading and writing large multi-dimensional arrays

    TensorStore is a high-performance library for reading and writing N-dimensional arrays that live in many different storage systems, from local files to cloud object stores. It separates the logical view (shape, dtype, chunking) from the physical layout so the same code can target Zarr, N5, TIFF pyramids, or custom backends. Rich indexing, slicing, and broadcasting operations make it feel like a familiar array API, while asynchronous I/O pipelines stream chunks efficiently in parallel. Transactional semantics allow atomic updates and consistent snapshots, which is essential for large, shared datasets used by ML and scientific workflows. ...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 18
    Mangle

    Mangle

    Go library for Datalog-style logical reasoning and domain modeling

    Mangle is a programming language developed by Google for deductive database programming, serving as an advanced extension of Datalog. It is designed to unify and query data from multiple sources in a structured, declarative way while allowing developers to model complex relationships and domain knowledge beyond binary predicates. Mangle enhances traditional Datalog by introducing features such as aggregation, function calls, and optional type-checking, which make it more practical for modern...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 19
    URQL

    URQL

    The highly customizable and versatile GraphQL client

    The highly customizable and versatile GraphQL client with which you add on features like normalized caching as you grow. urql is a highly customizable and versatile GraphQL client with which you add on features like normalized caching as you grow. It's built to be both easy to use for newcomers to GraphQL, and extensible, to grow to support dynamic single-app applications and highly customized GraphQL infrastructure. In short, urql prioritizes usability and adaptability. As you're adopting...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    Prophecy

    Prophecy

    Highly opinionated mocking framework for PHP 5.3+

    ...Though initially it was created to fulfil phpspec2 needs, it is flexible enough to be used inside any testing framework out there with minimal effort. First, add Prophecy to the list of dependencies inside your composer.json, then, simply install it with composer. First of all, in Prophecy every word has a logical meaning, even the name of the library itself (Prophecy). When you start feeling that, you'll become very fluid with this tool. For example, Prophecy has been named that way because it concentrates on describing the future behavior of objects with very limited knowledge about them. But as with any other prophecy, those object prophecies can't create themselves, there should be a Prophet. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Soufflé

    Soufflé

    Datalog variant for tool designers crafting analyses in Horn clauses

    Rapid prototyping for your analysis problems with logic; enabling deep design-space explorations; designed for large-scale static analysis; e.g., points-to analysis for Java, taint-analysis, and security checks. Futamura projections/partial evaluation for effective translation to parallel C++; optimized staged compilation; specialized data-structures for logical relations. Efficient translation to parallel C++ of Datalog programs (CAV'16, CC'16) Efficient interpretation using de-specialization techniques (PLDI'21) Specialized data structure for relations (PACT'19, PPoPP'19, PMAM'19) with optimal index selection (VLDB'18) Extended semantics of Datalog, e.g., permitting unbounded recursions with numbers and terms. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    URQL GraphQL

    URQL GraphQL

    GraphQL client with which you add on features like normalized caching

    urql is a highly customizable and versatile GraphQL client with which you add on features like normalized caching as you grow. It's built to be both easy to use for newcomers to GraphQL, and extensible, to grow to support dynamic single-app applications and highly customized GraphQL infrastructure. In short, urql prioritizes usability and adaptability. As you're adopting GraphQL, urql becomes your primary data layer and can handle content-heavy pages through "Document Caching" as well as...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    Common Expression Language

    Common Expression Language

    Fast, portable, non-Turing complete expression evaluation

    The Common Expression Language (CEL) is a non-Turing complete language designed for simplicity, speed, safety, and portability. CEL's C-like syntax looks nearly identical to equivalent expressions in C++, Go, Java, and TypeScript. A CEL "program" is a single expression. The examples have been tagged as java, go, and typescript within the markdown to showcase the commonality of the syntax. CEL is ideal for lightweight expression evaluation when a fully sandboxed scripting language is too...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    Kimai

    Kimai

    Kimai is a web-based multi-user time-tracking application

    Kimai is an open-source time-tracking solution. It tracks work time and prints out a summary of your activities on demand. Yearly, monthly, daily, by the customer, by the project. Its simplicity is its strength. Due to Kimai’s browser-based interface, it runs cross-platform, even on your mobile device. With Kimai, the boring process of feeding Excel spreadsheets with your working hours is not only simplified, it also offers dozens of other exciting features that you don't even know you're...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 25
    Kubernetes Capsule

    Kubernetes Capsule

    Multi-tenancy and policy-based framework for Kubernetes

    ...It is designed as a micro-services-based ecosystem with a minimalist approach, leveraging only on upstream Kubernetes. Kubernetes introduces the Namespace object type to create logical partitions of the cluster as isolated slices. However, implementing advanced multi-tenancy scenarios, it soon becomes complicated because of the flat structure of Kubernetes namespaces and the impossibility to share resources among namespaces belonging to the same tenant. To overcome this, cluster admins tend to provision a dedicated cluster for each groups of users, teams, or departments. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • 4
  • Next