Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / magnus-madsen/advprog issues and pull requests

#16 - Feedback from Hand-ins 2025

Issue - State: open - Opened by magnus-madsen 4 months ago

#15 - Ideas for 2025

Issue - State: open - Opened by magnus-madsen 5 months ago

#14 - fix: update three to four

Pull Request - State: closed - Opened by jaschdoc 5 months ago - 1 comment

#13 - fix: problem with tree definition

Pull Request - State: closed - Opened by mlutze 5 months ago - 2 comments

#12 - ci: check that slides and src compiles on pr

Pull Request - State: closed - Opened by jaschdoc 5 months ago - 1 comment

#11 - fix: `is_list`

Pull Request - State: closed - Opened by jaschdoc 5 months ago - 1 comment

#10 - fix: typo

Pull Request - State: closed - Opened by mlutze 5 months ago - 1 comment

#10 - fix: typo

Pull Request - State: closed - Opened by mlutze 5 months ago - 1 comment

#9 - fix: remove whitespace in `PartialOrder`

Pull Request - State: closed - Opened by jaschdoc 5 months ago - 1 comment

#8 - fix: add missing no

Pull Request - State: closed - Opened by mlutze 5 months ago - 1 comment

#8 - fix: add missing no

Pull Request - State: closed - Opened by mlutze 5 months ago - 1 comment

#7 - fix: rephrase evaluation order

Pull Request - State: closed - Opened by mlutze 5 months ago - 1 comment

#7 - fix: rephrase evaluation order

Pull Request - State: closed - Opened by mlutze 5 months ago - 1 comment

#6 - fix: semicolon typo

Pull Request - State: closed - Opened by mlutze 5 months ago - 1 comment

#6 - fix: semicolon typo

Pull Request - State: closed - Opened by mlutze 5 months ago - 1 comment

#5 - chore: add pause where lecturer wanted a pause

Pull Request - State: closed - Opened by mlutze 5 months ago - 1 comment

#5 - chore: add pause where lecturer wanted a pause

Pull Request - State: closed - Opened by mlutze 5 months ago - 1 comment

#4 - chore: improve tikz diagram week1

Pull Request - State: closed - Opened by mlutze 5 months ago - 2 comments

#4 - chore: improve tikz diagram week1

Pull Request - State: closed - Opened by mlutze 5 months ago - 2 comments

#3 - chore: fix typo in week1

Pull Request - State: closed - Opened by mlutze 5 months ago - 1 comment

#3 - chore: fix typo in week1

Pull Request - State: closed - Opened by mlutze 5 months ago - 1 comment

#2 - fix: typo in week1

Pull Request - State: closed - Opened by mlutze 5 months ago - 1 comment

#1 - fix: improve formatting and update to Java 21

Pull Request - State: closed - Opened by mlutze 6 months ago

#1 - fix: improve formatting and update to Java 21

Pull Request - State: closed - Opened by mlutze 6 months ago