QuentinDuval/IdrisPipes QuentinDuval/IdrisPipes

  • Stars
    star
    37
  • Rank 720,807 (Top 15 %)
  • Language Idris
  • License
    BSD 3-Clause "New...
  • Created about 7 years ago
  • Updated almost 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
QuentinDuval/IdrisPipes
github

QuentinDuval

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

IdrisReducers

Transducers for Idris: a library for composable algorithmic transformation.
Idris
32
star
2

HaskellTrainReservationKata

Haskell
17
star
3

tiny_rand

C++
8
star
4

tictactoe

Clojure
8
star
5

IdrisBowlingKata

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

triboard

Triboard game
Clojure
5
star
7

quentinduval.github.io

HTML
4
star
8

MLIntro

Jupyter Notebook
4
star
9

HammerspoonExample

Lua
3
star
10

IdrisExperiments

Idris
3
star
11

Clocks

Elixir
3
star
12

HaskellExperiments

Haskell
3
star
13

TicTacToeDevoxx

CSS
2
star
14

AlgoHaskell

A collection of algorithms implemented in Haskell
Haskell
2
star
15

IdrisTrainReservationKata

Idris
2
star
16

HaskellMeetup-2017-04-27

Haskell
2
star
17

PythonExperiments

Jupyter Notebook
2
star
18

ClojureMeetup-2017-05-17

2
star
19

FinancialProduct

Haskell
1
star
20

algorithms-clj

Algorithms implemented in Clojure
Clojure
1
star
21

ElmTests

HTML
1
star
22

HaskellInterpreter

Haskell
1
star
23

GeoHash

Python
1
star
24

interval-training

JavaScript
1
star
25

SpringBootExperiments

Java
1
star
26

CppLenses

C++
1
star
27

ConcurrencyAccount

Haskell implementations of concurrent bank accounts
Haskell
1
star
28

TinyURL

Implementation of TinyURL with Zookeeper, Redis and Postgres
Python
1
star