Quentin Duval

icon indicating a website link https://quentinduval.github.io/

icon location Montreal icon location Passionate developer, interested in Functional Programming and Artificial Intelligence. You can find my blog at: http://deque.blog.

Results 2 repositories owned by Quentin Duval

IdrisPipes

35
Stars
3
Forks
Watchers

A library for composable and effectful production, transformation and consumption of streams of data in Idris

verified publisher icon QuentinDuval

IdrisReducers

31
Stars
0
Forks
Watchers

Transducers for Idris: a library for composable algorithmic transformation.

verified publisher icon QuentinDuval