I got a TM1638 display working with my raspberry pi. I ported the Arduino TM1638 C library from Ricardo Batista to C# and changed it to use GPIO library. Writing to the 7-segment display and the LEDs works fine. I haven't tried out the buttons yet.
My code is available at https://github.com/cypherkey/RaspberryPi.Net