Skip to content
View decanus's full-sized avatar
🤠
🤠
729 followers · 152 following

Achievements

Achievement: Pair Extraordinairex4Achievement: QuickdrawAchievement: YOLOAchievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx4

Achievements

Achievement: Pair Extraordinairex4Achievement: QuickdrawAchievement: YOLOAchievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx4

Highlights

Organizations

@project-blanc @glu-systems

Block or report decanus

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

Stars

9 stars written in Haskell
Clear filter

crytic / echidna

Ethereum smart contract fuzzer

Haskell 3,109 426 Updated Apr 8, 2026

wireapp / wire-server

🇪🇺 Wire back-end services

Haskell 2,756 333 Updated Apr 13, 2026

dapphub / dapptools

Dapp, Seth, Hevm, and more

Haskell 2,128 323 Updated Feb 25, 2025

anoma / juvix

A language for intent-centric and declarative decentralised applications

Haskell 509 63 Updated Nov 5, 2025

argotorg / act

Smart contract specification language

Haskell 268 48 Updated Apr 3, 2026

kadena-io / chainweb-node

Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput

Haskell 257 113 Updated Nov 22, 2025

IC3Hydra / Hydra

Framework for cryptoeconomic contract security, decentralized security bounties. Live on Ethereum.

Haskell 74 5 Updated Mar 2, 2018

takenobu-hs / haskell-ethereum-assembly

EVM (Ethereum virtual machine) Assembly on Haskell DSL

Haskell 66 4 Updated Jul 22, 2018

kadena-io / kadenamint

Haskell 22 7 Updated Aug 18, 2020