Denis Carnier (@decrn)
github

decrn

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    4
  • Global Rank 1,611,161 (Top 56 %)
  • Followers 17
  • Following 50
  • Registered about 9 years ago
  • Most used languages
    Coq     33.3 %
    TypeScript
         33.3 %
    OCaml
         33.3 %
  • Location 🇧🇪 Belgium
  • Country Total Rank 5,493
  • Country Ranking
    Coq     4
    OCaml
         15
    TypeScript
         498

Top repositories

1

localsurvey

📊📄 Simple serverless surveys
TypeScript
3
star
2

nanopass-ocaml

OCaml
1
star
3

tilogics

Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.
Coq
1
star