Block or report user

Report or block jxs1

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Pinned repositories

  1. ArweaveTeam/arweave

    The Arweave server and App Developer Toolkit.

    Erlang 92 17

  2. MBattyResearch/JeffreyRielyModel

    Isabelle implementation of the Alan Jeffery and James Riely's Event Structures Model of Relaxed Memory

    Isabelle

  3. MBattyResearch/JeffreyModelTests

    .jef test cases for Jeffrey & Riely model

    Makefile

  4. ids

    Dissertation

    Agda

141 contributions in the last year

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

Contribution activity

February - October 2018

jxs1 has no activity yet for this period.

January 2018

Opened their first issue on GitHub in ArweaveTeam/arweave

Created an issue in ArweaveTeam/arweave that received 4 comments

BadRecord, block error in NOVLNS

Bad record, block line 69, ar_fork_recovery

4 comments
2 contributions in private repositories Jan 4 – Jan 9

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