Pinned Loading

1. typelevel/cats typelevel/cats Public

   Lightweight, modular, and extensible library for functional programming.

   Scala 5.4k 1.2k

2. typelevel/scalacheck typelevel/scalacheck Public

   Property-based testing for Scala

   Scala 2k 400

3. DefinitelyTyped/DefinitelyTyped DefinitelyTyped/DefinitelyTyped Public

   The repository for high quality TypeScript type definitions.

   TypeScript 50.8k 30.5k

4. CakeML/cakeml CakeML/cakeml Public

   CakeML: A Verified Implementation of ML

   Standard ML 1.1k 92

5. rems-project/lem rems-project/lem Public

   Lem semantic definition language

   OCaml 149 18

6. fizzbuzz-k8s fizzbuzz-k8s Public

   FizzBuzz on k8s using ingress rules, because why not?

   Shell 17