topcoders latam

Juan Bono

62.4 score global #60 en 🇦🇷 Argentina
#293 en LATAM

Impacto 35 · 42 estrellas

Popularidad 56 · 249 seguidores

Actividad 94 · 2.5k commits/año

Colaboración 87 · 406 PRs mergeados

Repos con más estrellas

★ 7 verified-fp-agda Functional Verified Programming in Agda - Exercises ★ 4 tapl-haskell Implementacion de los lenguajes explicados en Types and Programming Languages ★ 4 type-driven-development-with-idris Ejercicios del libro Type Driven Development with Idris ★ 3 criptografia Criptografia - UTN FRBA 2017 ★ 2 apollo-reason-react ★ 2 concrete-semantics-exercises Learning Isabelle/HOL