Awesome List Updates on Nov 20, 2024

Abduction in Logic Programming - Computational Logic, 2002. [All Versions]. [Preprint]. Abduction in Logic Programming started in the late 80s, early 90s, in an attempt to extend logic programming into a framework suitable for a variety of problems in Artificial Intelligence and other areas of Computer Science. This paper aims to chart out the main developments of the field over the last ten years and to take a critical view of these developments from several perspectives: logical, epistemological, computational and suitability to application. The paper attempts to expose some of the challenges and prospects for the further development of the field.

5. Awesome Cpp

Gravitee.io API Management (⭐196) (⭐193) - A flexible, lightweight, and open-source API management solution that provides comprehensive API management capabilities and helps you manage your APIs with ease.

WSO2 API Manager (⭐853) (⭐849) - A fully open-source API management platform that provides comprehensive API management capabilities and allows you to manage APIs with ease.

OpenAPI Diff (⭐832) (⭐829) - Compare OpenAPI specs with version control and visualize the differences in HTML or Markdown format.

OpenAPI Style Validator (⭐210) (⭐208) - Ensure that your OpenAPI specs meet your organization's standards with this flexible and customizable style validator.

Zally (⭐907) (⭐906) - Ensure the quality of your OpenAPI specs with this linter tool that provides extensive analysis and feedback.

Gloo Edge (⭐6) (⭐4.1k) - An Envoy Proxy-based API Gateway that provides advanced traffic management, security, and observability features for modern microservices architectures.

OpenL Tablets (⭐157) (⭐156) - Open-source business rules engine (BRE, BRMS) and decision management system that allows users to define, manage, and execute business rules and decision tables.

Apache NiFi (⭐4.9k) (⭐4.9k) - An automated data integration platform that efficiently moves data between disparate systems.

Eclipse Mosquitto (⭐9.1k) (⭐9.1k) - A lightweight open-source message broker that implements the MQTT protocol. Designed for low-power devices and supports message encryption and authentication.

Elsa Core (⭐6.5k) (⭐6.5k) - A library that enables workflow execution in any .NET Core application, making it easier to automate business processes in .NET environments.

Temporal (⭐12k) (⭐12k) - An open-source platform that uses a workflow-as-code approach to make your applications more reliable and scalable.

NDJSON (⭐686) (⭐683) - A standard for delimiting JSON objects in stream protocols. It allows for efficient processing of large JSON datasets and is widely used in big data processing.

YAML (⭐346) (⭐347) - A human-friendly and easy-to-read data serialization format that is widely used for configuration files and data exchange. It supports rich data types and is compatible with most programming languages.

JSON Schema (⭐3.8k) (⭐3.8k) - A powerful tool for validating the structure of JSON data. JSON Schema enables developers to ensure that JSON data conforms to a specific structure, making it easier to process and manipulate.

bRAGAI/bRAG-langchain (⭐617): Everything you need to know to build your own RAG application

ngx-gaia-gis (⭐1) - An Angular service that simplifies map creation and interaction using the powerful OpenLayers library.

ngx-google-maps-places (⭐2) - Wrapper for new Google Maps Places API, making it easier to integrate Google Places functionality into Angular applications.

ngx-crud (⭐20) - CRUD services in Angular with effortless aborting, caching and observing.

ngx-simple-state-manager (⭐1) - Component-bound simple to handle state managment that is accessible application wide with type support and an observer to handle any reactive state changes if and when needed.

some-peco (⭐1) - Enhances your command-line experience with peco (⭐7.7k) i.e. providing quick directory navigation and history search.