GitHub Awesome Search
Ranking
User
Stars this week
New repository
Trending Archive
User: GaloisInc
cryptol
in
sobolevn/awesome-cryptography
Cryptol: The Language of Cryptography
created at April 17, 2014, 10:29 p.m.
Haskell
53
+0
1,111
+0
117
+0
GitHub
Sort: Most stars
Most stars
Fewest stars
Most forks
Fewest forks
Most watchers
Fewest watchers
Recently created
Least recently created
Recently updated
Least recently updated
Most repositories
Fewest repositories
All languages
1
Haskell
1