imandra-ai / ocaml-tracy
Bindings to the Tracy profiler.
☆26Updated last month
Alternatives and similar repositories for ocaml-tracy:
Users that are interested in ocaml-tracy are comparing it to the libraries listed below
- Bigstring intrinsics and fast blits based on memcpy/memmove☆39Updated 7 months ago
- Medium weight threads - preemptive thread pools for Lwt☆31Updated 3 years ago
- Memthol is a visualizer for memory profiling data generated from OCaml programs.☆27Updated 2 years ago
- Dissect OCaml compiled programs, and weight their content☆24Updated 2 years ago
- Self-adjusting computations☆22Updated last year
- A Framework for building Batched Concurrent Services☆21Updated 4 months ago
- RPC client/server for Irmin☆19Updated 3 years ago
- Trivial/Tagless Polytypic Functions☆23Updated 4 years ago
- Resizable arrays with O(ᵏ√N) insertion and deletion (Tiered Vectors)☆32Updated last year
- Software construction and deployment kit☆33Updated last week
- A program launcher for Wayland☆14Updated last year
- Purely functional iterators compatible with standard `seq`.☆31Updated last year
- Lock-free Sets and Maps for OCaml multicore☆31Updated 2 years ago
- Efficient Bloom filters for OCaml☆36Updated 3 years ago
- runtime library and code-generator for BARE (https://baremessages.org/)☆23Updated 6 months ago
- a MirageOS OAuth2 authorization server for Etsy authentication☆18Updated 2 years ago
- An implementation of the Transmission Control Protocol in OCaml☆28Updated 5 months ago
- Painless micro-benchmarks☆20Updated 5 years ago
- Memory-efficient data structures in OCaml☆37Updated 3 years ago
- Bindings to the various POSIX APIs☆27Updated 3 weeks ago
- Efficient caching library for OCaml☆33Updated last year
- OCaml Ctypes stubs generation notes☆19Updated 5 years ago
- line based patch, input is a unified diff☆23Updated 2 months ago
- Infrastructure to collect metrics from OCaml applications.☆45Updated last year
- A simple implementation of Discrete Interval Encoding Trees☆28Updated 2 years ago
- A high-performance server for Irmin☆24Updated 2 years ago
- Lower-Kinded Optics for OCaml☆21Updated 2 years ago
- Declarative events and signals for OCaml☆50Updated 10 months ago
- A unikernel as an IRC client☆25Updated last year
- Composable concurrency primitives with OCaml effects handlers (unreleased)☆43Updated 4 months ago