{"id":21340013,"url":"https://github.com/imandra-ai/ipl-examples","last_synced_at":"2026-02-04T17:32:57.784Z","repository":{"id":53491333,"uuid":"95512513","full_name":"imandra-ai/ipl-examples","owner":"imandra-ai","description":"Imandra Protocol Language example models","archived":false,"fork":false,"pushed_at":"2024-08-23T08:50:02.000Z","size":120,"stargazers_count":11,"open_issues_count":0,"forks_count":1,"subscribers_count":13,"default_branch":"master","last_synced_at":"2025-07-02T12:49:11.386Z","etag":null,"topics":["automated-reasoning","finance","fix-engine","fix-protocol","formal-methods","formal-verification","imandra","imandra-markets","trading"],"latest_commit_sha":null,"homepage":"https://www.imandra.ai","language":null,"has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/imandra-ai.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2017-06-27T03:12:03.000Z","updated_at":"2024-08-22T17:35:44.000Z","dependencies_parsed_at":"2024-08-22T19:22:29.307Z","dependency_job_id":"17468228-8d19-4c40-b9a9-602db7b83943","html_url":"https://github.com/imandra-ai/ipl-examples","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/imandra-ai/ipl-examples","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/imandra-ai%2Fipl-examples","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/imandra-ai%2Fipl-examples/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/imandra-ai%2Fipl-examples/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/imandra-ai%2Fipl-examples/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/imandra-ai","download_url":"https://codeload.github.com/imandra-ai/ipl-examples/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/imandra-ai%2Fipl-examples/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":29091875,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-02-04T03:31:03.593Z","status":"ssl_error","status_checked_at":"2026-02-04T03:29:50.742Z","response_time":62,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.5:443 state=error: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["automated-reasoning","finance","fix-engine","fix-protocol","formal-methods","formal-verification","imandra","imandra-markets","trading"],"created_at":"2024-11-22T00:48:45.056Z","updated_at":"2026-02-04T17:32:57.748Z","avatar_url":"https://github.com/imandra-ai.png","language":null,"funding_links":[],"categories":[],"sub_categories":[],"readme":"![Imandra Inc.](https://storage.googleapis.com/imandra-assets/images/github/ipl_lang_examples_head-3.svg)\n\n---\n### Welcome to Imandra Protocol Language examples repo.\n\nFor further documentation, please see: [https://docs.imandra.ai](https://docs.imandra.ai).\n\nDownload the IPL VS Code Plug-in for these models at the [Visual Studio Marketplace](https://marketplace.visualstudio.com/items?itemName=aestheticintegration.ipl-vscode).\n\n\n- [ordersOnly.ipl](ordersOnly.ipl) - Minimal model that accepts/rejects `NewOrderSingle`\n- [ordersWithFills.ipl](ordersWithFills.ipl) - Model accepting/rejecting `NewOrderSingle` messages and generating fills\n- [ordersWithFillsSet.ipl](ordersWithFillsSet.ipl) - as [ordersWithFills.ipl](ordersWithFills.ipl) but with some set reasoning\n- [repeatingGroupsSimple.ipl](repeatingGroupsSimple.ipl) - Example of repeating groups usage\n- [repeatingGroupsComplex.ipl](repeatingGroupsComplex.ipl) - Implicit foralls in validate statements for repeating groups\n- [importedOptionaField.ipl](importedOptionaField.ipl) - Example optional treatment of imported optional value\n- [ordersOnlyCustomMessage.ipl](ordersOnlyCustomMessage.ipl) - Example message extension with enum extension\n- [ambiguousOptionalitySimple.ipl](ambiguousOptionalitySimple.ipl) - Example with minimal example optional and ambiguous import logic \n- [ambiguousOptionalityComplex.ipl](ambiguousOptionalityComplex.ipl) - Complex treatment of ambiguous type fields\n- [sentFieldsRecordComplete.ipl](sentFieldsRecordComplete.ipl) - Setting sent fields using an internal record (successfully)\n- [sentFieldsRecordIncomplete.ipl](sentFieldsRecordIncomplete.ipl) - Setting sent fields using an internal record requiring addition explicit \"with\" statements\n- [sentFieldsRecordAssignable.ipl](sentFieldsRecordAssignable.ipl) - Setting sent fields using assignable records\n- [ordersOnlyExplicitFrom42.ipl](ordersOnlyExplicitFrom42.ipl) - FIX 4.4 example of importing a message explicitly from 4.2\n- [ordersOnlyExplicitFrom44.ipl](ordersOnlyExplicitFrom44.ipl) - FIX 4.2 example of importing a message explicitly from 4.4\n- [ordersWithFillsOverride.ipl](ordersWithFillsOverride.ipl) - Example with a field from the library with an overridden type\n- [tutorialActions.ipl](tutorialActions.ipl) - Example of introducing actions from the tutorial [here](https://docs.imandra.ai/ipl/tutorialActions/)\n- [tutorialAdvanced.ipl](tutorialAdvanced.ipl) - Full example from the tutorial [here](https://docs.imandra.ai/ipl/tutorialAdvanced)\n- [tutorialBasic.ipl](tutorialBasic.ipl) - Example from the tutorial [here](https://docs.imandra.ai/ipl/tutorialBasic/)\n- [tutorialCustom.ipl](tutorialCustom.ipl) - Example of introducing custom extenions from the tutorial [here](https://docs.imandra.ai/ipl/tutorialCustom)\n- [tutorialRepeating.ipl](tutorialRepeating.ipl) - Example of repeating groups from the tutorial [here](https://docs.imandra.ai/ipl/tutorialRepeatingGroups)\n- [tutorialSideEffects.ipl](tutorialSideEffects.ipl) - Example of multiple imports from the tutorial [here](https://docs.imandra.ai/ipl/tutorialSideEffects)\n- [tutorialState.ipl](tutorialState.ipl) - Example of introducing state from the tutorial [here](https://docs.imandra.ai/ipl/tutorialState)\n- [wolfCabbageGoat.ipl](wolfCabbageGoat.ipl) - Example shown [here](https://medium.com/imandra/the-wolf-goat-and-cabbage-exchange-97e7f3ff8d5a)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fimandra-ai%2Fipl-examples","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fimandra-ai%2Fipl-examples","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fimandra-ai%2Fipl-examples/lists"}