Skip to content

jonasspenger

View on GitHub ↗

active 2023-08-222024-02-23 (UTC) · 16 repositories

Complete coverage26,613 / 26,613 hourly files (100%) · 2 absent upstream2023-08-152026-08-27 (UTC)
Events
72
Pushes
47
Pull requests
4
Issues
2
Reviews
1
Repositories
16

Activity over time

Daily event counts in the loaded window

Line chart, 186 days from 2023-08-22 to 2024-02-23. Pushes: 47 total, peak 8 in a day. Pull requests: 4 total, peak 2 in a day. Issues: 2 total, peak 1 in a day.

  • Pushes
  • Pull requests
  • Issues

Repositories worked on

Ranked by contributions — pushes, PRs, issues, reviews and comments, so stars and forks do not inflate the list

RepositoryContributionsPushesPRsIssuesCommentsLast seen
portals-project/portals-project.github.io16160002024-02-01
portals-project/portals1063102023-11-15
jonasspenger/ID2203-VT24-Course-Project-CRDTs880002024-02-14
scala-native/scala-native501032023-10-03
portals-project/vldb2023demo430102023-09-06
jonasspenger/scala-native440002023-10-03
jonasspenger/spores3330002024-02-21
jonasspenger/jonasspenger.github.io220002023-11-02
jonasspenger/portals110002024-02-12
portals-project/Hello-World110002023-11-16
jonasspenger/multi-party-bls110002024-02-23
portals-project/portals-benchmarks110002023-11-15
jonasspenger/multi-party-ecdsa110002024-02-23
tchajed/coq-tla000002023-12-07
pravega/pravega000002024-02-16
haraldng/omnipaxos000002023-11-22

Works with

People who contribute to the same repositories, ranked by how many they share · automation excluded, or every account would appear to work with everyone

Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.