TDacik/RacerF

Frama-C plugins for deadlock and data race detection

GitHub repository with 15 stars and 2 forks.

Language: OCaml

Topics: data-race-detection, deadlock-detection, frama-c, static-analysis

Open provider repository

Latest metric snapshot

2026-11-15: 15 stars and 2 forks.

Trending in OCaml

  1. 1. ocaml-community/sedlex

    An OCaml lexer generator for Unicode

    GitHub repository with 267 stars and 43 forks.

    Trending score: 0.00; stars gained: +0; forks gained: +0.

    Language: OCaml