Skip to content
Avatar
  • Block or report user

    Block or report Lysxia

    Block user

    Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

    Report abuse

    Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

    Report abuse
199 followers · 39 following · 68

Highlights

  • Arctic Code Vault Contributor

Organizations

@dissemin @concolism

Pinned

  1. DeepSpec/InteractionTrees

    A Library for Representing Recursive and Impure Programs in Coq

    Coq 122 29

  2. first-class-families

    First-class type families

    Haskell 65 5

  3. coq-simple-io

    IO for Gallina

    Coq 18 1

  4. profunctor-monad

    Bidirectional programming in Haskell with monadic profunctors

    Coq 28 2

  5. dissemin/dissemin

    Spot your own paywalled papers. Liberate them in one click.

    Python 159 20

  6. generic-data

    Generic data types in Haskell, utilities for GHC.Generics

    Haskell 32 5

776 contributions in the last year

Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Mon Wed Fri
Learn how we count contributions.
Less
More

Contribution activity

October 2020

Created a pull request in antalsz/hs-to-coq that received 3 comments

Upgrade hs-to-coq to GHC 8.6, 8.8, 8.10

This also makes sure to still work with 8.4 I think this PR is already in a mergeable state on its own, but here are some TODOs for the near future:

+889 −317 • 3 comments

Created an issue in liyishuai/coq-http that received 3 comments

Module names for extraction

Is there a way to set the extracted module name from inside Coq? If not, given that this library will be used with extraction, it would be good to …

3 comments

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.