Overview Q & A Rating & Review
Imandra Protocol Language - VS Code Plugin
Imandra Protocol Language (IPL) is the first mathematically precise language for expressing system connectivity logic.
The current implementation supports the FIX protocol (versions 4.2, 4.4 and 5.0), but our roadmap includes other widely used protocols such as SWIFT, FAST and ITCH.
The following blog posts give context to IPL, and the notion of
machine reasonable APIs:
For documentation, see
For IPL examples, see https://github.com/AestheticIntegration/ipl-examples.
Imandra Markets is an online ecosystem for sharing IPL specifications. With an Imandra Markets account, you can:
Upload IPL models and permission access to key stakeholders
Verify key correctness properties of your IPL models
Decompose model state spaces and visualise their regions
Create high-coverage test suites
Generate precise documentation
Allow your counterparts to easily create simulation environments
For further information, please see
FIX Data Dictionaries - IPL has built-in support for all recent versions of FIX protocol
Full type-checking - IPL is a statically typed language, making it harder for you to introduce errors
Validation on duplicate names - one cannot introduce two fields with the same name - an error will be thrown by the editor
Intelligent code autocompletion - easily look up available fields and values with built-in editor autocompletion
Context-aware help - the language will highlight any missing required fields that your model must support
Local records - locally declared records with linkable fields to messages and record types from FIX data dictionary
Float type precision - explicitly set
Float types (e.g.
Price) precision within your model
FIX documentation - access documentation with a mouse-over
Custom fields and enums - extend the standard FIX enums, records and messages with custom entries
Roadmap and Known Issues
Loading More data ...