Ecosyste.ms: Repos

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

GitHub / rzk-lang / rzk

An experimental proof assistant based on a type theory for synthetic ∞-categories.

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Frzk

Stars: 189
Forks: 7
Open Issues: 53

License: None
Language: Haskell
Repo Size: 58.5 MB
Dependencies: 30

Created: over 3 years ago
Updated: 11 days ago
Last pushed: 11 days ago
Last synced: 11 days ago

Topics: category-theory, haskell, homotopy-type-theory, proof-assistant

Files

Loading...

Readme

Loading...

Dependencies

docs/requirements.txt pypi

.github/workflows/build-test.yml actions

actions/cache v2 composite
actions/checkout v3 composite
haskell/actions/setup v1 composite

.github/workflows/ghcjs.yml actions

JamesIves/github-pages-deploy-action v4 composite
actions/checkout v3 composite
nix-community/cache-nix-action v1 composite
nixbuild/nix-quick-install-action v25 composite

.github/workflows/hackage.yml actions

actions/cache v3 composite
actions/checkout v3 composite
haskell-actions/hackage-publish v1 composite

.github/workflows/haddock.yml actions

JamesIves/github-pages-deploy-action v4 composite
actions/cache v2 composite
actions/checkout v3 composite
haskell/actions/setup v1 composite

.github/workflows/mkdocs.yml actions

actions/checkout v3 composite
actions/setup-python v4 composite
jaxxstorm/action-install-gh-release v1.10.0 composite

rzk/rzk.cabal hackage

.github/workflows/binaries.yml actions

actions/cache v3 composite
actions/checkout v3 composite
actions/upload-release-asset v1 composite

try-rzk/try-rzk.cabal hackage

try-rzk/cabal.config hackage