imandra-ai / fix-engine
Imandra FIX Engine
☆52Updated last month
Alternatives and similar repositories for fix-engine:
Users that are interested in fix-engine are comparing it to the libraries listed below
- Binary protocol generator☆75Updated last month
- Streaming client for OCaml's Memprof☆64Updated 4 months ago
- Ocaml bindings for lmdb.☆48Updated this week
- OCaml plus Jane Street extensions☆73Updated 6 months ago
- The core parallel and shared memory library used by Hack, Flow, and Pyre☆41Updated 3 years ago
- Repository containing slides and examples from the 2020 OCaml Workshop talk on "Parallelising your OCaml code with Multicore OCaml"☆29Updated last year
- Bigstring intrinsics and fast blits based on memcpy/memmove☆37Updated 6 months ago
- A Datalog implementation with an OCaml inspired module system☆44Updated 6 years ago
- FIX protocol for OCaml☆15Updated 4 years ago
- Library for incremental computations depending only on Core_kernel☆47Updated 6 years ago
- OCaml bindings for Kafka☆63Updated 6 months ago
- Type-safe library for building parallel applications, built on top of Async's Rpc module.☆47Updated last month
- An ocaml implementation of conflict-driven reasoning☆15Updated 6 years ago
- Various signed and unsigned integer types for OCaml☆65Updated last month
- ☆60Updated 5 years ago
- A library that makes it nicer to work with nested functional data structures☆54Updated 2 months ago
- Jane Street Capital's asynchronous execution library (core)☆57Updated last month
- Experimental model checker for testing concurrent algorithms☆32Updated last month
- A DSL to invoke otherworldly functors☆62Updated 2 years ago
- The core OCaml system: compilers, runtime system, base libraries☆21Updated this week
- Runtime types for OCaml (beta version)☆23Updated last month
- Reagents for multicore OCaml☆126Updated last year
- OCaml with macros☆56Updated this week
- Multiparty Session Types in OCaml☆57Updated 2 months ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- multi-shot continuations in OCaml☆47Updated last week
- Kleene algebra modulo theories☆27Updated 2 years ago
- C++ FFI Generator for Ocaml☆35Updated 2 years ago
- Extension to OCaml for deriving functions from type declarations.☆26Updated 3 years ago
- Embed typed ASN.1 grammars in OCaml☆36Updated last month