Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Fix Engine

Stars
47
License
apache-2.0
Open Issues
1
Most Recent Commit
3 months ago
Programming Language
OCaml
Categories
Repo
Alternatives To Fix Engine
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Fix Engine47
3 months ago1apache-2.0OCaml
Imandra FIX Engine
Ipl Examples11
4 months ago
Imandra Protocol Language example models
Alternatives To Fix Engine
Select To Compare
Fix Engine ⭐ 47
Imandra FIX Engine
most recent commit 3 months ago


Suggest An Alternative To fix-engine
Alternative Project Comparisons
Fix Engine vs Ipl Examples
Popular Formal Methods Projects
Sled ⭐ 7,522
the champagne of beta embedded databases
dependent packages 292total releases 100latest release September 11, 2023most recent commit 3 months agocargo sled} Downloads
P ⭐ 2,845
The P programming language.
dependent packages 1total releases 3latest release April 04, 2023most recent commit 3 months agonuget PCheckerCore} Downloads
Hacl Star ⭐ 1,575
HACL*, a formally verified cryptographic library written in F*
dependent packages 2total releases 11latest release June 15, 2023most recent commit a month agonpm hacl-wasm} Downloads
Popular Fixprotocol Projects
Quickfixj ⭐ 891
QuickFIX/J is a full featured messaging engine for the FIX protocol. - This is the official project repository.
dependent packages 17total releases 10latest release November 11, 2021most recent commit 3 months ago
Quickfix ⭐ 680
The Go FIX Protocol Library :rocket:
dependent packages 23total releases 28latest release November 13, 2023most recent commit 5 months ago
Popular Software Development Categories
Continuous Integration
Functional Programming
Developer Tools
Generation
Jenkins
Continuous Deployment
Travis
Reverse Engineering
Changelog
Ci Cd
Related Searches
Fix Fixprotocol
Ocaml Formal Verification
Ocaml Formal Methods
Ocaml Imandra

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Ocaml
Formal Methods
Fixprotocol
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.