Hacker GitHub

← All repos

GaloisInc/cryptol

View on GitHub ↗ ★ 1,228 Haskell

Cryptol: The Language of Cryptography

4 mentions on Hacker News by 4 people: 0 stories, 4 comments · first 2014-04-24 · latest 2016-01-18

Mentions per year 4 mentions · busiest year 2015 (2)
20082026
AllStoriesComments NewestTopOldest
  1. …://ucsd-progsys.github.io/liquidhaskell-tutorial/02-log... * SMT Solver Language Integration Cryptol: https://github.com/GaloisInc/cryptol * Session Types Scribble: http://www.scribble.org/ * Dependent Types Agda:…
    comment by rwosync · 2016-01-18 · in Ask HN: Which people and groups are researching new approaches to programming?
  2. …C/C++ implementations and more about verifying properties of the algorithms themselves. (Example: https://github.com/GaloisInc/cryptol/blob/master/examples/ZU... )
    comment by matthavener · 2015-08-19 · in How do we know if a crypto function is correctly implemented?
  3. …but I believe there's some research in applied crypto for implementation verification. I know https://github.com/GaloisInc/cryptol is a language that's supposed to help in that regard, but I don't know offhand who all uses that.
    comment by ReidZB · 2015-07-20 · in Password Hashing Competition winner and special recognitions
  4. …at the NSA's Trusted Systems Research Group, including Brad Martin, Frank Taylor and Sean Weaver. https://github.com/GaloisInc/cryptol
    comment by higherpurpose · 2014-04-24 · in Cryptol DSL, a tool for writing correct crypto algorithms, is now open-source