imandra-ai / fix-engine
Imandra FIX Engine
☆52Updated 3 months ago
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☆76Updated 3 months ago
- Generate Shell Phrases In OCaml☆49Updated 3 years ago
- A library that makes it nicer to work with nested functional data structures☆58Updated 3 months ago
- Various signed and unsigned integer types for OCaml☆65Updated 2 months ago
- The core parallel and shared memory library used by Hack, Flow, and Pyre☆41Updated 3 years ago
- Cap'n Proto RPC implementation☆105Updated 2 weeks ago
- Ocaml bindings for lmdb.☆48Updated last month
- The core OCaml system: compilers, runtime system, base libraries☆21Updated 2 weeks ago
- Bigstring intrinsics and fast blits based on memcpy/memmove☆39Updated 7 months ago
- Repository containing slides and examples from the 2020 OCaml Workshop talk on "Parallelising your OCaml code with Multicore OCaml"☆29Updated last year
- Memthol is a visualizer for memory profiling data generated from OCaml programs.☆27Updated 2 years ago
- A small library to output memory graph for ocaml values☆36Updated 7 months ago
- Misc algorithms in OCaml (HyperLogLog, jump consistent hashing)☆67Updated 7 months ago
- Streaming client for OCaml's Memprof☆65Updated 5 months ago
- OCaml bindings for Kafka☆64Updated 7 months ago
- Experimental model checker for testing concurrent algorithms☆32Updated 2 months ago
- Canopy blog data that powers ICFP liveblog☆16Updated 8 years ago
- Implementations of common streaming abstractions in OCaml.☆14Updated 8 years ago
- (Archived) Automatically build and dynlink ocaml source files☆59Updated last year
- Raspberry Pi boot support for the OCaml system (unreleased)☆55Updated 4 months ago
- A toy implementation of the bitcoin protocol in ocaml.☆30Updated 9 years ago
- multi-shot continuations in OCaml☆48Updated last week
- OCaml code generator plugin for the Cap'n Proto serialization framework☆99Updated last year
- A Datalog implementation with an OCaml inspired module system☆44Updated 6 years ago
- Type-safe library for building parallel applications, built on top of Async's Rpc module.☆48Updated 3 months ago
- Reagents for multicore OCaml☆126Updated last year
- Jane Street Capital's asynchronous execution library (core)☆57Updated 3 months ago
- OCaml Programming Patterns - random tricks, "design patterns", etc.☆52Updated last month
- Probabilistic data structures for OCaml☆39Updated 7 years ago
- Effect-Driven Compiler Tester for OCaml☆38Updated 5 years ago