Search Results for "logical"
Sort By:
84 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.
-
The AI workplace management platformBy combining AI workflows, predictive intelligence, and automated insights, OfficeSpace gives leaders a complete view of how their spaces are used and how people work. Facilities, IT, HR, and Real Estate teams use OfficeSpace to optimize space utilization, enhance employee experience, and reduce portfolio costs with precision.
-
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. -
Turn more customers into advocates.The platform's advanced capabilities ensure companies get the most out of their referral programs. Leverage custom events, profiles, and attributes to enable dynamic, audience-specific referral experiences. Use first-party data to tailor customer segment messaging, rewards, and engagement strategies. Use our flexible APIs to build management capabilities and consumer experiences–headlessly or hybrid. We have all the tools you need to build scalable, secure, and high-performing referral programs.
-
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. -
Premier Construction SoftwareRated #1 Construction Accounting Software by Forbes Advisor in 2022 & 2023. Our modern SAAS solution is designed to meet the needs of General Contractors, Developers/Owners, Homebuilders & Specialty Contractors.
-
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
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. -
15
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. -
16
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. -
17
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. -
18
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... -
19
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. -
20
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. ... -
21
uBlock
uBlock: a fast, lightweight, and lean blocker for Chrome, Firefox
...Opera shares Chrome's underlying engine, so you can install uBlock simply by grabbing the latest release for Chrome.To benefit from uBlock's higher efficiency, it's advised that you don't use other blockers at the same time (such as AdBlock or Adblock Plus). uBlock will do as well or better than most popular ad blockers. It's important to note that blocking ads is not theft. Don't fall for this creepy idea. The ultimate logical consequence of blocking = theft is the criminalisation of the inalienable right to privacy. -
22
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... -
23
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. -
24
Flappy
Flappy - logical game originally created for SHARP MZ-800 computer
Java version (clone) of old 8bit game created originally for SHARP MZ-800 computer in 1984. Now rewritten into Java and available on all desktops. Java 1.8 required. >>> UPDATE 10/2017 >>> Levels from other devices included too! -
25
Bluej LOC Counter
An extension for BlueJ that counts logical lines of code.
