Christophe Calvès (@chrilves)
github

chrilves

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    79
  • Global Rank 246,367 (Top 9 %)
  • Followers 26
  • Following 20
  • Registered almost 10 years ago
  • Most used languages
    Scala
         53.8 %
    Elm
         7.7 %
    TypeScript
         7.7 %
    Coq     7.7 %
    Haxe     7.7 %
    HTML
         7.7 %
    Python
         7.7 %
  • Location 🇫🇷 France
  • Country Total Rank 5,986
  • Country Ranking
    Elm
         13
    Coq     33
    Haxe     67
    Scala
         99
    Python
         2,888
    TypeScript
         3,304
    HTML
         5,447

Top repositories

1

elm-io

Pure IO like monad
Elm
37
star
2

raffiot.py

Robust And Fast Functional IO Toolkit
Python
15
star
3

gadt.scala

Generalized Algebraic Data Types example in Scala
Scala
5
star
4

f-algebra-talk

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

big4-tutorial

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

psug-handson-2016-3

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

slimetrail.scalajs

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

typefun

Type-level functional library in scala
Scala
2
star
9

kuzh

Questions/Réponses Anonymes
TypeScript
2
star
10

chrilves.github.io

HTML
1
star
11

auto-batch

Automatic Batching of API calls Scala Library
Scala
1
star
12

sbt-harden-scalac

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

Gadts.hx

Generalized Algebraic Data Types examples in Haxe
Haxe
1
star