This is stars and forks stats for /imandra-ai/fix-engine repository. As of 28 Apr, 2024 this repository has 47 stars and 3 forks.
FIX Engine Model Overview The development of the FIX Engine model began at Imandra Inc. (AI) as part of the Imandra Markets product. The model consists of an executable formalisation of an administrative-level FIX engine, a sample application-level model and a set of verified precise statements about the engine's behaviour. The properties we verify are derived from the English prose specification published by the FIX Community. There's an explicit interface between administrative and application models...
FIX Engine Model Overview The development of the FIX Engine model began at Imandra Inc. (AI) as part of the Imandra Markets product. The model consists of an executable formalisation of an administrative-level FIX engine, a sample application-level model and a set of verified precise statements about the engine's behaviour. The properties we verify are derived from the English prose specification published by the FIX Community. There's an explicit interface between administrative and application models...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| sib-swiss/single-cell-training | RLuaShell | 60 | 0 | 22 | 0 |
| Xe/site | MDXHTMLDhall | 539 | +2 | 106 | 0 |
| apache/ranger | JavaJavaScriptPython | 793 | 0 | 857 | 0 |
| mesonbuild/meson | PythonMesonC | 4.9k | 0 | 1.5k | 0 |
| m64p/m64p | CC++Scilab | 697 | 0 | 58 | 0 |
| MiniExcel/MiniExcel | C#Other | 2k | +6 | 239 | +2 |
| levent/CosmX-Install-Printer | Other | 1 | 0 | 0 | 0 |
| stepchowfun/proofs | CoqRubyMakefile | 274 | 0 | 10 | 0 |
| vlggms/lobotomy-corp13 | DMJavaScriptHTML | 21 | 0 | 112 | 0 |
| js-emacs/js2-refactor.el | Emacs LispGherkinOther | 372 | 0 | 47 | 0 |