Skip to content
View diop's full-sized avatar
🎯
🎯
354 followers · 685 following

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Organizations

@wolof @FlutterSN @BitcoinDevelopersAcademy

Block or report diop

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 is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Lists (1)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated

Stars

4 stars written in Haskell
Clear filter

crytic / echidna

Ethereum smart contract fuzzer

Haskell 3,109 426 Updated Apr 8, 2026

kadena-io / pact

The Pact Smart Contract Language

Haskell 608 116 Updated Oct 10, 2025

sdiehl / bulletproofs

Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

Haskell 550 49 Updated Dec 25, 2022

google / proto-lens

API for protocol buffers using modern Haskell language and library patterns.

Haskell 503 124 Updated Apr 2, 2026