joaopizani/piware-agda
This repository has moved to https://gitlab.com/joaopizani/piware-agda
Developer Profile
joaopizani
Discovered public repositories for joaopizani in the GitHub catalog.
joaopizani/env.xcompose
This repository has moved to https://gitlab.com/joaopizani/env.xcompose
joaopizani/env.ltoggle
This repository has moved to https://gitlab.com/joaopizani/env.ltoggle
joaopizani/paucasedmatura-src
This repository has moved to https://gitlab.com/joaopizani/paucasedmatura-src
joaopizani/infomtpt-verified-compilers
This repository has moved to https://gitlab.com/joaopizani/infomtpt-verified-compilers
joaopizani/piware
This repository has moved to https://gitlab.com/joaopizani/piware
joaopizani/env.multi-haskell
This repository has moved to https://gitlab.com/joaopizani/env.multi-haskell
joaopizani/env.kindle3wifi-ssh
This repository has moved to https://gitlab.com/joaopizani/env.kindle3wifi-ssh
joaopizani/env.weechat-irc-im
This repository has moved to https://gitlab.com/joaopizani/env.weechat-irc-im
joaopizani/env.mpd-ncmpcpp
This repository has moved to https://gitlab.com/joaopizani/env.mpd-ncmpcpp
joaopizani/coquet-2013
This repository has moved to https://gitlab.com/joaopizani/coquet-2013
joaopizani/functional-hardware-survey
This repository has moved to https://gitlab.com/joaopizani/functional-hardware-survey
joaopizani/env.local-mail-mutt
This repository has moved to https://gitlab.com/joaopizani/env.local-mail-mutt
joaopizani/SoftwareFoundations-Coq-Answers
This repository has moved to https://gitlab.com/joaopizani/SoftwareFoundations-Coq-Answers
joaopizani/vim-haskellConceal
This repository has moved to https://gitlab.com/joaopizani/vim-haskellConceal
joaopizani/env.rtorrentrc
This repository has moved to https://gitlab.com/joaopizani/env.rtorrentrc
joaopizani/haskell-ants-edsl-afp2012
This repository has moved to https://gitlab.com/joaopizani/haskell-ants-edsl-afp2012
joaopizani/env.modular-hs-vim-ide
This repository has moved to https://gitlab.com/joaopizani/env.modular-hs-vim-ide
joaopizani/env.haskell-vim-cfgs
This repository has moved to https://gitlab.com/joaopizani/env.haskell-vim-cfgs
joaopizani/env.gnu-screen-shared
This repository has moved to https://gitlab.com/joaopizani/env.gnu-screen-shared
joaopizani/env.screenrc-ftw
This repository has moved to https://gitlab.com/joaopizani/env.screenrc-ftw
joaopizani/katas
This repository has moved to https://gitlab.com/joaopizani/katas
joaopizani/avr-utils
This repository has moved to https://gitlab.com/joaopizani/avr-utils
joaopizani/avr-alarm
This repository has moved to https://gitlab.com/joaopizani/avr-alarm
joaopizani/env.modular-xplatform-vim-cfg
This repository has moved to https://gitlab.com/joaopizani/env.modular-xplatform-vim-cfg
joaopizani/multiarch-toolchain-buildscripts
This repository has moved to https://gitlab.com/joaopizani/multiarch-toolchain-buildscripts
joaopizani/avr-wavegen
This repository has moved to https://gitlab.com/joaopizani/avr-wavegen