JavaSMT - Unified Java API for SMT solvers.

Datalog with support for SMT queries and first-order functional programming

Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.

Kryptonite for Kafka is a client-side 🔒 field level 🔓 cryptography "suite" for Apache Kafka® offering an Apache Kafka Connect SMT, ksqlDB UDFs, Apache Flink® UDFs, a standalone HTTP API service, and a Kroxylicious proxy filter. It's an UNOFFICIAL community project.

This plugin allows you to configure email notifications for build results

transform-to-json-string is a Single Message Transformation (SMT) for Apache Kafka® Connect to convert a given Connect Record to a single JSON String. It's an UNOFFICIAL community project.

A Kafka Connect Single Message Transform (SMT) that enables you to append the record key to the value as a named field

A Platform for Automated Analysis of Traceability (WP3)

Kafka Connect SMT to convert values to JSON strings

Kafka Connect Claim Check SMT

A Kafka Connect library to ease Qlik Replicate event integration into Kafka ecosystem.

Kafka connect single transform routing topic based on the field in message

uran: A small engine for creating formulas accepted by SMT solver.

Трансформации для Kafka Connect | Kafka Connect SMTs

A Kafka Connect Single Message Transformation that will avoid duplicate messages being delivered in data pipelines.

AddKafkaHeadersToValueTransformation is a custom Kafka SMT that enriches message payloads by adding Kafka metadata such as topic, partition, timestamp, and more into the message value.

Custom SMT to convert a string field from lowercase to uppercase.

Format-preserving encryption for Kafka Connect — Single Message Transform (SMT) powered by Cyphera.

A Java library for controlling the miniFeed SMT feeder system