Pinned Repositories
barco
bootstrap
comentarios
Comment system for the frontend in http://book.realworldhaskell.org/read/
curso_prob
Notas de aula para o curso Probabilidade I
feed2twister
Simple cron script to post RSS/ATOM items to Twister
mm0
Metamath Zero specification language
mm0-book
A book on logic and set theory based on mm0 (https://github.com/digama0/mm0)
roteiro_video_livro_aberto
Texto para o roteiro do livro aberto
rss2twister
shipped
augustoteixeira's Repositories
augustoteixeira/curso_prob
Notas de aula para o curso Probabilidade I
augustoteixeira/barco
augustoteixeira/comentarios
Comment system for the frontend in http://book.realworldhaskell.org/read/
augustoteixeira/feed2twister
Simple cron script to post RSS/ATOM items to Twister
augustoteixeira/mm0
Metamath Zero specification language
augustoteixeira/mm0-book
A book on logic and set theory based on mm0 (https://github.com/digama0/mm0)
augustoteixeira/roteiro_video_livro_aberto
Texto para o roteiro do livro aberto
augustoteixeira/rss2twister
augustoteixeira/test_dw_push_1