Search Results for "logical"
Sort By:
118 projects for "logical" with 1 filter applied:
-
Our Free Plans just got better! | Auth0You 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.
-
AI-based, Comprehensive Service Management for Businesses and IT ProvidersChangeGear provides IT staff with the functions required to manage everything from ticketing to incident, change and asset management and more. ChangeGear includes a virtual agent, self-service portals and AI-based features to support analyst and end user productivity.
-
1
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. -
2
DeepSeekMath-V2
Towards self-verifiable mathematical reasoning
...Unlike general-purpose LLMs that might generate plausible-looking math but sometimes hallucinate or mishandle rigorous logic, Math-V2 is engineered to not only generate solutions but also self-verify them, meaning it examines the derivations, checks logical consistency, and flags or corrects mistakes, producing proofs + verification rather than just a final answer. Under the hood, Math-V2 uses a massive Mixture-of-Experts (MoE) architecture (activated parameter count reportedly in the hundreds of billions) derived from DeepSeek’s experimental base architecture. For math problems, it employs a generator-verifier loop: it first generates a candidate proof (or solution path), then runs a verifier that assesses correctness and completeness. -
3
GLM-4.6
Agentic, Reasoning, and Coding (ARC) foundation models
GLM-4.6 is the latest iteration of Zhipu AI’s foundation model, delivering significant advancements over GLM-4.5. It introduces an extended 200K token context window, enabling more sophisticated long-context reasoning and agentic workflows. The model achieves superior coding performance, excelling in benchmarks and practical coding assistants such as Claude Code, Cline, Roo Code, and Kilo Code. Its reasoning capabilities have been strengthened, including improved tool usage during inference... -
4
pgactive
PostgreSQL replication extension to create an active-active database
...Traditionally PostgreSQL supports active-standby setups (single writable master), but pgactive opens up use cases such as multi-region high-availability clusters, low-latency writes from distributed apps, and blue/green migrations where both sides are writable. It builds on PostgreSQL’s logical replication framework and offers mechanisms for conflict detection, resolution (e.g., last-write-wins), monitoring of lag and writes across nodes. Because active-active replication introduces new complexity (conflicts, schema changes, write amplification), pgactive provides tools for managing replication sets, conflict logging tables, and administrative commands to detach nodes or remove the extension. -
Smart Business Texting that Generates PipelineTextUs is the leading text messaging service provider for businesses that want to engage in real-time conversations with customers, leads, employees and candidates. Text messaging is one of the most engaging ways to communicate with customers, candidates, employees and leads. 1:1, two-way messaging encourages response and engagement. Text messages help teams get 10x the response rate over phone and email. Business text messaging has become a more viable form of communication than traditional mediums. The TextUs user experience is intentionally designed to resemble the familiar SMS inbox, allowing users to easily manage contacts, conversations, and campaigns. Work right from your desktop with the TextUs web app or use the Chrome extension alongside your ATS or CRM. Leverage the mobile app for on-the-go sending and responding.
-
5
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. -
6
DeepSeek R1
Open-source, high-performance AI model with advanced reasoning
DeepSeek-R1 is an open-source large language model developed by DeepSeek, designed to excel in complex reasoning tasks across domains such as mathematics, coding, and language. DeepSeek R1 offers unrestricted access for both commercial and academic use. The model employs a Mixture of Experts (MoE) architecture, comprising 671 billion total parameters with 37 billion active parameters per token, and supports a context length of up to 128,000 tokens. DeepSeek-R1's training regimen uniquely... -
7
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. ... -
8
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... -
9
Christmas Tree
Just a simple Christmas tree, based on reddit story
...Because tree structures are ubiquitous in computing—from file systems and organizational charts to DOM structures and evolutionary taxonomies—atree provides a reusable foundation for representing and interacting with nested data. It separates the logical model from rendering concerns, so you can use it as the data backbone in UI frameworks, graphs, or custom visual components. The library’s API makes it easy to add, remove, or move nodes anywhere in the hierarchy while maintaining consistent references and performance. -
AI-First Supply Chain ManagementLogility is a market-leading provider of AI-first supply chain management solutions engineered to help organizations build sustainable digital supply chains that improve people’s lives and the world we live in. The company’s approach is designed to reimagine supply chain planning by shifting away from traditional “what happened” processes to an AI-driven strategy that combines the power of humans and machines to predict and be ready for what’s coming. Logility’s fully integrated, end-to-end platform helps clients know faster, turn uncertainty into opportunity, and transform the supply chain from a cost center to an engine for growth.
-
10
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. -
11
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. ... -
12
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. -
13
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. ... -
14
Dice endgames
Dice endgames — generation of endgames with dices.
Dice endgames is a gambling and logical game with perfect information, at the same time being a variety of both variants of chess and checkers-like games, and dices. In this game, the arrangement of chess pieces depends on the values on the sides of the dice. It was conceived as teaching and training how to solve endgames, problems or random arrangements, such as Fischer's chess, in various board games of logic. -
15
Divine generator
Divine generator of riddles for arrangement.
The original idea of Alexander V. Catapang Jr. in the Guess-Chess from the eGames package. Divine generator is an addition to the idea and transfer of rules to makruk, xiangqi and shogi. -
16
array-info is a tool to retrieve informations and logical drives status from several RAID controllers (currently Compaq IDA and CISS, and MD).
-
17
R-P-S
Rock, Paper, Scissors is a hand game.
«Rock-Paper-Scissors» is a hand game originating in China, usually played between two or three people, in which each player simultaneously forms one of three shapes with an outstretched hand. These shapes are «rock» (a closed fist), «paper» (a flat hand), and «scissors» (a fist with the index finger and middle finger extended, forming a V). A simultaneous, zero-sum game, it has three possible outcomes: a draw, a loss, or a win. -
18
Fox Oring
Fox Oring is a variation of the radio orienteering.
Fox Oring is a variation of the sport of amateur radio direction finding. Fox Oring is a timed race in which individual competitors use a topographic map and a magnetic compass to navigate through diverse, wooded terrain while searching for radio transmitters. The term is derived from the use of the term fox hunting to describe recreational radio direction finding activity and an abbreviation of the word orienteering. It is necessary to discover 5 hidden transmitters located on a 10 × 10... -
19
i-doit - Open Source CMDB & ITSM Tool
ITIL conform CMDB solution for documenting your entire IT landscape
...This allows simple Helpdesk, Support and Planning functions and provides the basis for quality assurance and certification. i-doit allows services to be documented as a logical grouping of objects placed in relation to each other. This provides the basis for (ITIL) processes such as Change and Problem Management, helps to control and manage the SLA (Service Level Agreement) or the communication with users. Its interfaces to other ITSM applications (like Nagios, Request Tracker etc.) allow the entering of data only once in the ITSM environment. i-doit maintains one holistic view of the operational situation. -
20
Capacity Planning & Management Software
Free & Open Capacity Planning Software in a Complete Virtual Machine
Every Profession has some sort of Resource to manage, be it materials, money, physical or logical resources & with it some vital queries to be answered: At what Rate is my Resource getting consumed? How Long will current stock last? What will be near future requirement? In Just Two Simple steps of Defining Your Resource & Actively Tracking its Consumption, you will be in total control of your Resource, with this Software. -
21
Moty
Moty - logical game originally created for SHARP MZ-800 computer
Java version (clone) of old 8bit game created originally for SHARP MZ-800 computer in 1985. Now rewritten into Java and available on all desktops. Java 11 required. -
22
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. -
23
Practice Python
Part of my daily plan for studying Python
practice-python provides a structured set of small, focused exercises aimed at building fluency with Python fundamentals. The tasks emphasize real coding over passive reading, nudging you to write, run, and iterate on solutions. Exercises commonly target strings, lists, dictionaries, control flow, functions, classes, and common algorithms, reinforcing idiomatic Python patterns. Many problems are intentionally minimal in boilerplate so you can concentrate on logic and clarity. The collection... -
24
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. -
25
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. ...
