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•57•28•5•Updated May 22, 2024May 22, 2024

    • concat

      Public
      Compiling to Categories
      Haskell
      •
      Other
      •50•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•29•18•4•Updated Dec 15, 2023Dec 15, 2023