Search Results for "description logic"
Sort By:
Showing 38 open source projects for "description logic"
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 AWS 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
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. ... -
Veeam Data Platform v13.1 - Get Your Free TrialTry Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
5
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. -
6
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. -
7
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... -
8
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建構. -
9
Skater .NET Obfuscator
Professional .NET obfuscator protecting code from reverse engineering.
...It supports .NET Framework and modern .NET applications, including C#, VB.NET, WPF, and other .NET languages. Skater is suitable for developers and organizations that need reliable protection for commercial software, proprietary algorithms, licensing logic, and sensitive business code. -
Earn up to 16% annual interest with Nexo.Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.
-
10
comfymodeldownloader
Automate ComfyUI model downloads via URL or name into correct folders
Short Description Tired of red error nodes? The ComfyUI Model Downloader automatically analyzes your workflows via AI, tracks down missing models, and manages your heavy files with an integrated Archive Manager. The ultimate SSD-saver and a must-have standalone Java tool for every ComfyUI power user! We’ve all been there... You find an amazing workflow, drag it into ComfyUI, and... RED. Error messages everywhere because you're missing specific models. You spend the next 20 minutes... -
11
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... -
12
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. -
13
Quiz/Survey/Test - QST
A Free, complete, open source universal assessment/exam platform
QST, the worlds unparalleled open source, multi-tenant, 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/Visual Math-Chemistry Editors, Question/Item Bank, Multiple Question Types, Multiple Delivery Styles, Multiple Delivery/Results Options, Adaptive/Branching... -
14
-
15
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. ... -
16
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,... -
17
This project is a reasoner for the description logic EL+. It computes the concept subsumption hierarchy. It is an OWL 2 EL reasoner.
-
18
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. -
19
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. -
20
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... -
21
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 -
22
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. -
23
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.
-
24
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... -
25
LillyTab
Another free OWL/DL Reasoner
LillyTab is a modular description logic consistency checker (reasoner) with support for a subset of OWL/DL.
