Skip to content
View Ofenhed's full-sized avatar
7 followers · 6 following
  • Condition Raise AB
  • Linköping, Sweden

Sponsoring

@foosel
@cart
@ThePrimeagen

Achievements

Achievement: YOLOAchievement: Public SponsorAchievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: YOLOAchievement: Public SponsorAchievement: Pull SharkAchievement: Arctic Code Vault Contributor

Block or report Ofenhed

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

Stars

5 stars written in Haskell
Clear filter

GaloisInc / cryptol

Cryptol: The Language of Cryptography

Haskell 1,136 123 Updated Sep 27, 2024

ndmitchell / ghcid

Very low feature GHCi based IDE

Haskell 1,130 113 Updated Mar 1, 2024

channable / alfred-margaret

Fast Aho-Corasick string searching

Haskell 185 12 Updated Sep 6, 2024

NorfairKing / haskell-dangerous-functions

Documentation about Haskell's dangerous functions and a hlint config file to warn about them

Haskell 160 14 Updated Oct 14, 2023

abooij / sudbury

Haskell implementation of the wayland protocol

Haskell 89 5 Updated Aug 27, 2017