Discover @QuentinDuval Open Source projects

Quentin Duval (@QuentinDuval)

QuentinDuval

Stars
158
Global Rank 147,861 (Top 6 %)
Followers 70
Following 29
Registered over 10 years ago
Most used languages

Haskell
25.0 %

Idris 17.9 %

Clojure
10.7 %

C++
7.1 %

Python
7.1 %

HTML
7.1 %

Jupyter Notebook
7.1 %

CSS
3.6 %

JavaScript
3.6 %

Elixir
3.6 %

Java
3.6 %

Lua
3.6 %
Location 🇨🇦 Canada
Country Total Rank 4,049
Country Ranking

Idris 1

Haskell
46

Clojure
66

Elixir
201

Lua
499

Jupyter Notebook
1,567

C++
1,576

HTML
1,802

CSS
1,909

Java
9,049

IdrisPipes

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

IdrisReducers

Transducers for Idris: a library for composable algorithmic transformation.

HaskellTrainReservationKata

tiny_rand

tictactoe

IdrisBowlingKata

A type safety challenge in Idris: encoding the rules of Bowling inside the type system

triboard

quentinduval.github.io

MLIntro

Jupyter Notebook

HammerspoonExample

IdrisExperiments

Clocks

HaskellExperiments

TicTacToeDevoxx

AlgoHaskell

A collection of algorithms implemented in Haskell

IdrisTrainReservationKata

HaskellMeetup-2017-04-27

PythonExperiments

Jupyter Notebook

ClojureMeetup-2017-05-17

FinancialProduct

algorithms-clj

Algorithms implemented in Clojure

ElmTests

HaskellInterpreter

GeoHash

interval-training

SpringBootExperiments

CppLenses

ConcurrencyAccount

Haskell implementations of concurrent bank accounts

TinyURL

Implementation of TinyURL with Zookeeper, Redis and Postgres