imandra-ai / ocaml-tracy

Related projects ⓘ

Alternatives and complementary repositories for ocaml-tracy

• Drup / modulectomy
  Dissect OCaml compiled programs, and weight their content
  ☆24Updated 2 years ago
• hcarty / mwt
  Medium weight threads - preemptive thread pools for Lwt
  ☆31Updated 3 years ago
• OCamlPro / memthol
  Memthol is a visualizer for memory profiling data generated from OCaml programs.
  ☆27Updated 2 years ago
• robur-coop / catty
  A unikernel as an IRC client
  ☆25Updated last year
• b0-system / b0
  Software construction and deployment kit
  ☆33Updated last week
• cedlemo / ctypes-stubs-generation-notes
  OCaml Ctypes stubs generation notes
  ☆19Updated 5 years ago
• koonwen / obatcher
  A Framework for building Batched Concurrent Services
  ☆20Updated last month
• mirage / bloomf
  Efficient Bloom filters for OCaml
  ☆36Updated 2 years ago
• pqwy / tpf
  Trivial/Tagless Polytypic Functions
  ☆23Updated 4 years ago
• craigfe / ppx_irmin
  OCaml PPX extension for automatically generating Irmin types
  ☆11Updated 4 years ago
• savonet / ocaml-posix
  Bindings to the various POSIX APIs
  ☆27Updated last year
• ocurrent / current_incr
  Self-adjusting computations
  ☆21Updated last year
• inhabitedtype / bigstringaf
  Bigstring intrinsics and fast blits based on memcpy/memmove
  ☆37Updated 4 months ago
• c-cube / bare-ocaml
  runtime library and code-generator for BARE (https://baremessages.org/)
  ☆23Updated 3 months ago
• tomjridge / imp_fs
  ImpFS, a new filesystem.
  ☆20Updated 2 years ago
• ocaml-doc / voodoo
  ☆14Updated 7 months ago
• mirage / index
  A platform-agnostic multi-level index
  ☆33Updated 5 months ago
• dbuenzli / qoic
  QOI image codec for OCaml (unreleased)
  ☆11Updated 3 weeks ago
• anik545 / OwlPPL
  Final Year Project - A probabilisitic programming language in OCaml
  ☆13Updated 4 years ago
• kit-ty-kate / waylaunch
  A program launcher for Wayland
  ☆14Updated 10 months ago
• Gbury / ocaml-cgroups
  OCaml interface to cgroups
  ☆20Updated 2 years ago
• c-cube / oseq
  Purely functional iterators compatible with standard `seq`.
  ☆31Updated 11 months ago
• yomimono / oauth2_server
  a MirageOS OAuth2 authorization server for Etsy authentication
  ☆18Updated 2 years ago
• tarides / river
  A planet (feed aggregator) for OCaml.
  ☆26Updated 2 weeks ago
• pqwy / unmark
  Painless micro-benchmarks
  ☆20Updated 5 years ago
• mirage / encore
  Synonym of angkor
  ☆25Updated 3 years ago
• diskuv / diskuvbox
  Basic, cross-platform set of commands to manipulate and query the file system, and OCaml library.
  ☆18Updated 2 months ago
• hannesm / patch
  line based patch, input is a unified diff
  ☆23Updated last month
• dinosaure / minifiber
  Parallel computation in OCaml - multicore for really poor people
  ☆11Updated 4 years ago