Institute for Foundational Research on Data (@imfd)
Guthub

imfd

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    66
  • Global Org. Rank 69,259 (Top 23 %)
  • Registered over 5 years ago
  • Most used languages
    Coq     50.0 %
    HTML
         50.0 %
  • Location πŸ‡¨πŸ‡± Chile
  • Country Total Rank 379
  • Country Ranking
    Coq     2
    HTML
         127

Top repositories

1

awesome-data-chile

Lista curada de datasets pΓΊblicos sobre Chile.
44
star
2

GraphCoQL

Coq
16
star
3

notas-blog

HTML
6
star