Pinned Loading

1. Pythas Pythas Public

   Import Haskell modules in Python as if they were native modules

   Python 12 1

2. cstructs-in-haskell cstructs-in-haskell Public

   C-Struct Types for Haskell

   Haskell 3

3. libredaum libredaum Public

   Full stack communication protocol for Daum fitness equipment.

   Java

4. Idris2-Adjunctions Idris2-Adjunctions Public

   Adjunction library for Idris2 aimed at a comprehensive port of Edward Kmett's Haskell-adjunctions.

   Idris

5. dotfiles dotfiles Public

   Terrible taste is just a git clone away

   Nix 4

6. Idris2-Profunctors Idris2-Profunctors Public

   Forked from clayrat/Idris-Profunctors

   A small profunctor library for idris2

   Idris