Skip to content
View fizruk's full-sized avatar
♾️
♾️
317 followers · 60 following

Achievements

Achievement: Starstruckx2Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3
BetaSend feedback

Achievements

Achievement: Starstruckx2Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3
BetaSend feedback

Highlights

  • Pro

Organizations

@cmc-msu-ai @haskell-servant @GetShopTV @polystat @rzk-lang
Block or Report

Block or report fizruk

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. rzk-lang/rzk rzk-lang/rzk Public

    An experimental proof assistant based on a type theory for synthetic ∞-categories.

    Haskell 182 7

  2. http-api-data http-api-data Public

    Converting to/from HTTP API data like URL pieces, headers and query parameters.

    Haskell 51 39

  3. haskell-servant/servant-swagger haskell-servant/servant-swagger Public

    Swagger for Servant

    Haskell 123 37

  4. GetShopTV/swagger2 GetShopTV/swagger2 Public

    Swagger 2.0 data model.

    Haskell 72 59

  5. telegram-bot-simple telegram-bot-simple Public

    Easy to use library for building Telegram bots in Haskell.

    Haskell 105 48

  6. simple-topes simple-topes Public

    Simple theorem prover for the tope layer of Riehl and Shulman type theory with shapes.

    Haskell 14 1