OCamlPro / memthol

Related projects ⓘ

Alternatives and complementary repositories for memthol

• inhabitedtype / bigstringaf
  Bigstring intrinsics and fast blits based on memcpy/memmove
  ☆37Updated 4 months ago
• samoht / depyt
  Yet another type combinator library
  ☆54Updated 2 years ago
• c-cube / bare-ocaml
  runtime library and code-generator for BARE (https://baremessages.org/)
  ☆23Updated 3 months ago
• pqwy / tpf
  Trivial/Tagless Polytypic Functions
  ☆23Updated 4 years ago
• dinakajoy / mini_github_app_using_ocaml
  A simple app to test out irmin and dream
  ☆18Updated 2 years ago
• b0-system / b0
  Software construction and deployment kit
  ☆33Updated 2 weeks ago
• koonwen / obatcher
  A Framework for building Batched Concurrent Services
  ☆20Updated last month
• imandra-ai / ocaml-tracy
  Bindings to the Tracy profiler.
  ☆25Updated 3 weeks ago
• mirage / index
  A platform-agnostic multi-level index
  ☆33Updated 5 months ago
• backtracking / functory
  a distributed computing library for OCaml
  ☆24Updated 10 months ago
• dbuenzli / affect
  Composable concurrency primitives with OCaml effects handlers (unreleased)
  ☆43Updated last month
• mirage / metrics
  Infrastructure to collect metrics from OCaml applications.
  ☆45Updated last year
• dbuenzli / mu
  Declarative music for OCaml (unreleased)
  ☆24Updated 7 months ago
• UnixJunkie / bisec-tree
  Bisector tree implementation in OCaml
  ☆25Updated 7 months ago
• hcarty / mwt
  Medium weight threads - preemptive thread pools for Lwt
  ☆31Updated 3 years ago
• ocurrent / current_incr
  Self-adjusting computations
  ☆21Updated last year
• Drup / modulectomy
  Dissect OCaml compiled programs, and weight their content
  ☆24Updated 2 years ago
• pqwy / unmark
  Painless micro-benchmarks
  ☆20Updated 5 years ago
• patricoferris / ocaml-multicore-monorepo
  Vendor all the things for a quick way to get up and running with Multicore OCaml!
  ☆13Updated 2 years ago
• Drup / dowsing
  ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression
  ☆33Updated 3 weeks ago
• c-cube / ocaml-avro
  Runtime library and schema compiler for the Avro serialization format
  ☆20Updated 2 years ago
• Drup / tree_layout
  Algorithms to layout trees in a pretty manner.
  ☆36Updated 2 years ago
• robur-coop / utcp
  An implementation of the Transmission Control Protocol in OCaml
  ☆28Updated 2 months ago
• mirage / bloomf
  Efficient Bloom filters for OCaml
  ☆36Updated 2 years ago
• mirage / eqaf
  Constant time equal function to avoid timing attacks in OCaml
  ☆51Updated 4 months ago
• craff / simple_httpd
  A library to write web server and site
  ☆23Updated this week
• cedlemo / ctypes-stubs-generation-notes
  OCaml Ctypes stubs generation notes
  ☆19Updated 5 years ago
• savonet / ocaml-posix
  Bindings to the various POSIX APIs
  ☆27Updated last year
• c-cube / oseq
  Purely functional iterators compatible with standard `seq`.
  ☆31Updated 11 months ago