chrilves/elm-io chrilves/elm-io

  • Stars
    star
    37
  • Rank 720,807 (Top 15 %)
  • Language
    Elm
  • License
    MIT License
  • Created almost 7 years ago
  • Updated about 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
chrilves/elm-io
github

chrilves

Reviews

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

Repository Details

Pure IO like monad

More Repositories

1

raffiot.py

Robust And Fast Functional IO Toolkit
Python
15
star
2

gadt.scala

Generalized Algebraic Data Types example in Scala
Scala
5
star
3

f-algebra-talk

Présentation F-Algèbres et F-CoAlgèbres
Scala
4
star
4

big4-tutorial

Tutorial on programming with Dependent Types in Idris, Coq, Agda and FStar using Category Theory as use case.
Coq
4
star
5

psug-handson-2016-3

Support pour la session Hands On du meetup du Paris Scala User Group du 31 mars 2016
Scala
3
star
6

slimetrail.scalajs

Slimetrail game in ScalaJS (http://www.di.fc.ul.pt/~jpn/gv/slimetrail.htm)
Scala
3
star
7

typefun

Type-level functional library in scala
Scala
2
star
8

kuzh

Questions/Réponses Anonymes
TypeScript
2
star
9

chrilves.github.io

HTML
1
star
10

auto-batch

Automatic Batching of API calls Scala Library
Scala
1
star
11

sbt-harden-scalac

A tiny SBT plugin to make scalac brutal and merciless
Scala
1
star
12

Gadts.hx

Generalized Algebraic Data Types examples in Haxe
Haxe
1
star