Repository for the Programming Formalisms course
active 2023-08-31 → 2026-08-20 (UTC)
Activity over time
Daily event counts in the loaded window
Line chart, 1086 days from 2023-08-31 to 2026-08-20. Pushes: 4,442 total, peak 206 in a day. Pull requests: 18 total, peak 3 in a day. Issues: 298 total, peak 18 in a day. Comments: 412 total, peak 39 in a day. Stars: 1 total, peak 1 in a day.
- Pushes
- Pull requests
- Issues
- Comments
- Stars
Stars, PRs, issues and forks are under-captured in the later part of this window. GH Archive progressively stopped capturing non-push events during 2026 — −95% or worse by the end of the window. Every series here except Pushes fades for that reason, so a decline above reflects the archive, not this repository. Pushes stay reliable throughout, so read them, and the contributor counts derived from them, as the real signal. Data health has the measurements.
Top contributors
Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity
| Contributor | Contributions | Pushes | PRs | Comments |
|---|---|---|---|---|
| github-actions[bot] | 2.1K | 2.1K | 0 | 0 |
| richelbilderbeek | 1.6K | 1.1K | 10 | 262 |
| bclaremar | 1.3K | 1.1K | 7 | 112 |
| LarsEklund | 218 | 191 | 0 | 17 |
| QuantumTwitch | 8 | 0 | 0 | 8 |
| Lars-Uppmax | 6 | 4 | 1 | 1 |
| LinusSch | 2 | 1 | 0 | 0 |
| CFB2018 | 2 | 0 | 0 | 2 |
| jonandernovella | 2 | 2 | 0 | 0 |
| hykim-5 | 1 | 0 | 0 | 1 |
| Jarinafsana | 1 | 0 | 0 | 1 |
| JennyHaggstrom | 1 | 0 | 0 | 1 |
| Jinlinghuang | 1 | 0 | 0 | 1 |
| CeciliaCasadei | 1 | 0 | 0 | 1 |
| fabiopohl | 1 | 0 | 0 | 1 |
| JonssonGustav97 | 1 | 0 | 0 | 0 |
| AitorAldama | 1 | 0 | 0 | 1 |
| Taratype0 | 1 | 0 | 0 | 1 |
| phuongcaothingoc | 1 | 0 | 0 | 1 |
| monikaBrandt | 1 | 0 | 0 | 1 |
Recent activity
Latest issues, pull requests and releases
- Issue#223richelbilderbeek2026-05-22 14:58Create certificates of attendence
- Issue comment#222richelbilderbeek2026-05-18 05:39Where is Retrospect of Day 1?
- Issue#219richelbilderbeek2026-05-08 08:35Also give Eva Krämer a course certificate
- Issue comment#214LarsEklund2026-05-02 00:35Invite all Lars' accounts as collaborators
- Issue#203richelbilderbeek2026-04-30 10:16Richel's session: consider use a draft paper as a requirements document
- Issue comment#200richelbilderbeek2026-04-02 12:12[June 2026] Consider to transfer repo to https://github.com/NAISS-Training
- Issue#206bclaremar2026-04-02 09:00Course Project Spring 2026
- Issue#206bclaremar2026-04-02 09:00Course Project Spring 2026
- Issue#206bclaremar2026-04-02 09:00Course Project Spring 2026
- Issue comment#200bclaremar2026-04-02 08:13[June 2026] Consider to transfer repo to https://github.com/NAISS-Training
- Issue#170richelbilderbeek2026-04-02 06:17Write a "Bad" cookie cutter project for the Weather student project
- Issue comment#170richelbilderbeek2026-04-02 06:17Write a "Bad" cookie cutter project for the Weather student project
- Issue#200richelbilderbeek2026-04-02 06:15[June 2026] Consider to transfer repo to https://github.com/NAISS-Training
- Issue#196richelbilderbeek2026-04-02 06:08Add correct registration form for next course iteration starting in May 2026
- Issue#203richelbilderbeek2026-04-02 06:01Richel's session: use a draft paper as a requirements document
- Issue#203richelbilderbeek2026-04-02 05:59Richel's session: use a draft paper as a requirements document
- Issue comment#202richelbilderbeek2026-03-26 04:55Make sure some early registered learners are notified about the upcoming course
- Issue comment#196richelbilderbeek2026-03-05 16:46Add registration form for next course iteration starting at 2026-05-04
- Issue comment#201richelbilderbeek2026-03-05 16:18How often do we teach per year?
- Issue comment#196bclaremar2026-03-05 10:27Add registration form for next course iteration starting at 2026-05-04
- Issue comment#95richelbilderbeek2025-12-18 13:32Consider adding a table for software development processes
- Issue#171richelbilderbeek2025-12-18 13:29Review and update learning_outcomes.md before Wrap-Up
- Issue#171richelbilderbeek2025-12-18 13:29Review and update learning_outcomes.md before Wrap-Up
- Issue comment#115richelbilderbeek2025-12-18 13:28Give more concrete examples for the abstract concepts in OOP
- Issue#56richelbilderbeek2025-12-18 13:12Delete slides or convert to webpages
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 1 stars here means stars gained during the window, not the repo's star count.