https://github.com/purescript/registry-dev
Development work related to the PureScript Registry
https://github.com/purescript/registry-dev
Last synced: 20 days ago
JSON representation
Development work related to the PureScript Registry
- Host: GitHub
- URL: https://github.com/purescript/registry-dev
- Owner: purescript
- Created: 2020-02-19T16:49:39.000Z (about 6 years ago)
- Default Branch: master
- Last Pushed: 2025-06-13T08:56:39.000Z (8 months ago)
- Last Synced: 2025-06-18T13:30:11.748Z (8 months ago)
- Language: PureScript
- Homepage: https://github.com/purescript/registry
- Size: 2.86 MB
- Stars: 96
- Watchers: 12
- Forks: 79
- Open Issues: 31
-
Metadata Files:
- Readme: README.md
- Contributing: CONTRIBUTING.md
Awesome Lists containing this project
README
# PureScript Registry Development
[](https://github.com/purescript/registry-dev/actions/workflows/deploy.yml)
This repository hosts the code for the PureScript Registry and its affiliated projects. If you are new to the registry and are interested in its development, then the following should be helpful:
- The [specification](./SPEC.md) describes what the registry is, how it works, and its fundamental types and operations.
- The [contributor guide](./CONTRIBUTING.md) describes how to get started working on the registry repository.
If you are interested in the products of the registry, then you should see:
- The [registry](https://github.com/purescript/registry) and [registry-index](https://github.com/purescript/registry-index) repositories host metadata about packages and is the main user-facing part of the registry.
- The [registry server](https://registry.purescript.org) hosts the registry API for publishing packages.
- The [registry storage backend](https://packages.registry.purescript.org) hosts package tarballs so they can be downloaded by package managers.
Package documentation is [hosted on Pursuit](https://pursuit.purescript.org).