Pinned Loading

1. LeanTest LeanTest Public

   lean4 unit testing framework

   Lean 3

2. diakonos diakonos Public

   service manager in rust

   Rust

3. hymn hymn Public

   A type-safe Haskell library for generating MusicXML files through functional composition and music theory

   Haskell

4. bach-ai bach-ai Public

   Python

5. metaxis metaxis Public

   SQL migration in Haskell

   Haskell

6. cascade cascade Public

   Elixir