Search Results for "logic"
Sort By:
Showing 17 open source projects for "logic"
View related business solutions-
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.
-
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
1
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. -
2
IBM-ODM-Docker
This repository allows to deploy an IBM Operational Decision Manager
...And docker-compose descriptor can be used to group this build, push to your repository and run your topology from Development to production. IBM ODM is a decisioning platform to automate your business policies. Business rules are used at the heart of the platform to implement decision logic on a business vocabulary and run it as web decision services. -
3
alphageometry
AI-driven neuro-symbolic solver for high-school geometry problems
AlphaGeometry, developed by Google DeepMind, is a theorem-proving system that combines symbolic reasoning with deep learning to solve challenging geometry problems, such as those found in mathematical Olympiads. The repository provides the full implementation of DDAR (Deductive Difference and Abductive Reasoning) and AlphaGeometry, two automated geometry solvers described in the 2024 Nature paper “Solving Olympiad Geometry without Human Demonstrations.” AlphaGeometry integrates a symbolic... -
4
Eino
LLM application development framework for Go with agents and flows
...Eino also offers orchestration capabilities that allow components to be connected into chains, graphs, or workflows for complex AI pipelines. These orchestration features handle concerns such as concurrency, streaming responses, and type safety so developers can focus on application logic. -
Catch Bugs Before Your Customers DoMove from alert to fix before users notice. AppSignal monitors errors, performance bottlenecks, host health, and uptime—all from one dashboard. Instant notifications on deployments, anomaly triggers for memory spikes or error surges, and seamless log management. Works out of the box with Rails, Django, Express, Phoenix, Next.js, and dozens more. Starts at $23/month with no hidden fees.
-
5
kimuraframework
AI-first Ruby framework for building fast, flexible web scraping spide
Kimurai is an open source web scraping framework written in Ruby that simplifies the process of building automated data extraction tools. It provides a clean domain-specific language that allows developers to define scraping logic and data schemas with minimal boilerplate code. Kimurai can use AI-assisted extraction to identify where data resides in HTML pages, automatically generating selectors that are cached for future use so subsequent scraping runs operate with pure Ruby performance. Kimurai supports scraping both static and JavaScript-rendered websites by working with multiple engines, including headless browsers and simple HTTP-based approaches. ... -
6
MCP Toolbox for Databases
Open source MCP server that exposes database tools for AI agents
GenAI Toolbox, also known as MCP Toolbox for Databases, is an open source server designed to simplify how generative AI applications interact with databases. It provides a central service that exposes database operations as reusable tools that can be consumed by AI agents and developer workflows. It handles common infrastructure concerns such as authentication, connection pooling, and performance optimization so developers do not have to implement them individually in each application. By... -
7
Classic HWUT - rename of previous HWUT
Software Unit Tests (Language Independent Approach)
Automation of Unit and System Tests. Tests can be implemented in any language and on many platforms. The flexible approach enables the inclusion of many types of tests, such as memory leak checks (using valgrind), coding rule checks, complexity checks, etc. Tests are run by a simple call to hwut in a base directory of a project. In particular for C, HWUT supports make file generation using 'sos' and 'sols' modes. Remote control-able function stubs may be generated using the 'stub' mode.... -
8
Cmockery
A lightweight library to simplify and generalize writing unit tests
Cmockery is a lightweight unit testing framework for the C programming language, designed to make writing and executing C tests simple and portable. It allows developers to test the logic of C modules in isolation by replacing external dependencies with mock functions. Cmockery focuses on testing functionality rather than environment-specific behavior, making it ideal for projects where code must run on diverse or constrained systems. Unlike many modern frameworks, Cmockery is compatible with older compilers and avoids dependencies on newer C language features, making it suitable for legacy codebases or embedded development. -
9
iptables-bash_completion
Programmable completion code (bash) for ip[6]tables (netfilter.org)
This is the programmable completion specification (compspec) for the iptables program (netfilter.org). -
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
10
Logic Lab
This is a suite of mathematical software solvers GUI
This is a suite of mathematical software solvers interface on DLV and other command-line solvers. It helps researchers and students to better comprehend their declarative definitions published on papers. The user can have links to the related papers and to the software of the corresponding definitions. -
11
ipset-bash-completion
Programmable completion code (bash) for ipset (netfilter.org)
This is the bash shell programmable completion code for the ipset program (netfilter.org). -
12
Tux Hat Linux
What you see, is what you get! GNU/Linux Arch Based Distro
# Summary: Tux Hat Linux is a Arch Linux Based Distro. K.I.S.S. principle, keeping the UNIX logic within a GNU/Linux System. This OS has a main menu script / auto session program call tuxhatlinux within that you can load up Fluxbox, also have setup-tuxhat to setup the system live session and to install it to a HDD. It is a very lightweight distro. and giving the users the freedom at hands. # Tux Hat Linux Pastebin to use, modified, study, and learn from the source. -
13
manticora
ternary logic calculator
Some scripts for boolean calculation, including a parser. Ternary logic support. Everything is written in Posix Sh. -
14
The filter provides the logic for: o Adjusting the BDII data so that the calculated installed computing capacity falls within the limits
-
15
ANY Database employing SQL, any system, any task TRANSFORM Your SQL between DBMS, different languages and from slow SQL to fast one, transform any of Your redundant task to work in organized and sustainable manner.
-
16
This project is for maintaining a linux system that concentrates on math, logic, and geometry related softwares.
-
17
This library provides an Opensource ATPG API to build your programs on. The library implements a lot of template c++ classes and functions that provide Combitional/Sequential logic simulation, and fault simulation functionality(semi-PROOFS).
- Previous
- You're on page 1
- Next
