Pinned Loading

1. inc inc Public

   the second largest nix monorepo

   Nix 9

2. osync osync Public

   osu!lazer maps/scores/settings bidirectional diff/export/sync tool

   F# 5

3. rfm rfm Public

   router flow monitor

   Go 47

4. bgpkit/monocle bgpkit/monocle Public

   🧐 See through all BGP data with a monocle.

   Rust 172 10

5. raven-ml/raven raven-ml/raven Public

   Modern scientific computing for OCaml

   OCaml 374 51

6. Gbury/dolmen Gbury/dolmen Public

   Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction

   OCaml 89 21