Pinned Loading

1. NixOS/nixpkgs NixOS/nixpkgs Public

   Nix Packages collection & NixOS

   Nix 23.3k 17.9k

2. nix-darwin/nix-darwin nix-darwin/nix-darwin Public

   Manage your macOS using Nix

   Nix 5k 593

3. tailscale/golink tailscale/golink Public

   A private shortlink service for tailnets

   Go 1.8k 121

4. darkweak/souin darkweak/souin Public

   An HTTP cache system, RFC compliant, compatible with @tyktechnologies, @traefik, @caddyserver, @go-chi, @bnkamalesh, @beego, @devfeel, @labstack, @gofiber, @go-goyave, @go-kratos, @gin-gonic, @road…

   Go 931 68

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

   Modern scientific computing for OCaml

   OCaml 347 48

6. Gbury/dolmen Gbury/dolmen Public

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

   OCaml 88 21