About IPL
The Imandra Protocol Language - A protocol-independent language for expressing system connectivity specifications with machine-reasonable APIs.
Our Mission
IPL was designed to be a protocol-independent language for expressing system connectivity specifications. The current libraries implement FIX protocol, but the framework is generic enough to be extended to other protocols.
Financial markets run on many interconnected systems - ensuring they can effectively and safely understand each other is fundamental. IPL provides a rigorous way to specify and verify trading system behaviors, making machine-reasonable regulations a reality.
Key Features
What makes IPL powerful and unique
Type Inference
Strongly statically typed language where the type checker deduces types and ensures validity in context.
Machine-Reasonable
Not only machine readable, but also machine-reasonable - enables automated verification and test generation.
Protocol Libraries
Built-in FIX protocol libraries with support for multiple versions and custom extensions.
State Management
Define model state and transitions, representing systems as state transition systems for reasoning.
Validity Checking
Internal validity construction verifying that specifications return messages with all required fields.
VS Code Integration
Sophisticated language server with context-specific auto-completion and hover documentation.
Technology Stack
Built with modern web technologies for optimal performance