Thomas Refis (@trefis)
github

trefis

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    12
  • Global Rank 874,315 (Top 31 %)
  • Followers 140
  • Following 9
  • Registered over 15 years ago
  • Most used languages
    OCaml
         66.7 %
    Coq     33.3 %
  • Location ๐Ÿ‡ซ๐Ÿ‡ท France
  • Country Total Rank 17,784
  • Country Ranking
    Coq     50
    OCaml
         127

Top repositories

1

Facade

A small search UI for mopidy
OCaml
8
star
2

deques

TRE: a Coq implementation of Tarjan & Kaplan "Real-Time Deques with Catenation"
Coq
1
star
3

lambda-dumps

1
star
4

existentialism

is a humanism
OCaml
1
star