Free Programming Books covers most of the today programming languages and many you did never take a look at (or need) from the past. All books are ebooks free for download and may be an assistance to you if you are learning a new language or just want to brush up your knowledge for some reason.
There are 338 books in this collection so you will have plenty to read for a while now!
Cryptol is a language used to specify, implement, test and verify cryptographical algorithms. I have just taken a first glance at it and it seems really competent. All cryptography buffs out there should rejoice over this tool.
Cryptol can further ”compile” your cryptographic algorithms into languages such as VHDL, C and Haskell. You may download a trial version for non-commercial uses from the galois site.