Recent additions

2025-11-06T19:59:31Z  QBayLogic  clash-lib-1.8.4
2025-11-06T19:59:28Z  QBayLogic  clash-prelude-hedgehog-1.8.4
2025-11-06T19:59:23Z  QBayLogic  clash-prelude-1.8.4
2025-11-06T19:25:02Z  PatrickBrisbin  freckle-http-0.3.0.0
2025-11-06T10:02:21Z  JohannesWaldmann  ersatz-viz-0
2025-11-06T07:15:47Z  aschwerdfeger_galois  rme-what4-0.1.1
2025-11-06T07:15:27Z  aschwerdfeger_galois  rme-0.1.1
2025-11-06T04:00:29Z  YoshikuniJujo  gpu-vulkan-middle-0.1.0.78
2025-11-06T01:57:54Z  JonathanKnowles  roc-id-0.2.0.6
2025-11-05T18:46:06Z  ClintAdams  cabal-debian-5.3.0
2025-11-05T18:25:40Z  AndreasAbel  java-adt-1.0.20251105
2025-11-05T16:12:44Z  aschwerdfeger_galois  what4-1.7.1.0
2025-11-05T15:06:56Z  eiko  monad-effect-logging-0.1.0.0
2025-11-05T15:01:21Z  eiko  monad-effect-0.2.1.0
2025-11-05T14:56:38Z  AndreasAbel  LR-demo-0.0.20251105
2025-11-05T09:40:54Z  MichelBoucey  cayley-client-0.4.19.5
2025-11-05T09:12:51Z  maxonfjvipon  phino-0.0.0.46
2025-11-05T08:53:10Z  NickolayKudasov  rzk-0.7.7
2025-11-05T00:21:20Z  aschwerdfeger_galois  parameterized-utils-2.1.11.0
2025-11-04T19:45:26Z  LennartAugustsson  ghc-compat-0.4.0.0
Showing 8441 to 8460 of 155417 entries
Recent revisions