https://github.com/brainrake/responsible
Idris 2 HTTP Api Server
https://github.com/brainrake/responsible
Last synced: 3 months ago
JSON representation
Idris 2 HTTP Api Server
- Host: GitHub
- URL: https://github.com/brainrake/responsible
- Owner: brainrake
- Created: 2021-03-22T18:36:56.000Z (about 5 years ago)
- Default Branch: main
- Last Pushed: 2022-03-17T08:52:51.000Z (about 4 years ago)
- Last Synced: 2025-02-08T09:13:50.700Z (about 1 year ago)
- Language: Idris
- Size: 37.1 KB
- Stars: 15
- Watchers: 5
- Forks: 1
- Open Issues: 0