Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

https://github.com/phadej/dec

Last synced: 2 months ago
JSON representation

Decidable propositions

Host: GitHub
URL: https://github.com/phadej/dec
Owner: phadej
License: bsd-3-clause
Created: 2022-08-21T10:48:10.000Z (over 2 years ago)
Default Branch: master
Last Pushed: 2024-05-17T15:33:34.000Z (8 months ago)
Last Synced: 2024-10-11T23:53:20.125Z (3 months ago)
Language: Haskell
Size: 15.6 KB
Stars: 4
Watchers: 2
Forks: 3
Open Issues: 1
Metadata Files:
- Changelog: ChangeLog.md
- Contributing: CONTRIBUTING.md
- License: LICENSE