QuentinDuval/IdrisExperiments QuentinDuval/IdrisExperiments

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language Idris
  • Created over 7 years ago
  • Updated about 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
QuentinDuval/IdrisExperiments
github

QuentinDuval

Reviews

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

Repository Details

More Repositories

1

IdrisPipes

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

IdrisReducers

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

HaskellTrainReservationKata

Haskell
17
star
4

tiny_rand

C++
8
star
5

tictactoe

Clojure
8
star
6

IdrisBowlingKata

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

triboard

Triboard game
Clojure
5
star
8

quentinduval.github.io

HTML
4
star
9

MLIntro

Jupyter Notebook
4
star
10

HammerspoonExample

Lua
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