Projects in Awesome Lists by statebox
A curated list of projects in awesome lists by statebox .
https://github.com/statebox/idris-ct
formally verified category theory library
category-theory formal-proofs formal-verification
Last synced: 17 Jan 2026
https://github.com/statebox/purescript-firestore
A Purescript library to interact with Google Cloud Firestore
Last synced: 14 Jan 2026