Search Results for "description logic"
Sort By:
Showing 36 open source projects for "description logic"
View related business solutions-
Full-stack observability with actually useful AI | 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.
-
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
1
YARA
The pattern matching swiss knife for malware researchers
YARA is a tool aimed at (but not limited to) helping malware researchers to identify and classify malware samples. With YARA you can create descriptions of malware families (or whatever you want to describe) based on textual or binary patterns. Each description, a.k.a rule, consists of a set of strings and a boolean expression which determines its logic. YARA is multi-platform, running on Windows, Linux and Mac OS X, and can be used through its command-line interface or from your own Python scripts with the yara-python extension. YARA-CI may be a useful addition to your toolbelt. This is GitHub application that provides continuous testing for your rules, helping you to identify common mistakes and false positives. ... -
2
Presubmit
Context-aware AI reviewer for Pull Requests
Optimize your code review process with Presubmit's AI Code Reviewer catches bugs, suggests improvements, and provides a meaningful summary - all before human reviewers take their first look. -
3
Ethereum Yellow Paper
The "Yellow Paper": Ethereum's formal specification
The Ethereum Yellow Paper repository contains the canonical formal specification of the Ethereum protocol, describing its consensus rules, virtual machine (EVM) semantics, transaction formats, and state transition logic. It encodes rigorous mathematics and pseudocode defining how blocks are validated, how world state evolves, gas accounting, account balances, and execution semantics of opcodes. The paper is the authoritative technical reference for clients, protocol architects, and researchers seeking a precise, unambiguous description of Ethereum’s design and expected behavior. ... -
4
OpenAPI Specification (OAS)
Programming language-agnostic interface description for REST APIs
The OpenAPI Specification: a broadly adopted industry standard for describing modern APIs. The OpenAPI Specification (OAS) defines a standard, programming language-agnostic interface description for REST APIs, which allows both humans and computers to discover and understand the capabilities of a service without requiring access to source code, additional documentation, or inspection of network traffic. When properly defined via OpenAPI, a consumer can understand and interact with the remote service with a minimal amount of implementation logic. ... -
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.
-
5
OpenQASM
Quantum assembly language for extended quantum circuits
...Quantum programs are described using the measurement-based quantum circuit model with support for classical feed-forward flow control based on measurement outcomes. OpenQASM presents a parameterized set of physical logic gates and concurrent real-time classical computations. Its main goal is to serve as an intermediate representation for higher-level compilers to communicate with quantum hardware. Allowances have been made for human usability. In particular, the language admits different representations of the same program as it is transformed from a high-level description to a pulse representation. -
6
AutoCoder
A long-running autonomous coding agent powered by the Claude Agent
...Its architecture typically integrates language models with static analysis and template logic so that generated code is not only syntactically valid but also idiomatic and testable. -
7
Goa
Design-based APIs and microservices in Go
...For example a service method payload may be built from an HTTP request by extracting values from the request path, headers and body. This clean separation of layers makes it possible to expose the same service using multiple transports. It also promotes good design where the service business logic concerns are expressed and implemented separately. -
8
werf
The CLI tool gluing Git, Docker, Helm, and Kubernetes
werf is an Open Source CLI tool written in Go, designed to simplify and speed up the delivery of applications. To use it, you need to describe the configuration of your application (in other words, how to build and deploy it to Kubernetes) and store it in a Git repo, the latter acts as a single source of truth. In short, that's what we call GitOps today. werf is not a complete CI/CD solution, but a tool for creating pipelines that can be embedded into any existing CI/CD system. It literally... -
9
SymbComp
Symbloic computation
SYMBCOMP is a research project (the outcome is unknown) and also a C++ library, hopes, in an a priori perspective of symbolic substitution, the knowledge of the property of mathematics and logic, including problem description, problem solving can be improved via computer programs. Executables are important but considered by-products, hope not too difficult to build from the library. SYMBCOMP是項研究計劃(不很清楚成果會是啥)也是個C++程式庫,目的是希望在符號代換的 先驗觀點下,藉由電腦程式 探討數學與邏輯的性質,包含問題描述法,解法...等. 執行程式 雖重要,但非目的,技術(非構想)上應不會太難由SYMBCOMP建構. -
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
JxMake
A Java-based cross-platform build system.
JxMake is a Java-based, cross-platform build system primarily inspired by the syntax and features of GNU Make, Perforce Jam, and CMake. In addition, JxMake provides several capabilities not typically found in other console-based build systems, including a built-in lightweight GUI, serial console, serial plotter, multi-MCU in-system programmer, and more. Currently, JxMake's loadable libraries (build scripts) are primarily designed for non-OS MCU systems and experimental use. Full... -
11
Quiz/Survey/Test - QST
A Free, complete, open source universal assessment/exam platform
QST, the worlds unparalleled open source online/lan assessment software. From a quick quiz on your phone to very large scale, high stakes, proctored desktop testing, we make it easy/secure/economical. Our intuitive design contains features (Immediate detailed results, Create/Export/Import/Convert Questions, WYSIWYG/Math-Chemistry/Basic Editors, Question/Item Bank, Multiple Question Types, Multiple Delivery Styles, Multiple Delivery/Results Options, Adaptive/Branching Questions, Randomly... -
12
-
13
UMHDL
Integrated Development Environment (IDE) for learning HDL
UMHDL is an educational Integrated Development Environment (IDE) intended for learning digital designing with programmable logic devices using Hardware Description Languages (HDL) through simulation. It is an open-source application created at the Miguel Hernández University (UMH). The aim for the UMHDL development was to have a graphical application that allows learning the VHDL language without licensing restrictions (using some existing open-source tools) and requiring few resources. ... -
14
Acid Game Engine
A high speed C++17 Vulkan game engine
Acid is an open-source project listed on GitHub, but as of now its public presence is minimal (few stars, limited documentation), and there is little publicly available description of its scope or design intentions beyond repository contents. As such it appears to be a small-scale or early-stage engine or toolkit — perhaps experimental — rather than a mature, widely-adopted framework. Because of the lack of detailed docs, it’s hard to say exactly what kinds of games/applications it targets,... -
15
This project is a reasoner for the description logic EL+. It computes the concept subsumption hierarchy. It is an OWL 2 EL reasoner.
-
16
imgcook
Generate pages from any sketch or images
...The restoration of Sketch / Photoshop design drafts starts with the installation of plugins. Export the JSON description of the design draft through the plug-in in the design draft and paste it into the imgcook visual editor. In the editor, you can edit the view, logic, etc. After generating the code, you can export the code to your local or your project file. -
17
ObjectVolume
Calculates Volume, Surface Area & Centroid of a Closed Triangular Mesh
...The volume of the tetrahedron is then calculated. Tetrahedrons with back facing triangles are added and those with forward facing triangles are subtracted yielding the object volume. A detailed description of the process is presented in the ObjectVolumeTutorial.doc document as well as program logic and results. A key component in the program is a subroutine that calculates the volume of a tetrahedron. Four sets of equations were tested and to my surprise all four produced similar results in accuracy and timing. -
18
Information Extraction from Arabic Text
Java based framework for extraction information from Arabic text
This project presents a model a for extracting information from Arabic text. The project executables include three Java based modules that can be used to implement a rule-based information extraction process from Arabic text. These modules are: 1-A module for annotating a selected Arabic text file using a custom morpho-syntactic Part-of-Speech tagging scheme. 2-A module that can be used along with Protégé for establishing Ontology Web Language (OWL) based ontologies based on... -
19
lpACLib
An Open-Source Library for Low-Power Approximate Computing Modules
...In case of usage, please refer to our publication: Muhammad Shafique, Rehan Hafiz, Semeen Rehman, Walaa El-Harouni, Jörg Henkel, "Cross-Layer Approximate Computing: From Logic to Architectures", Design Automation Conference (DAC), 2016. Contributors: Authors, Vanshika Baoni, M. Abdullah Hanif http://ces.itec.kit.edu/lpACLib.php -
20
TinyCog
Cognitive architecture with a focus on self-models
TinyCog is a cognitive architecture (perception, action, reasoning, planning, and language) with a focus on representing "self-models" (physical, capabilities, intentions, social, historical, "cognitive stream") in order to implement social reasoning and collaborative planning in a "hunter domain" test bed. We use Prolog, RDF Triples, Description Logic and a HTN-Planner as base technologies. -
21
FSMDesigner is a C++ based implementation for a Finite State Machine (FSM) design tool with integrated Hardware Description Language (HDL) generation. FSMDesigner4 uses the Simple-Moore FSM model guaranteeing efficient fast complex control circuits.
-
22
AXEL Web Framework
Seriously good at building web sites
The AXEL framework extends XML and HTML, adding "xml actions" that perform tasks during page processing. Goto http://xmlactions.org for a full description of how it works. Actions can be as simple as inserting a page, to as complex as building query results from external data sources. The Axel Framework project consists of different components: * axel-actions (core framework) * axel-mapping (a mapping tool built on axel-actions) * axel-pager (a web page builder built on... -
23
LillyTab
Another free OWL/DL Reasoner
LillyTab is a modular description logic consistency checker (reasoner) with support for a subset of OWL/DL. -
24
Concurrency Workbench NC
Automatic verification of concurrent software systems
The Concurrency Workbench of the New Century (CWB-NC) provides support for the automated verification of concurrent software systems. The tool allows the user to write a description of the system at hand in one of several design languages (CCS, CSP, LOTOS, PCCS, SCCS, TCCS). Furthermore it supports a variety of automated verification and analysis techniques to check whether the system adheres to its specifications. Among the verification and analysis techniques are: - Behavioral-Relation-Based Verification - Temporal-Logic-Based Verification - Interactive Simulation - Reachability analysis -
25
Avisynth Gimp-style Layer merge plugin
GIMP style layer merges for Avisynth
...I've implemented all the layer merges that GIMP uses so that you can use them on videos in Avisynth. See http://docs.gimp.org/2.6/en/gimp-concepts-layer-modes.html for a description of the various layer modes. I've copied the logic from the Gimp source files and the example Avisynth plugins.
