MarcelineVQ

MarcelineVQ

👤 Developer

2 repositories on SrcLog

View on GitHub
2 Repos
15 Stars
1 Forks
15 Watchers

Repositories (2)

idris2-streaming MarcelineVQ/idris2-streaming Idris

Effectful Streaming for Idris

14
idris2-managed MarcelineVQ/idris2-managed Idris

Automatic resource management for a common use-pattern.

1