GitHub / imandra-ai / fix-engine
Imandra FIX Engine
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/imandra-ai%2Ffix-engine
PURL: pkg:github/imandra-ai/fix-engine
Stars: 52
Forks: 3
Open issues: 2
License: apache-2.0
Language: OCaml
Size: 7.87 MB
Dependencies parsed at: Pending
Created at: over 8 years ago
Updated at: about 1 month ago
Pushed at: about 1 month ago
Last synced at: 11 days ago
Topics: financial-markets, fix, fix-protocol, formal, formal-methods, formal-verification, imandra, verification
Loading...