Skip to content

@con-kitty con-kitty

Change the repository type filter

All

    Repositories list

    3 repositories

    • categorifier

      Public
      Interpret Haskell programs into any cartesian closed category.
      pluginhaskellcategory-theory
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •2•63•29•5•Updated May 16, 2025May 16, 2025

    • concat

      Public
      Compiling to Categories
      Haskell
      •
      Other
      •51•3•0•5•Updated Jan 29, 2024Jan 29, 2024

    • categorifier-c

      Public
      Haskell to C compiler via Categorifier
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •3•35•19•4•Updated Dec 15, 2023Dec 15, 2023