Nicolas Osborne (@n-osborne)
github

n-osborne

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    9
  • Global Rank 1,034,169 (Top 36 %)
  • Followers 33
  • Following 58
  • Registered almost 7 years ago
  • Most used languages
    OCaml
         60.0 %
    Agda     40.0 %
  • Location 🇫🇷 France
  • Country Total Rank 20,361
  • Country Ranking
    Agda     7
    OCaml
         152

Top repositories

1

ppx_odoc_of_gospel

A ppx to display Gospel specifications in Odoc generated documentation.
OCaml
3
star
2

generators

Experimentation about data generators
OCaml
2
star
3

genexpe

OCaml
1
star
4

AgdaDataStructures

Agda
1
star
5

agda-complexity

Agda
1
star