Skip to content
View rumkin's full-sized avatar
🧠
Getting deeper
🧠
Getting deeper
78 followers · 25 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx2

Organizations

@almighty-web @observer0x

Block or report rumkin

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

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

github / semantic

Parsing, analyzing, and comparing source code across many languages

Haskell 9,002 451 Updated Jul 24, 2024

HigherOrderCO / Kind

A modern proof language

Haskell 3,608 145 Updated Jan 22, 2025

dapphub / dapptools

Dapp, Seth, Hevm, and more

Haskell 2,106 326 Updated Sep 11, 2023

aymannadeem / foldilocks

Tutorial using ghci to make folds easier. Come for the tutorial, stay for the fold puns.

Haskell 188 12 Updated Apr 28, 2019