Discover @manu-msr Open Source projects

Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

Julia

OCaml

Zig

Go

HTML

CSS

Groovy

Erlang

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

Nix

PHP

Racket

PowerShell

Ruby

TypeScript

F#

Scala

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇨🇻 Cabo Verde

🇹🇲 Turkmenistan

🇬🇧 United Kingdom

🇲🇪 Montenegro

🇬🇱 Greenland

🇬🇷 Greece

🇧🇧 Barbados

🇳🇪 Niger

All Countries Compare Countries

Manuel Soto Romero (@manu-msr)

manu-msr

Stars
20
Global Rank 640,821 (Top 23 %)
Followers 127
Following 47
Registered about 9 years ago
Most used languages

Jupyter Notebook
42.9 %

JavaScript
14.3 %

Shell
14.3 %

Coq 14.3 %

Haskell
14.3 %
Location 🇲🇽 Mexico
Country Total Rank 2,236
Country Ranking

Coq 1

Haskell
7

Jupyter Notebook
104

Shell
486

JavaScript
3,848

bedu_ml

Repositorio para el curso de Machine Learning en BEDU.

Jupyter Notebook

mcc_ds_proyecto

Proyecto para el Seminario de Herramientas para Ciencia de Datos.

Jupyter Notebook

unam_ldp_notas

ibd012020

Repositorio para el curso de Introducción a Bases de Datos del grupo DBT012020.

coq

Repositorio de Verificación Formal con Coq.

bedu_ibd

Repositorio del curso de Introducción a Bases de Datos.

beduadp

Repositorio del curso de Análisis de Datos con Pyton

Jupyter Notebook

ediscretas

DPV

Prácticas y Prototipos del curso de Diseño y Programación de Videojuegos