Skip to content
View sdan's full-sized avatar
395 followers · 96 following

Achievements

Achievement: Pair Extraordinairex2Achievement: Starstruckx3Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex2Achievement: Starstruckx3Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Highlights

Organizations

@InternetActivism @pravaco

Block or report sdan

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

Starred repositories

7 stars written in Haskell
Clear filter

crytic / echidna

Ethereum smart contract fuzzer

Haskell 3,054 418 Updated Dec 18, 2025

dapphub / dapptools

Dapp, Seth, Hevm, and more

Haskell 2,134 322 Updated Feb 25, 2025

lamdu / lamdu

lamdu - towards the next generation IDE

Haskell 1,880 73 Updated Dec 17, 2025

HuwCampbell / grenade

Deep Learning in Haskell

Haskell 1,453 82 Updated Dec 8, 2023

aviaviavi / toodles

Project management directly from the TODOs in your codebase

Haskell 980 32 Updated Apr 18, 2023

radicle-dev / radicle-alpha

A peer-to-peer stack for code collaboration

Haskell 917 33 Updated Mar 26, 2020

def- / time.gif

GIF that always shows the current time in UTC

Haskell 494 27 Updated Sep 22, 2023

Starred topics

See all starred topics