imandra-ai / fix-engine

Related projects ⓘ

Alternatives and complementary repositories for fix-engine

• janestreet / bin_prot
  Binary protocol generator
  ☆73Updated 2 weeks ago
• janestreet / memtrace
  Streaming client for OCaml's Memprof
  ☆64Updated 2 months ago
• rvantonder / hack_parallel
  The core parallel and shared memory library used by Hack, Flow, and Pyre
  ☆41Updated 3 years ago
• didier-wenzek / ocaml-kafka
  OCaml bindings for Kafka
  ☆63Updated 4 months ago
• Drup / ocaml-lmdb
  Ocaml bindings for lmdb.
  ☆48Updated last year
• 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
• ocamllabs / ocaml-memory-model
  ☆27Updated 5 years ago
• hammerlab / genspio
  Generate Shell Phrases In OCaml
  ☆49Updated 2 years ago
• janestreet / async_kernel
  Jane Street Capital's asynchronous execution library (core)
  ☆57Updated 2 weeks ago
• mirage / ocaml-vchan
  Pure OCaml implementation of the "vchan" shared-memory communication protocol
  ☆45Updated 6 months ago
• vbmithr / ocaml-fix
  FIX protocol for OCaml
  ☆15Updated 4 years ago
• ocsigen / deriving
  Extension to OCaml for deriving functions from type declarations.
  ☆26Updated 3 years ago
• janestreet / accessor
  A library that makes it nicer to work with nested functional data structures
  ☆54Updated 2 weeks ago
• owlbarn / tutorial
  Owl Tutorial
  ☆6Updated 4 months ago
• capnproto / capnp-ocaml
  OCaml code generator plugin for the Cap'n Proto serialization framework
  ☆98Updated last year
• dinosaure / art
  Adaptive Radix Tree in OCaml
  ☆47Updated 3 months ago
• mirage / awa-ssh
  Purely functional SSH library in ocaml.
  ☆103Updated 2 months ago
• tomjridge / tjr_btree
  B-tree (Bayer, not binary) library in OCaml
  ☆39Updated 2 years ago
• janestreet / spawn
  Spawning sub-processes
  ☆51Updated last week
• OlivierNicole / ocaml
  The core OCaml system: compilers, runtime system, base libraries
  ☆21Updated last month
• mfp / ocaml-leveldb
  OCaml bindings for Google's LevelDB
  ☆44Updated 2 years ago
• hcarty / mwt
  Medium weight threads - preemptive thread pools for Lwt
  ☆31Updated 3 years ago
• janestreet / rpc_parallel
  Type-safe library for building parallel applications, built on top of Async's Rpc module.
  ☆47Updated 2 weeks ago
• tarides / ocaml-jit
  Just In Time compiler for OCaml native toplevel
  ☆55Updated 10 months ago
• issuu / ocaml-protoc-plugin
  ocaml-protoc-plugin
  ☆47Updated 8 months ago
• janestreet / ocaml_plugin
  (Archived) Automatically build and dynlink ocaml source files
  ☆59Updated last year
• komamitsu / oraft
  Library of Raft consensus algorithm implemented in OCaml
  ☆28Updated last year
• yallop / ocaml-integers
  Various signed and unsigned integer types for OCaml
  ☆64Updated last week
• janestreet / typerep
  Runtime types for OCaml (beta version)
  ☆23Updated this week
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆73Updated 4 months ago