Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/gitpod-samples/template-agda
An Agda template, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.
https://github.com/gitpod-samples/template-agda
agda gitpod
Last synced: about 2 months ago
JSON representation
An Agda template, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.
- Host: GitHub
- URL: https://github.com/gitpod-samples/template-agda
- Owner: gitpod-samples
- License: mit
- Created: 2021-12-13T03:01:34.000Z (about 3 years ago)
- Default Branch: main
- Last Pushed: 2021-12-13T03:15:07.000Z (about 3 years ago)
- Last Synced: 2024-04-28T06:40:52.006Z (9 months ago)
- Topics: agda, gitpod
- Language: Agda
- Homepage:
- Size: 4.88 KB
- Stars: 8
- Watchers: 3
- Forks: 1
- Open Issues: 0