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

Achievements

Achievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2
BetaSend feedback

Achievements

Achievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2
BetaSend feedback

Organizations

@NixOS @well-typed
Block or Report

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

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

    Generic Programming using True Sums of Products

    Haskell 156 48

  2. lhs2tex lhs2tex Public

    Preprocessor for typesetting Haskell sources with LaTeX

    Haskell 97 31

  3. records-sop records-sop Public

    Experimental implementation of generic record subtyping

    Haskell 18 6

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

    Main repository for the servant libraries — DSL for describing, serving, querying, mocking, documenting web applications and more!

    Haskell 1.8k 403

  5. SSGEP SSGEP Public

    Haskell 87 3

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

    Optics as an abstract interface

    Haskell 366 24