joaopizani

Now I use GitLab: https://gitlab.com/joaopizani

TU DelftUtrecht - The Netherlands

Pinned Repositories

env.kindle3wifi-ssh
This repository has moved to https://gitlab.com/joaopizani/env.kindle3wifi-ssh
Language:Shell6 3 00
env.modular-xplatform-vim-cfg
This repository has moved to https://gitlab.com/joaopizani/env.modular-xplatform-vim-cfg
Language:HTML6 1 11
env.screenrc-ftw
This repository has moved to https://gitlab.com/joaopizani/env.screenrc-ftw
Language:Shell8 3 01
functional-hardware-survey
This repository has moved to https://gitlab.com/joaopizani/functional-hardware-survey
Language:TeX2 1 360
multiarch-toolchain-buildscripts
This repository has moved to https://gitlab.com/joaopizani/multiarch-toolchain-buildscripts
Language:Shell9 10 017
piware
This repository has moved to https://gitlab.com/joaopizani/piware
Language:TeX3 3 380
piware-agda
This repository has moved to https://gitlab.com/joaopizani/piware-agda
Language:Agda5 5 431

joaopizani's Repositories

joaopizani/multiarch-toolchain-buildscripts
This repository has moved to https://gitlab.com/joaopizani/multiarch-toolchain-buildscripts
Language:Shell9 10 017
joaopizani/env.screenrc-ftw
This repository has moved to https://gitlab.com/joaopizani/env.screenrc-ftw
Language:Shell8 3 01
joaopizani/env.kindle3wifi-ssh
This repository has moved to https://gitlab.com/joaopizani/env.kindle3wifi-ssh
Language:Shell6 3 00
joaopizani/env.modular-xplatform-vim-cfg
This repository has moved to https://gitlab.com/joaopizani/env.modular-xplatform-vim-cfg
Language:HTML6 1 11
joaopizani/piware-agda
This repository has moved to https://gitlab.com/joaopizani/piware-agda
Language:Agda5 5 431
joaopizani/piware
This repository has moved to https://gitlab.com/joaopizani/piware
Language:TeX3 3 380
joaopizani/functional-hardware-survey
This repository has moved to https://gitlab.com/joaopizani/functional-hardware-survey
Language:TeX2 1 360
joaopizani/avr-wavegen
This repository has moved to https://gitlab.com/joaopizani/avr-wavegen
Language:C1 2 7
joaopizani/env.gnu-screen-shared
This repository has moved to https://gitlab.com/joaopizani/env.gnu-screen-shared
Language:Shell1 1 01
joaopizani/env.haskell-vim-cfgs
This repository has moved to https://gitlab.com/joaopizani/env.haskell-vim-cfgs
Language:VimL1 1 0
joaopizani/env.modular-hs-vim-ide
This repository has moved to https://gitlab.com/joaopizani/env.modular-hs-vim-ide
Language:Shell1 1 0
joaopizani/env.rtorrentrc
This repository has moved to https://gitlab.com/joaopizani/env.rtorrentrc
Language:Shell1 1 0
joaopizani/haskell-ants-edsl-afp2012
This repository has moved to https://gitlab.com/joaopizani/haskell-ants-edsl-afp2012
Language:Haskell1 1 0
joaopizani/katas
This repository has moved to https://gitlab.com/joaopizani/katas
Language:Haskell1 1 0
joaopizani/coq-course
Coq course at Chalmers CSE
Language:Coq1 0
joaopizani/coquet-2013
This repository has moved to https://gitlab.com/joaopizani/coquet-2013
Language:Coq1 0
joaopizani/cryfs
Cryptographic filesystem for the cloud
Language:C++1 0
joaopizani/env.haskell-nvim-cfgs
This repository has moved to https://gitlab.com/joaopizani/env.haskell-nvim-cfgs
Language:Vim Script1 0
joaopizani/env.local-mail-mutt
This repository has moved to https://gitlab.com/joaopizani/env.local-mail-mutt
Language:Shell2 02
joaopizani/env.ltoggle
This repository has moved to https://gitlab.com/joaopizani/env.ltoggle
Language:Shell1 0
joaopizani/env.modular-xplatform-nvim-cfg
This repository has moved to https://gitlab.com/joaopizani/env.modular-xplatform-nvim-cfg
Language:HTML1 0
joaopizani/env.mpd-ncmpcpp
This repository has moved to https://gitlab.com/joaopizani/env.mpd-ncmpcpp
Language:Shell1 0
joaopizani/env.multi-haskell
This repository has moved to https://gitlab.com/joaopizani/env.multi-haskell
Language:Shell1 0
joaopizani/env.weechat-irc-im
This repository has moved to https://gitlab.com/joaopizani/env.weechat-irc-im
Language:Shell1 0
joaopizani/env.xcompose
This repository has moved to https://gitlab.com/joaopizani/env.xcompose
Language:Haskell2 0
joaopizani/infomtpt-verified-compilers
This repository has moved to https://gitlab.com/joaopizani/infomtpt-verified-compilers
Language:Agda3 01
joaopizani/paucasedmatura-src
This repository has moved to https://gitlab.com/joaopizani/paucasedmatura-src
Language:Haskell1 0
joaopizani/SoftwareFoundations-Coq-Answers
This repository has moved to https://gitlab.com/joaopizani/SoftwareFoundations-Coq-Answers
Language:Coq1 0
joaopizani/spotify-ripper
Command-line ripper for Spotify, with a workaround for playlist emptying
Language:Python2 0
joaopizani/vim-haskellConceal
This repository has moved to https://gitlab.com/joaopizani/vim-haskellConceal
Language:VimL2 01

joaopizani

Pinned Repositories

env.kindle3wifi-ssh

env.modular-xplatform-vim-cfg

env.screenrc-ftw

functional-hardware-survey

multiarch-toolchain-buildscripts

piware

piware-agda

joaopizani's Repositories

joaopizani/multiarch-toolchain-buildscripts

joaopizani/env.screenrc-ftw

joaopizani/env.kindle3wifi-ssh

joaopizani/env.modular-xplatform-vim-cfg

joaopizani/piware-agda

joaopizani/piware

joaopizani/functional-hardware-survey

joaopizani/avr-wavegen

joaopizani/env.gnu-screen-shared

joaopizani/env.haskell-vim-cfgs

joaopizani/env.modular-hs-vim-ide

joaopizani/env.rtorrentrc

joaopizani/haskell-ants-edsl-afp2012

joaopizani/katas

joaopizani/coq-course

joaopizani/coquet-2013

joaopizani/cryfs

joaopizani/env.haskell-nvim-cfgs

joaopizani/env.local-mail-mutt

joaopizani/env.ltoggle

joaopizani/env.modular-xplatform-nvim-cfg

joaopizani/env.mpd-ncmpcpp

joaopizani/env.multi-haskell

joaopizani/env.weechat-irc-im

joaopizani/env.xcompose

joaopizani/infomtpt-verified-compilers

joaopizani/paucasedmatura-src

joaopizani/SoftwareFoundations-Coq-Answers

joaopizani/spotify-ripper

joaopizani/vim-haskellConceal