CountBtnI is a project mainly written in VHDL, it's free.
Using 2 buttons to count up/down and display on leds using instances of a debouncer
VHDL used for Xilinx XCS250E but im sure it can be ported easy!