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

Kafka Connect Claim Check SMT

A Platform for Automated Analysis of Traceability (WP3)

Kafka Connect SMT to convert values to JSON strings

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

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.

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

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

KIT WS2018/19 – Solver of systems of linear diophantine equations in Java.

Java implementation of a SMT solver for theory of equality, theory of list and theory of array without extentionality.

Additional kafka-connect transforms and conveters