con-kitty

WARNING: THIS SITE IS A MIRROR OF GITHUB.COM / IT CANNOT LOGIN OR REGISTER ACCOUNTS / THE CONTENTS ARE PROVIDED AS-IS / THIS SITE ASSUMES NO RESPONSIBILITY FOR ANY DISPLAYED CONTENT OR LINKS / IF YOU FOUND SOMETHING MAY NOT GOOD FOR EVERYONE, CONTACT ADMIN AT ilovescratch@foxmail.com

categorifier Public

categorifier-c Public

categorifier Public
Interpret Haskell programs into any cartesian closed category.

con-kitty/categorifier’s past year of commit activity

Haskell 68 BSD-3-Clause 2 29 5 Updated Dec 3, 2025
concat Public Forked from compiling-to-categories/concat
Compiling to Categories

con-kitty/concat’s past year of commit activity

Haskell 3 51 0 5 Updated Jan 29, 2024
categorifier-c Public
Haskell to C compiler via Categorifier

con-kitty/categorifier-c’s past year of commit activity

Haskell 39 BSD-3-Clause 3 19 4 Updated Dec 15, 2023

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

con-kitty

Pinned Loading

Repositories

Uh oh!

Uh oh!

Uh oh!

People

Top languages

Uh oh!

Most used topics

Uh oh!