GitHub repository: GaloisInc/ICryptol
Primary language: Haskell
Created: 2015-03-03T00:43:37Z
Description: IPython-style interaction for Cryptol