Search Results for "logic"
Sort By:
Showing 143 open source projects for "logic"
View related business solutions-
Powerful App Monitoring Without Surprise BillsTired of monitoring tools that punish you for scaling? AppSignal offers transparent, predictable pricing with every feature unlocked on every plan. Track errors, monitor performance, detect anomalies, and manage logs across Ruby, Python, Node.js, and more. Trusted by developers since 2012 with free dev-to-dev support. No credit card required to start your 30-day trial.
-
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
1
core.logic
A logic programming library for Clojure & ClojureScript
core.logic brings logic programming to Clojure and ClojureScript through an implementation of miniKanren, enabling relational, constraint-based, and nominal logic programming. It allows complex reasoning and declarative problem-solving directly in Clojure. core.unify provides a la carte unification facilities that are not deeply tied into the operation of a logic engine. -
2
Decompose
Kotlin Multiplatform lifecycle-aware business logic components
Decompose is a Kotlin Multiplatform library for breaking down your code into tree-structured lifecycle-aware business logic components (aka BLoC), with routing functionality and pluggable UI (Jetpack/Multiplatform Compose, Android Views, SwiftUI, Kotlin/React, etc.). -
3
zag
Finite state machines for building accessible design systems and UI
A collection of framework-agnostic UI components patterns like an accordion, menu, and dialog that can be used to build design systems for React, Vue, and Solid.js. Simple, resilient component logic. Write component logic once and use it anywhere. Built-in adapters that connect machine output to DOM semantics in a WAI-ARIA-compliant way. Component logic is largely JavaScript code and can be consumed in any JS framework. Zag machine APIs are completely headless and unstyled. Use your favorite styling solution and get it matching your design system. ... -
4
Pydantic-Core
Core validation logic for pydantic written in rust
pydantic-core is the Rust-based core validation logic for Pydantic, a widely used data validation library in Python. It offers significant performance improvements over its predecessor, enabling faster and more efficient data parsing and validation. -
Stop Storing Third-Party Tokens in Your DatabaseRolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
-
5
Symfony Serializer
Handles serializing and deserializing data structures
...It handles data normalization and denormalization, making it ideal for APIs and data transformation tasks. The serializer supports complex object graphs and custom normalization logic, allowing developers to convert data in a structured and efficient manner. -
6
migrate
Database migrations, CLI and Golang library
...Use as CLI or import as a library. Migrate reads migrations from sources and applies them in correct order to a database. Drivers are "dumb", migrate glues everything together and makes sure the logic is bulletproof. (Keeps the drivers lightweight, too.) Database drivers don't assume things or try to correct user input. When in doubt, fail. Package migrate reads migrations from sources and runs them against databases. Sources are defined by the `source.Driver` and databases by the `database.Driver` interface. The driver interfaces are kept "dump", all migration logic is kept in this package. -
7
PreCompose
Compose Multiplatform Navigation && State Management
Compose Multiplatform Navigation && ViewModel, inspired by Jetpack Navigation, ViewModel and Lifecycle, PreCompose provides similar (or even the same) components for you but in Kotlin, and it's Kotlin Multiplatform project. -
8
django-viewflow
Reusable workflow library for Django
Viewflow is a lightweight reusable workflow library that helps to organize people collaboration business logic in Django applications. In conjunction with Django-material, they could be used as the framework to build ready-to-use business applications in minutes. Django web framework solves only technical problems related to the client-server interaction on top of the stateless HTTP protocol. Model-View-Template separation pattern helps to maintain simple CRUD-based logic. ... -
9
Pundit
Minimal authorization through OO design and pure Ruby classes
Pundit (varvet/pundit) is a Ruby gem that provides a simple and effective framework for adding authorization logic to Rails (or other Ruby) applications. It centers around policy classes—one policy per model or resource—that define what actions a given user is permitted to perform (e.g., show?, update?, destroy?). Each policy method returns a boolean, and can be structured using combinators or shared logic to keep things DRY. In controllers and views, Pundit provides helpers like authorize, policy_scope, and policy to enforce those rules cleanly and consistently. ... -
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
10
Iced
A cross-platform GUI library for Rust, inspired by Elm
...It expects you to split user interfaces into four different concepts, which are: the state of your app; messages, which are user interactions or other meaningful events; view logic, which displays your state as widgets that can result in messages; and update logic, which offers a way to update your state and react to messages. Iced is very simple and easy to use, and is type-safe. It offers many great features including built-in widgets and custom widget support, debug overlay, a modular ecosystem and more. -
11
eBPF
ebpf-go is a pure-Go library to read, modify and load eBPF programs
Package ebpf is a toolkit for working with eBPF programs. eBPF programs are small snippets of code which are executed directly in a VM in the Linux kernel, which makes them very fast and flexible. Many Linux subsystems now accept eBPF programs. This makes it possible to implement highly application-specific logic inside the kernel, without having to modify the actual kernel itself. This package is designed for long-running processes which want to use eBPF to implement part of their application logic. It has no run-time dependencies outside of the library and the Linux kernel itself. eBPF code should be compiled ahead of time using clang, and shipped with your application as any other resource. ... -
12
Brick
A declarative Unix terminal UI library written in Haskell
Brick is a Haskell terminal user interface (TUI) programming toolkit that enables developers to build rich, responsive terminal applications via a declarative model: you define a pure function that renders the UI from application state and supply state transition logic to handle events. brick exposes a declarative API. Unlike most GUI toolkits which require you to write a long and tedious sequence of widget creations and layout setup, brick just requires you to describe your interface using a set of declarative layout combinators. Event-handling is done by pattern-matching on incoming events and updating your application state. ... -
13
ws
Tiny WebSocket library for Go
Zero-copy upgrade. No intermediate allocations during I/O. Low-level API which allows building your own logic of packet handling and buffers reuse. High-level wrappers and helpers around API in wsutil package, which allow to start fast without digging the protocol internals. Existing WebSocket implementations do not allow users to reuse I/O buffers between connections in clear way. This library aims to export efficient low-level interface for working with the protocol without forcing only one way it could be used. ... -
14
bloc
Predictable state management library that helps implement BLoC design
A predictable state management library that helps implement the BLoC design pattern. The goal of this library is to make it easy to separate presentation from business logic, facilitating testability and reusability. -
15
Groq Python
The official Python Library for the Groq API
Groq Python is the official Python SDK for the Groq REST API, giving Python developers straightforward access to Groq’s LLM, chat, audio, and other AI services. Through this library, you can call Groq’s models from Python code — for example to request chat completions, code generation, transcription, or any supported endpoint — using idiomatic Python syntax. The SDK handles authentication (via environment variable or parameter), defines proper type-safe request/response data types, and... -
16
Jspicl
A Javascript to PICO-8 Lua transpiler
Jspicl is a JavaScript to PICO-8 Lua transpiler that allows developers to write their game logic in JavaScript, which is then transpiled into the Lua subset supported by PICO-8. This enables developers more comfortable with JavaScript to create games for the PICO-8 platform. -
17
NSync
nsync is a C library that exports various synchronization primitives
...Unlike traditional pthreads-based synchronization, nsync introduces conditional critical sections, allowing developers to wait for arbitrary conditions without explicit signaling or complex loop-based logic. This approach simplifies concurrency management and often improves readability and maintainability of multithreaded code. The library emphasizes efficiency, with locks and condition variables occupying minimal memory and supporting cancellation mechanisms through nsync_note objects rather than thread-level cancellation. Designed with portability and performance in mind, nsync can be compiled on Unix-like systems and Windows using a C90 compiler. -
18
Symfony Inflector
Converts words between their singular and plural forms (English only)
Symfony Inflector is a lightweight PHP component that provides tools for transforming English words between singular and plural forms. It is useful for dynamic naming, code generation, and building human-readable interfaces. The component includes simple, reliable inflection logic and integrates easily with other Symfony components or standalone PHP projects. -
19
Mantine
A fully featured React components library
Mantine is a MIT‑licensed open‑source React component library offering a comprehensive set of UI elements and hooks for building modern, accessible, and responsive web applications with ease and great developer experience. Collection of 50+ hooks for state and UI management. Core components library – 100+ components. Forms management library. Manages files drag 'n' drop to an area or entire screen. -
20
JsAction
JsAction is a small event delegation library
JSAction is a JavaScript framework developed by Google that provides a structured, event-driven architecture for managing user interactions in large-scale web applications. It simplifies event handling by declaratively binding actions to DOM elements through HTML attributes, enabling clean separation between markup and behavior. JSAction helps improve performance, maintainability, and reliability by minimizing the use of inline scripts and global event listeners. It is especially useful in... -
21
PgRx
Build Postgres Extensions with Rust
pgrx is a Rust framework for developing PostgreSQL extensions, making it easier to write safe, high-performance native extensions in Rust. It handles the boilerplate and unsafe FFI needed to interface with Postgres internals, allowing developers to focus on logic. With built-in support for SQL generation, testing, and deployment, pgrx streamlines the extension creation process while embracing Rust’s safety guarantees. -
22
Symfony Validator
Provides tools to validate values
Symfony Validator is a PHP component designed to validate data structures using a flexible and extensible validation framework. It supports a wide range of built-in validation constraints and allows developers to create custom validation rules. The Validator component is commonly used for form validation, data integrity checks, and input sanitation, integrating seamlessly with Symfony applications. -
23
FlutterUnit
All Platform Flutter Experience App
...It includes calculators for multiple unit categories (length, mass, volume, etc.), conversion tools, and UI components demonstrating modular architecture and state management patterns. Ideal for learning Flutter UI & business logic structure. -
24
The Agda standard library
The Agda standard library
...Agda is a dependently typed programming language. It is an extension of Martin-Löf’s type theory and is the latest in the tradition of languages developed in the programming logic group at Chalmers. Other languages in this tradition are Alf, Alfa, Agda 1, Cayenne. Some other loosely related languages are Coq, Epigram, Idris, and Lean. -
25
Basic Computer Games
An updated version of the classic "Basic Computer Games" book
Basic Computer Games is a modern revitalization of the classic “Basic Computer Games” book’s collection of games, ported and expanded into various modern, memory-safe and scripting languages. It includes illustrative code examples of many classic games (e.g. Blackjack, Bowling) in multiple languages, with the goal of making the historical games accessible and educational in safe modern environments. Definitely use the most recent versions and features of the target language, but also try to...
