ocaml-multicore / ocaml-tsan
Race detection in OCaml using the ThreadSanitizer runtime analysis.
☆20Updated last month
Alternatives and similar repositories for ocaml-tsan:
Users that are interested in ocaml-tsan are comparing it to the libraries listed below
- Try OCaml Effects and Eio in your browser☆20Updated 2 years ago
- OCaml behind the scenes: exceptions☆30Updated last year
- Lock-free Sets and Maps for OCaml multicore☆32Updated 2 years ago
- ☆14Updated last year
- A Framework for building Batched Concurrent Services☆21Updated 5 months ago
- An implementation of the Transmission Control Protocol in OCaml☆29Updated this week
- A library to write web server and site☆23Updated last month
- Applying LRGrep to OCaml frontend☆12Updated this week
- Cpu topology and affinity for ocaml-multicore☆49Updated 8 months ago
- ☆17Updated this week
- Port of HTTP/AF & H2 with Mirage and mimic☆30Updated last month
- Alternative interpreter for OCaml format strings☆15Updated last year
- Memory-efficient data structures in OCaml☆37Updated 3 years ago
- Snóke is a good old Snake game with new ideas☆21Updated 2 years ago
- Use Lwt libraries from within Eio☆33Updated 11 months ago
- Dependency graphs for OCaml modules, libraries and packages☆38Updated 8 months ago
- Not a filesystem for Mirage block devices☆24Updated 6 months ago
- Lockless Multiple Producer Single Consumer Queue for ocaml-multicore☆18Updated 3 years ago
- A unikernel as an IRC client☆25Updated last year
- Efficient caching library for OCaml☆33Updated last year
- Dissect OCaml compiled programs, and weight their content☆24Updated 2 years ago
- add/remove for AVL, red-black, 2-3, 2-3-4 trees using GADTs☆16Updated last year
- Convert file extensions to MIME types☆23Updated last year
- Vendor all the things for a quick way to get up and running with Multicore OCaml!☆13Updated 2 years ago
- A program launcher for Wayland☆14Updated last year
- thread-local storage for OCaml☆17Updated 2 months ago
- Declarative JSON data manipulation for OCaml☆19Updated last month
- A web interface for albatross☆19Updated this week
- An HTTP client for accessing various carbon intensity APIs☆25Updated 4 months ago
- Exploring the corners of OCaml type system☆18Updated 3 years ago