Gabriel Claramunt (@gclaramunt)
github

gclaramunt

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    28
  • Global Rank 517,529 (Top 18 %)
  • Followers 32
  • Following 2
  • Registered almost 16 years ago
  • Most used languages
    Scala
         66.7 %
    Coq     16.7 %
    Haskell
         16.7 %
  • Location πŸ‡ΊπŸ‡Ύ Uruguay
  • Country Total Rank 240
  • Country Ranking
    Coq     1
    Scala
         1
    Haskell
         13

Top repositories

1

scala-reggen

Generic programming experiment in Scala
Scala
19
star
2

CoqWorkshop

Coq
5
star
3

embedded-http-server

Simple embedded akka http server for component testing
Scala
1
star
4

ed-haskell

GNU ed subset in Haskell (written as deliverable of an intro to FP course)
Haskell
1
star
5

DiskStore

disk based binary key value store
Scala
1
star
6

off-heap-core

Off the heap memory
Scala
1
star