Skip to content
View kosmikus's full-sized avatar
344 followers · 39 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Pair ExtraordinaireAchievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Organizations

@NixOS @well-typed

Block or report kosmikus

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

Pinned Loading

  1. well-typed/generics-sop well-typed/generics-sop Public

    Generic Programming using True Sums of Products

    Haskell 157 48

  2. lhs2tex lhs2tex Public

    Preprocessor for typesetting Haskell sources with LaTeX

    Haskell 99 28

  3. records-sop records-sop Public

    Experimental implementation of generic record subtyping

    Haskell 18 6

  4. haskell-servant/servant haskell-servant/servant Public

    Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!

    Haskell 1.8k 413

  5. SSGEP SSGEP Public

    Haskell 87 3

  6. well-typed/optics well-typed/optics Public

    Optics as an abstract interface

    Haskell 376 24