PrototypeCommon
channable/dbcritic
No description.
Archived: this repository is read-only
- Owner
- channable (organization)
- Stars
- Stars: 180
- Forks
- Forks: 2
- Language
- Idris
- License
- BSD-3-Clause
- Created
- 2021
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by channable
All 5 repos by channable- channable/vaultenvStars: 465HaskellAlpha
- channable/opnieuwStars: 301PythonAlpha
- channable/alfred-margaretStars: 193HaskellPrototype
- channable/icepeakStars: 135HaskellPrototype
Nearby in Idris
All Idris repos- idris-community/idris2-lspStars: 205IdrisPrototype
- idris-hackers/idris-demosStars: 195IdrisPrototype
- idris-hackers/idris-koansStars: 181IdrisPrototype
- timjb/quantitiesStars: 164IdrisPrototype
- stefan-hoeck/idris2-packStars: 163IdrisPrototype
- edwinb/TypeDD-SamplesStars: 162IdrisPrototype