Skip to content
View jberthold's full-sized avatar
42 followers · 1 following

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Pair Extraordinairex3Achievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruckx3

Achievements

Achievement: QuickdrawAchievement: YOLOAchievement: Pair Extraordinairex3Achievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruckx3

Organizations

@runtimeverification @fp-syd

Block or report jberthold

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

Popular repositories Loading

  1. packman packman Public

    Evaluation-orthogonal serialisation of Haskell data, as a library

    C 62 9

  2. ghc ghc Public

    Forked from ghc/ghc

    Mirror of ghc repository, adding parallel RTS extensions

    Haskell 4

  3. diamond diamond Public

    Servant model of the Confluence REST API

    Haskell 1

  4. jberthold.github.io jberthold.github.io Public

    jost-berthold.de site

    CSS

  5. rts-serialisation rts-serialisation Public

    Runtime-supported Haskell serialisation (experimental)

    Haskell

  6. contracts contracts Public

    Forked from melsman/contracts

    A simple algebraic financial contract language

    Coq 1

611 contributions in the last year

Skip to contributions year list
Contribution Graph
Day of Week September October November December January February March April May June July August
Sunday
Monday
Tuesday
Wednesday
Thursday
Friday
Saturday
Learn how we count contributions
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More

Activity overview

Contributed to runtimeverification/mir-semantics, runtimeverification/haskell-backend, runtimeverification/stable-mir-json and 24 other repositories
Loading A graph representing jberthold's contributions from August 25, 2024 to August 28, 2025. The contributions are 36% code review, 27% commits, 22% pull requests, 15% issues. 36% Code review 15% Issues 22% Pull requests 27% Commits

Contribution activity

August 2025

Created 13 commits in 3 repositories
Created 1 repository

Created a pull request in runtimeverification/mir-semantics that received 3 comments

Hotfix avoid deref in refs

Before creating a reference or pointer, the pointee is evaluated using #traverseProjection and then the projections are reconstructed. This shorten…

+93 −72 lines changed • 3 comments
Opened 8 other pull requests in 2 repositories
Reviewed 13 pull requests in 3 repositories

Created an issue in jberthold/vibe-coding-fp-syd that received 1 comment

Add a Haskell package to compute a "sink node graph"

Implement a small library that implements a special directed graph structure with API addEdge and leavesFrom, and an application that uses the libr…

1 comment
Opened 6 other issues in 3 repositories
Loading