QuentinDuval

Quentin Duval's repositories

IdrisPipes

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

Language:IdrisBSD-3-Clause37 50

IdrisReducers

Transducers for Idris: a library for composable algorithmic transformation.

Language:IdrisBSD-3-Clause32 50

HaskellTrainReservationKata

Language:HaskellBSD-3-Clause1600

tiny_rand

Language:C++8 20

IdrisBowlingKata

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

Language:Idris6 30

MLIntro

Language:Jupyter Notebook4 20

quentinduval.github.io

Language:HTML4 30

Clocks

Language:Elixir3 20

HammerspoonExample

Language:Lua3 10

HaskellExperiments

Language:HaskellBSD-3-Clause300

IdrisExperiments

Language:Idris300

ClojureMeetup-2017-05-17

200

HaskellMeetup-2017-04-27

Language:Haskell200

IdrisTrainReservationKata

Language:Idris2 20

PythonExperiments

Language:Jupyter Notebook200

algorithms-clj

Algorithms implemented in Clojure

Language:ClojureEPL-1.0100

CppLenses

Language:C++1 20

ElmTests

Language:HTML1 20

GeoHash

Language:Python1 10

interval-training

Language:JavaScript1 20

SpringBootExperiments

Language:Java1 10

TinyURL

Implementation of TinyURL with Zookeeper, Redis and Postgres

Language:Python100

vissl

VISSL is FAIR's library of extensible, modular and scalable components for SOTA Self-Supervised Learning with images.

Language:Jupyter NotebookMIT1 10

ClassyVision

An end-to-end PyTorch framework for image and video classification

Language:PythonMIT010

d3-cloud

Create word clouds in JavaScript.

Language:JavaScriptNOASSERTION000

fairscale

PyTorch extensions for high performance and large scale training.

Language:PythonNOASSERTION010

GmailClient

Language:Python010

IdrisIntro

Language:Idris000

Reads

000

SocialNetworkJava

Language:Java000