Framework for automated synthesis and verification of distributed systems. Bridges the gap between high-level specifications and provably correct implementations using compositional verification, CEGIS-based synthesis, and constrained RL.
274x speedup Formal verification First synthesis + verification + optimization framework
Python Z3 Solver Reinforcement Learning Formal Methods
Modern Java 21 implementation of the SMPP protocol. Built on Netty with virtual threads for high-performance SMS messaging at scale. The actively maintained replacement for Cloudhopper.
1.8M PDU decodes/sec 25K network round-trips/sec SMPP 3.3/3.4/5.0
Java 21 Netty Virtual Threads Micrometer
Production-ready bridge between SMPP protocol and Apache Kafka. Receives SMS messages via SMPP and publishes to Kafka topics. HTTP/2 REST API aligned with 3GPP TS 29.540 SMSF standards.
Java 21 Apache Kafka SMPP HTTP/2 Kubernetes
High-performance financial message processing tool for ISO 8583 payment protocol. Features CLI, Python SDK, and AI-powered message explanation. Supports all major card networks.
180k+ TPS parsing LLM integration 6 card networks
Python Cython ISO 8583 LLM Integration