Skip to content
View hellman's full-sized avatar
🍊
🍊
678 followers · 26 following

Achievements

Achievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Pull SharkAchievement: Starstruckx3

Achievements

Achievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Pull SharkAchievement: Starstruckx3

Organizations

@cryptolu @whibox

Block or report hellman

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

5 stars written in Haskell
Clear filter

GaloisInc / cryptol

Cryptol: The Language of Cryptography

Haskell 1,200 128 Updated Apr 2, 2026

cpeikert / Lol

Λ ⚬ λ: Functional Lattice Cryptography

Haskell 233 44 Updated Mar 22, 2021

sdiehl / arithmetic-circuits

Arithmetic circuits for zero knowledge proof systems

Haskell 83 15 Updated Apr 16, 2024

kvnesterov / IdaHaskell

Allows to execute haskell code in Ida Pro.

Haskell 27 1 Updated Dec 22, 2015

cpeikert / CollimationSieve

Classical simulator for Kuperberg's quantum collimation sieve, generalized to arbitrary finite cyclic groups and focused on CSIDH-512.

Haskell 14 Updated Jun 18, 2019