@gdefacci
github

gdefacci

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    8
  • Global Rank 1,106,139 (Top 39 %)
  • Followers 11
  • Following 1
  • Registered over 16 years ago
  • Most used languages
    Scala
         75.0 %
    Idris     25.0 %

Top repositories

1

raz

A scala DSL to create and match URI
Scala
2
star
2

logic

Scala
2
star
3

idris-hlist

Idris
2
star
4

ycourse

Scala
1
star