Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / con-kitty / categorifier

Interpret Haskell programs into any cartesian closed category.

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/con-kitty%2Fcategorifier

Stars: 56
Forks: 2
Open Issues: 32

License: bsd-3-clause
Language: Haskell
Repo Size: 758 KB
Dependencies: 8

Created: over 2 years ago
Updated: about 2 months ago
Last pushed: 3 months ago
Last synced: 29 days ago

Topics: category-theory, haskell, plugin

Files

Loading...

Readme

Loading...

Dependencies

.github/workflows/ci.yml actions

actions/cache v2 composite
actions/checkout v3 composite
actions/checkout v2 composite
cachix/install-nix-action v16 composite
haskell/actions/hlint-run v2 composite
haskell/actions/hlint-setup v2 composite
haskell/actions/setup v1 composite
mrkkrp/ormolu-action v5 composite

category/categorifier-category.cabal hackage

client/categorifier-client.cabal hackage

common/categorifier-common.cabal hackage

duoids/categorifier-duoids.cabal hackage

ghc/categorifier-ghc.cabal hackage

hedgehog/categorifier-hedgehog.cabal hackage

integrations/adjunctions/integration/categorifier-adjunctions-integration.cabal hackage

integrations/adjunctions/integration-test/categorifier-adjunctions-integration-test.cabal hackage

integrations/categories/integration/categorifier-categories-integration.cabal hackage

integrations/categories/integration-test/categorifier-categories-integration-test.cabal hackage

integrations/concat/examples/categorifier-concat-examples.cabal hackage

integrations/concat/integration/categorifier-concat-integration.cabal hackage

integrations/concat/integration-test/categorifier-concat-integration-test.cabal hackage

integrations/concat-extensions/category/categorifier-concat-extensions-category.cabal hackage

integrations/concat-extensions/integration/categorifier-concat-extensions-integration.cabal hackage

integrations/concat-extensions/integration-test/categorifier-concat-extensions-integration-test.cabal hackage

integrations/fin/integration/categorifier-fin-integration.cabal hackage

integrations/linear-base/integration/categorifier-linear-base-integration.cabal hackage

integrations/linear-base/integration-test/categorifier-linear-base-integration-test.cabal hackage

integrations/unconcat/category/categorifier-unconcat-category.cabal hackage

integrations/unconcat/integration/categorifier-unconcat-integration.cabal hackage

integrations/unconcat/integration-test/categorifier-unconcat-integration-test.cabal hackage

integrations/vec/integration/categorifier-vec-integration.cabal hackage

integrations/vec/integration-test/categorifier-vec-integration-test.cabal hackage

plugin/categorifier-plugin.cabal hackage

plugin-test/categorifier-plugin-test.cabal hackage

th/categorifier-th.cabal hackage