Search Results for "prolog expert system"
Sort By:
Showing 239 open source projects for "prolog expert system"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
Build Securely on Azure with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
1
GNU Prolog
The GNU Prolog native compiler
GNU Prolog is a free implementation (under GPL) of the logic programming language PROLOG. It can compile to native machine code which is extremely fast in execution. Another feature is the included constraint solver. -
2
EPLB
Expert Parallelism Load Balancer
EPLB is DeepSeek’s open implementation of a load balancing algorithm designed for expert parallelism (EP) settings in MoE architectures. In EP, different “experts” are mapped to different GPUs or nodes, so load imbalance becomes a performance bottleneck if certain experts are invoked much more often. EPLB solves this by duplicating heavily used experts (redundancy) and then placing those duplicates across GPUs to even out computational load. It uses policies like hierarchical load balancing... -
3
eqMac
macOS System-wide audio equalizer & volume mixer
System audio equalizer for macOS. Professional grade Parametric EQ & volume mixer. If you feel like your audio device (Headphones or Speaker) does not have enough Bass (low frequency) punch, or vice versa, you can adjust that using eqMac. macOS does not have a direct way to access the System Audio stream, so we use the eqMac Audio driver to divert the system audio to the driver's input stream. -
4
CoStrict
Strict AI coder for enterprises, quality first
...Unlike typical AI coding tools that prioritize speed over rigor, CoStrict introduces a “strict mode” methodology that enforces disciplined processes such as requirements analysis, architecture planning, task decomposition, and test generation before producing code. This makes it particularly suitable for organizations that require consistency, auditability, and reliability in AI-assisted development. The system integrates repository-wide analysis using retrieval-augmented generation, allowing it to understand large codebases and provide context-aware suggestions, reviews, and modifications. It also incorporates multi-agent or multi-expert verification strategies, ensuring that generated code is validated from multiple perspectives before being accepted. -
Forever Free Full-Stack Observability | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
5
Datalog Educational System
Deductive Database with Datalog, SQL, RA, TRC, DRC
The Datalog Educational System (DES) is a deductive database with Datalog, SQL, Relational Algebra, Tuple Relational Calculus and Domain Relational Calculus as query languages developed mainly for education. It can be used from most common Prolog interpreters over any supported OS and from portable executables (Windows, Linux and MacOS). -
6
Arduino core support for STM32
STM32 core support for Arduino
This repo adds the support of STM32 MCU in Arduino IDE. This porting is based on STM32Cube MCU Packages including the HAL hardware abstraction layer, enabling portability between different STM32 devices via standardized API calls. The Low-Layer (LL) APIs, a lightweight, optimized, expert-oriented set of APIs designed for both performance and runtime efficiency. CMSIS device definition for STM32. Arduino.cc IDE allows to add easily new board thanks the "Boards Managers". More information... -
7
Delphi Help Expert
integrates the Delph 7 help system into later Delphi IDEs
With the "new" Delphi IDEs also came a new help system which many think is worse than the one from Delphi 7. This IDE plugin lets you call the Delphi 7 help from within the new IDEs. It also lets you specify other resources that you want to have available from within the IDE, e.g. Google search. -
8
UCCL
UCCL is an efficient communication library for GPUs
...UCCL is designed to work with heterogeneous hardware environments, allowing GPUs from different vendors and network interfaces to communicate efficiently without vendor lock-in. The system also supports specialized workloads such as reinforcement learning weight transfers, key-value cache sharing, and expert parallelism for mixture-of-experts models. Its architecture emphasizes flexibility and extensibility so that developers can implement custom communication protocols tailored to specific machine learning workloads. -
9
Mobile Verification Toolkit
Helps with conducting forensics of mobile devices
Mobile Verification Toolkit (MVT) is a collection of utilities to simplify and automate the process of gathering forensic traces helpful to identify a potential compromise of Android and iOS devices. It has been developed and released by the Amnesty International Security Lab in July 2021 in the context of the Pegasus project along with a technical forensic methodology and forensic evidence. MVT is a forensic research tool intended for technologists and investigators. Using it requires... -
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
10
ThreatMapper
Open source cloud native security observability platform
Thousands of companies trust Deepfence to secure their most critical cloud workloads and applications with a unified platform. Experience rapid threat detection and remediation, while significantly reducing non-critical security alerts by 90%. Deepfence ThreatMapper hunts for threats in your production platforms, and ranks these threats based on their risk of exploit. It uncovers vulnerable software components, exposed secrets, and deviations from good security practices. ThreatMapper uses a... -
11
Mail-in-a-Box
Take back control of your email with this mail server in a box
Mail-in-a-Box helps individuals take back control of their email by defining a one-click, easy-to-deploy SMTP+everything else server, a mail server in a box. Mail-in-a-Box lets you become your own mail service provider in a few easy steps. It’s sort of like making your own gmail, but one you control from top to bottom. Technically, Mail-in-a-Box turns a fresh cloud computer into a working mail server. But you don’t need to be a technology expert to set it up. Our goals are to make deploying... -
12
Clara Rules
Forward-chaining rules in Clojure(Script)
Clara Rules is an expressive, forward-chaining rules engine written in Clojure (and ClojureScript), designed to let developers encapsulate domain logic cleanly and declaratively using rules defined as code rather than domain-specific languages—while supporting Java interoperability. Clara is a forward-chaining rules engine written in Clojure(Script) with Java interoperability. It aims to simplify code with a developer-centric approach to expert systems. Clara is built, tested, and deployed... -
13
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. While core.logic does provide a similar simple unifier interface with support for specifying fine-grained constraints, if... -
14
Kamon Telemetry
Distributed Tracing, Metrics and Context Propagation for applications
Kamon Telemetry is a set of libraries for instrumenting applications running on the JVM. With Kamon Telemetry you can collect metrics, propagate context across threads and services, and get distributed traces automatically. The best way to get started is by following our installation guides and taking it from there. Have fun with Kamon. Monitor your backend applications, fix performance issues, and get alerted when problems happen. All without being a monitoring expert. Everybody starts... -
15
Megatron-LM
Ongoing research training transformer models at scale
...Overall, it is a production-grade system for organizations pushing the limits of large-scale language model training. -
16
AI Marketing Skills
Open-source AI marketing skills for Claude Code
AI Marketing Skills is a comprehensive open-source framework designed to transform AI agents into fully operational marketing and sales systems by equipping them with structured, reusable “skills” that automate real business workflows. Instead of simple prompts, the project provides complete operational modules that include scripts, scoring systems, and decision-making logic, allowing AI tools like Claude Code to execute complex marketing tasks end-to-end. The system is organized into... -
17
agency-agents-zh
193 plug-and-play AI expert roles
agency-agents-zh is a framework focused on building and coordinating multiple AI agents, likely with a particular emphasis on Chinese-language environments or documentation. The project appears to explore the concept of agent collaboration, where different agents handle specialized tasks and communicate to achieve broader objectives. It is designed to simulate organizational workflows, enabling complex problem-solving through distributed intelligence rather than a single monolithic model.... -
18
Rust Training Books
Beginner, advanced, expert level Rust training material
Rust Training Books is a comprehensive educational repository created to teach developers the Rust programming language through structured lessons, exercises, and practical examples. It is designed to guide learners from basic concepts such as ownership and borrowing to more advanced topics like concurrency, performance optimization, and system-level programming. The material emphasizes hands-on learning, encouraging users to actively write and experiment with code rather than passively... -
19
Silverstripe CMS
Silverstripe CMS - this is a module for Silverstripe Framework
Silverstripe CMS is an intuitive content management system and flexible framework loved by editors and developers alike. Equip your web teams to achieve outstanding results. Silverstripe CMS fits the outcomes you want and doesn't force your business outcomes into an out-of-the-box solution. Customize to your needs. You can be the CMS expert in no time. Get started quickly and deliver your content to your users fast. -
20
cipi
Install and manage your server like a pro
...It comes with nginx, Mysql, multi PHP-FPM versions, multi-users, Supervisor, Composer, npm, free Let's Encrypt certificates, Git deployment, fail2ban, Redis, API, and with a simple graphical interface useful to manage Laravel, Codeigniter, Symfony, WordPress or other PHP sites. Easy install: set up one or more servers with a click in less than ten minutes without be a Linux expert. Server Management: manage one or more servers in as easy as a few clicks without be a LEMP Guru. Perfect stack for PHP devs: Cipi comes with nginx, PHP, MySql, Composer, npm, Redis and Supervisor. No unsed open ports, unprivileged PHP, isolated system users and filesystem, only SFTP (no insecure FTP), http/2, Free SSL certificates everywhere. -
21
SwiftUI Agent Skill
SwiftUI agent skill for Claude Code, Codex, and other AI tools
SwiftUI-Agent-Skill is an advanced agent skill designed to enhance AI coding assistants by embedding expert-level knowledge of SwiftUI development practices into their workflows. It provides structured guidance that helps AI tools generate more accurate, modern, and maintainable SwiftUI code by addressing common mistakes such as misuse of APIs, poor performance patterns, and accessibility oversights. The system includes a comprehensive review process that evaluates code across multiple dimensions, including navigation, data flow, design compliance, and performance optimization. ... -
22
Svelto.ECS
Svelto ECS C# Entity Component System
Real ECS framework for c#. Enables writing encapsulated, decoupled, maintainable, highly efficient, data-oriented, cache-friendly, code without pain. Although the framework is platform agnostic (compatible with c# 7 and above and .net standard 2.0 and above), it comes with several Unity extensions. Svelto.ECS is easy to start with, but full of tricks for expert users. The hardest problem to overcome is usually to shift mentality from OOP programming to ECS programming more than using the... -
23
Skytable
Skytable is a fast, secure and reliable realtime NoSQL database
SkytableTM is an insanely fast, free, and open-source, real-time NoSQL database that aims to provide flexible data modeling without compromising on performance or query ability, at scale. Skytable has got exciting features which are ready to deploy and more amazing features on the way. Scale to millions of queries per second per node with no optimizations left on the table. Automated background saving, snapshots and remote snapshots are there when you need them. Natively multithreaded to... -
24
DeepSpeed
Deep learning optimization library: makes distributed training easy
DeepSpeed is an easy-to-use deep learning optimization software suite that enables unprecedented scale and speed for Deep Learning Training and Inference. With DeepSpeed you can: 1. Train/Inference dense or sparse models with billions or trillions of parameters 2. Achieve excellent system throughput and efficiently scale to thousands of GPUs 3. Train/Inference on resource constrained GPU systems 4. Achieve unprecedented low latency and high throughput for inference 5. Achieve extreme... -
25
ECLiPSe CLP
ECLiPSe Constraint Logic Programming System
The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques.
