GeezerVison — con-kitty

Home|About|Gaming cabinet|Archives|How it works|Starter sites

GeezerVison is showing github.com — con-kitty

Pinned Loading

categorifier categorifier Public

Interpret Haskell programs into any cartesian closed category.

Haskell 70 3
categorifier-c categorifier-c Public

Haskell to C compiler via Categorifier

Haskell 39 2

Repositories

Loading

Type

All Public Sources Forks Archived Mirrors Templates

Language

All Haskell

Sort

Last updated Name Stars

Showing 3 of 3 repositories

categorifier Public
Interpret Haskell programs into any cartesian closed category.

Uh oh!

There was an error while loading. Please reload this page.

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

Haskell 70 BSD-3-Clause 3 29 4 Updated Nov 5, 2026
concat Public Forked from compiling-to-categories/concat
Compiling to Categories

Uh oh!

There was an error while loading. Please reload this page.

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

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

Uh oh!

There was an error while loading. Please reload this page.

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

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

People

Top languages

Loading…

Uh oh!

There was an error while loading. Please reload this page.

Most used topics

Loading…

Uh oh!

There was an error while loading. Please reload this page.