Persistent Storage for SWI-Prolog

Field Agent Support Technology - real-time dialog support from hybrid LLM / human team

A performant contingent planner that we hope to integrate, at least with financial and WOPR planning, until FLUX or ALPProlog contingent planners which can call Prolog code in the search, are finished

Buzz transcribes and translates audio offline on your personal computer. Powered by OpenAI's Whisper.

OpenMetadata is a unified metadata platform for data discovery, data observability, and data governance powered by a central metadata repository, in-depth column level lineage, and seamless team co…

A client for Language Server Protocol servers

HRV analysis for emwave database

ELF file viewer/editor for Windows, Linux and MacOS.

Symk is a state-of-the-art classical optimal and top-k planner.

Extension adding support for optimizer hints in PostgreSQL

A TUI playground to experiment with jq

Aqueduct is no longer being maintained. Aqueduct allows you to run LLM and ML workloads on any cloud infrastructure.

The core software distribution for the Inform 7 programming language.

Weechat API bindings for Rust

Intermediate bytecode language

Common rust command-line macros and utilities, to write shell-script like tasks in a clean, natural and rusty way

Query MongoDB with up to 3x less code (core is shared from java and js version)

Don't let the cursor slow you down

Official repository of Trino, the distributed SQL query engine for big data, formerly known as PrestoSQL (https://trino.io)

Automated mass refactoring of source code.

a structural diff that understands syntax 🟥🟩

Interactive-Speed Analytics: 200x Faster, 200x Fewer Cluster Resources, Approximate Query Processing

a Rust implementation of first-order term rewriting systems (TRS)

Effective and scalable data discovery using profiles

Specification for interoperability of common algebraic structures in JavaScript

RTEC is an Event Calculus implementation optimised for stream reasoning

RDF-star specification

Milvus is a high-performance, cloud-native vector database built for scalable vector ANN search

Pattern-defeating quicksort.