u/imalsogregin r/haskell • Recommends
Video Rishiyur S. Nikhil - Enigmatic Haskell, Haskellish Enigma
#cryptol#bluespec#enigmamachine
1.1K subscribers • 18 videos on Hallway
Advanced. Deep dive for people who know the field.
925 views11 years ago2 recommendations
HardwareProgramming languagesHaskellEmbedded systemsFPGAs and digital design
Rishiyur S. Nikhil demonstrates building an Enigma machine first in Cryptol and then in hardware using Bluespec SystemVerilog and Haskell.
Boston Haskell, February 18, 2015 Nikhil builds an Enigma machine. First in Cryptol, then in hardware by way of Haskell. Slides and code available here: github.com/rsnikhil/Enigma_Cryptol_Bluespec_BSV.gitu/imalsogregin r/haskell • Recommends
programming-talkscurated list on GitHubRecommends
Under “Haskell”