Search Results for "expert system in prolog"
Sort By:
Showing 27 open source projects for "expert system in prolog"
View related business solutions-
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
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.
-
1
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... -
2
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... -
3
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... -
4
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... -
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.
-
5
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. -
6
EulerSharp
Euler Yet another proof Engine
EYE [1] is a reasoning engine supporting the Semantic Web layers [2]. It performs controlled chaining and it supports Euler paths [3]. Via N3 [4] it is interoperable with Cwm [5]. [1] http://eulersharp.sourceforge.net/README [2] http://www.w3.org/DesignIssues/diagrams/sweb-stack/2006a [3] http://mathworld.wolfram.com/KoenigsbergBridgeProblem.html [4] http://www.w3.org/TeamSubmission/n3/ [5] http://www.w3.org/2000/10/swap/doc/cwm -
7
Mixtral offloading
Run Mixtral-8x7B models in Colab or consumer desktops
...The project implements techniques that allow model components to be dynamically moved between CPU memory and GPU memory during inference, significantly reducing the amount of GPU VRAM required to run the model. This approach takes advantage of the sparse activation properties of mixture-of-experts architectures, where only a subset of expert networks are used for each token during generation. By selectively loading and caching the required experts, the system avoids keeping the entire model in GPU memory at once. The repository includes notebooks and code examples that demonstrate how to run large language models on consumer hardware such as personal GPUs or cloud notebook environments. -
8
Streisand
Streisand sets up a new server running your choice
Streisand is a tool that automates the deployment of censorship-resistant VPN services on cloud servers. It was created to help users bypass internet censorship and surveillance by quickly setting up secure communication channels without needing deep system administration expertise. With just a cloud provider account and basic Unix command-line knowledge, Streisand can provision a server and configure multiple VPN and proxy protocols almost automatically. This includes OpenVPN, WireGuard,... -
9
Syllog
Syllog is a system for teaching logic, with anonymous answer logging
Syllog is a system for teaching various forms of logic, including syllogistic logic. It consists of a student-facing Java Applet that runs in the student's browser, and a teacher-facing, server-based logging facility for recording the answers given by students. The student-facing part simply poses questions, to which the student must provide an answer. The teacher-oriented logging facility then logs the answers anonymously for further investigation by the teacher. -
Auth0 B2B Essentials: SSO, MFA, and RBAC Built InAuth0's B2B Essentials plan gives you everything you need to ship secure multi-tenant apps. Unlimited orgs, enterprise SSO, RBAC, audit log streaming, and higher auth and API limits included. Add on M2M tokens, enterprise MFA, or additional SSO connections as you scale.
-
10
aioulinux
Linux for Arduino and Makers developers
Hello, I'm the Aioulinux founder, eager to professionally revive the project. Since 2018, the demand for an IoT and Arduino-tailored environment has been evident. Seeking partners for a 2024 version targeting schools and IoT companies, aiming for a secure and comprehensive platform. If you share this vision and wish to collaborate, reach out. Let's revive Aioulinux stronger than ever! Now seeking partners: Live Distro Specialist: Expert in live distributions to ensure... -
11
DreamStudio by Volocian Studios
Free yourself
Volocian believes first and foremost that financial status shouldn’t be a barrier to entry in multimedia content creation. Whether you want to design a product or website, record a band, remix a song, or produce a feature length movie with professional post production graphics and effects, Volocian™ wants to help, even if you’re using borrowed hardware with no previous experience. We provide affordable products and services for any budget, including cost-free solutions for education and demo... -
12
pyclp
PyCLP is a Python library to interface ECLiPSe Constraint System
PyCLP is a Python library to interface ECLiPSe Constraint Programmig System. This module try to implement a pythonic interface to ECLiPSe ( http://www.eclipseclp.org ) by compromising on a little bit on performance. -
13
COFILOS
A Development Framework for Coldfire
Contains a framework for Coldfire MCUs like 52254. The framework supports a Command Line Interface (CLI) that may work from Serial port, USB or ENET. The framework uses Processor Expert and IDE requirement is MCU Eclipse 10.4 from Freescale. Includes the FunkOS Realtime Operating System by Funkenstein Software Consulting, available at http://funkos.sourceforge.net Mainly it is a support package for the development board Perseus, but I have ported also the RTOS to MCF52233DEMO board. More to come.... -
14
CIOS Audio Core
A cross platform audio inteface
CIOS Audio Core is the infrastructure and subsystem in Collective Intelligence Operation System. It is a cross platforms audio abstract interface, supports including Mac OS X, Linux, Android, iPhone OS and Windows 7. -
15
linux-Adequate
(download) Linux Adequate"available approximately five days"
linux Adequate Elite (based on):/ debian and "most other distro which based on debian" ****************************************************** (alot of apps in):/ "graphics, multimedia, games, internet, office, science&math, crossover, wine, utilities,development,system,education" ****************************************************** (interfacses):/ "gnome 3, gnome classic, gnome (no effects), kde plasma workspace, kde plasma (safe session), metacity, unity 3d,... -
16
PyCDep is a tool to analyze include dependencies between files in C and C++ programs. PyCDep itself is written in python. It dumps all the facts in a prolog database which can be queried. Visualization is possible by dumping graphviz (.dot) files.
-
17
Naimath (syn. blessing) is a project to create tools for diagnosis, management of clinical cases in the form of Rule based Medical Expert System integrating Interactive Health education, Semantified EMR, and serve as a learning tool for students. Website seen at www.naimath.com
-
18
-
19
iThink is an intelligent word game developed with python. iThink uses CLIPS (an expert system tool) for identifying the difficulty level of the question based on the gamer's performance. Play the game and share with us your valuable experience.
-
20
Python module to interface the CLIPS expert system shell library.
-
21
Zerorule is a lite rule engine/expert system that implements the RETE algorithm which can improve the speed of forward-chained rule system. It is written entirly in the powerful python language. it supplies both a script interpreter and simple CLI.
-
22
Web helpdesk with "expert-system" diagnosis. Designed for flexibility and rapid, accurate entry of requests.
-
23
Decision Analysis is an easily-extensible expert system to help users make decisions of all types. Written entirely in Python, Decision Analysis, at this time, contains a general decsion module, which uses a weighted average technique to evaluate use
-
24
TeXPerfect plans to be a cross-platform, extensible, user-friendly yet expert-tunable visual TeX implementation. The most important feature will be a split screen (inspired by WordPerfect(R) Reveal Codes) showing the underlying TeX code.
-
25
Clipper is a Python based Shell and Debugger for the CLIPS Expert System (see http://clipsrules.sourceforge.net/). It is currently build on pyGTK and pyCLIPS.
