- Atlanta, GA
- https://tokinanpa.dev/
-
The only programmer in existence
- Joined on
2024-07-21
Small ratio type library for Idris2
| GitHub Mirror: https://github.com/kiana-S/idris2-ratio
Updated 2024-07-21 07:27:10 -04:00
Profunctor optics/lenses for Idris2
| GitHub Mirror: https://github.com/kiana-S/idris2-lens
Updated 2024-07-21 07:17:38 -04:00
Linear algebra and data manipulation library for Idris2
| GitHub Mirror: https://github.com/kiana-S/numidr
Updated 2024-07-21 07:16:21 -04:00
Profunctors in Idris2
| GitHub Mirror: https://github.com/kiana-S/idris2-profunctors
Updated 2024-07-21 07:12:49 -04:00
Updated 2024-07-21 06:46:18 -04:00