Skip to content
View lyrm's full-sized avatar
24 followers · 5 following
  • Tarides
  • Paris

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: StarstruckAchievement: QuickdrawAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: StarstruckAchievement: QuickdrawAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Block or report lyrm

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

Showing results

lyrm / bobkonf2026

Bobkonf 2026 tutorial on multicore safety in OCaml

HTML 4 Updated Mar 13, 2026

ocaml-multicore / saturn

Lock-free data structures for multicore OCaml

OCaml 267 32 Updated May 23, 2025

ocaml-multicore / reagents

Reagents for multicore OCaml

OCaml 127 6 Updated May 18, 2023

mirage / alcotest

A lightweight and colourful test framework

OCaml 509 91 Updated Dec 18, 2025

mirage / ocaml-cohttp

An OCaml library for HTTP clients and servers using Lwt or Async

OCaml 775 182 Updated Apr 17, 2026

formal-land / rocq-of-ocaml

Formal verification for OCaml, with Rocq

OCaml 276 20 Updated May 18, 2026

ocaml-multicore / awesome-multicore-ocaml

A collection of libraries, experiments and ideas relating to OCaml 5 (multicore + effects)

161 2 Updated Aug 30, 2023