Skip to content
💭
💭

Highlights

  • Arctic Code Vault Contributor

Organizations

@snapframework @SFML-haskell @g55-coworking

Pinned

  1. An emacs-like mark multiple plugin

    Vim script 55 6

  2. Pure Haskell client for the Mandrill JSON API

    Haskell 16 13

  3. Simple, IO-based Haskell library for Erlang-inspired thread supervisors

    Haskell 26 4

  4. Automatic (re)compilation of Purescript code

    Haskell 11 2

  5. Pure Rust implementation of the RNCryptor cryptographic format by Rob Napier

    Rust 5

  6. Haskell implementation of the RNCryptor encrypted file format by Rob Napier

    Haskell 10 4

792 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Mon Wed Fri

Contribution activity

August 2020

adinapoli has no activity yet for this period.

July 2020

Created a pull request in ucsd-progsys/liquidhaskell that received 6 comments

Liquid-Dev-Mode prototype

This PR has to be intended as a prototype and can be easily improved. To name something suboptimal, the current Setup.hs is the same for each packa…

+141 −7 6 comments

Created an issue in mpickering/eventlog2html that received 2 comments

Hovering near a grey line doesn't work anymore

Howdy @mpickering ! I hope you are well 😉 I have noticed something bizarre: it seems like using traceMarker in the latest version of eventlog2html

2 comments
84 contributions in private repositories Jul 2 – Jul 31

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

You can’t perform that action at this time.