imandra-ai / fix-engine

Related projects ⓘ

Alternatives and complementary repositories for fix-engine

• janestreet / bin_prot
  Binary protocol generator
  ☆73Updated this week
• didier-wenzek / ocaml-kafka
  OCaml bindings for Kafka
  ☆63Updated 4 months ago
• rvantonder / hack_parallel
  The core parallel and shared memory library used by Hack, Flow, and Pyre
  ☆41Updated 3 years ago
• janestreet / accessor
  A library that makes it nicer to work with nested functional data structures
  ☆54Updated this week
• vbmithr / ocaml-fix
  FIX protocol for OCaml
  ☆15Updated 4 years ago
• janestreet / async_kernel
  Jane Street Capital's asynchronous execution library (core)
  ☆57Updated this week
• modular-macros / ocaml-macros
  OCaml with macros
  ☆53Updated this week
• mirage / capnp-rpc
  Cap'n Proto RPC implementation
  ☆100Updated this week
• capnproto / capnp-ocaml
  OCaml code generator plugin for the Cap'n Proto serialization framework
  ☆98Updated last year
• mirage / ocaml-vchan
  Pure OCaml implementation of the "vchan" shared-memory communication protocol
  ☆45Updated 6 months ago
• janestreet / core_bench
  Micro-benchmarking library for OCaml
  ☆49Updated this week
• mirage / digestif
  Simple hash algorithms in OCaml
  ☆87Updated 7 months ago
• ocaml-multicore / reagents
  Reagents for multicore OCaml
  ☆125Updated last year
• OlivierNicole / ocaml
  The core OCaml system: compilers, runtime system, base libraries
  ☆21Updated 3 weeks ago
• Drup / ocaml-lmdb
  Ocaml bindings for lmdb.
  ☆48Updated last year
• janestreet / incremental_kernel
  Library for incremental computations depending only on Core_kernel
  ☆47Updated 6 years ago
• ocaml-ppx / cinaps
  Trivial Metaprogramming tool using the OCaml toplevel
  ☆54Updated 2 years ago
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆72Updated 3 months ago
• ocaml-multicore / multicore-talks
  Repository containing slides and examples from the 2020 OCaml Workshop talk on "Parallelising your OCaml code with Multicore OCaml"
  ☆29Updated last year
• chetmurthy / ocaml-cppffigen
  C++ FFI Generator for Ocaml
  ☆35Updated 2 years ago
• inhabitedtype / bigstringaf
  Bigstring intrinsics and fast blits based on memcpy/memmove
  ☆37Updated 4 months ago
• pqwy / psq
  Functional Priority Search Queues for OCaml
  ☆53Updated 7 months ago
• ocsigen / deriving
  Extension to OCaml for deriving functions from type declarations.
  ☆26Updated 3 years ago
• keigoi / linocaml
  Monad-based linear types in OCaml, with a few syntax extensions
  ☆37Updated 5 years ago
• mmottl / ocaml-prog-pats
  OCaml Programming Patterns - random tricks, "design patterns", etc.
  ☆52Updated 3 years ago
• strymonas / staged-streams.ocaml
  ☆60Updated 5 years ago
• mirage / ocaml-rpc
  Light library to deal with RPCs in OCaml
  ☆96Updated last month
• yminsky / incremental-tutorial
  A tutorial on Incremental, originally for CUFP 2017
  ☆43Updated 7 years ago
• komamitsu / oraft
  Library of Raft consensus algorithm implemented in OCaml
  ☆28Updated last year
• rizo / streaming-zoo
  Implementations of common streaming abstractions in OCaml.
  ☆15Updated 8 years ago