Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/gergoerdi/icfp-bingo-2017-idris
ICFP Bingo 2017 (Idris edition)
https://github.com/gergoerdi/icfp-bingo-2017-idris
bingo-game idris single-page-app webapp
Last synced: about 1 month ago
JSON representation
ICFP Bingo 2017 (Idris edition)
- Host: GitHub
- URL: https://github.com/gergoerdi/icfp-bingo-2017-idris
- Owner: gergoerdi
- Created: 2017-10-11T11:00:25.000Z (about 7 years ago)
- Default Branch: master
- Last Pushed: 2019-08-22T14:48:59.000Z (over 5 years ago)
- Last Synced: 2023-04-22T16:46:49.365Z (over 1 year ago)
- Topics: bingo-game, idris, single-page-app, webapp
- Language: Idris
- Size: 25.4 KB
- Stars: 31
- Watchers: 4
- Forks: 1
- Open Issues: 0