Skip to content
GitLab
Explore
Sign in
Open
21
Merged
123
Closed
11
All
155
Recent searches
Loading
{{ formattedKey }}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Updated date
Resolve "Pump-Aufgaben: num-samples überprüfen"
!129
· created
Jun 01, 2023
by
waldmann
backend
bug
Merged
updated
Jun 02, 2023
Resolve "wanted: neural network exercise(s)"
!128
· created
May 08, 2023
by
waldmann
Merged
updated
May 08, 2023
Resolve "wanted: ENFA-Aufgabe (epsilons hinzufügen)"
!126
· created
May 01, 2023
by
waldmann
Merged
updated
May 05, 2023
Resolve "fa: better implementation for transition table"
!89
· created
Nov 05, 2021
by
waldmann
Merged
updated
May 02, 2023
Resolve "wanted: NFA-Shortest-Missing"
!125
· created
Apr 27, 2023
by
waldmann
Merged
updated
Apr 27, 2023
Resolve "prettyprinter for terms needs align"
!124
· created
Apr 15, 2023
by
waldmann
Merged
updated
Apr 17, 2023
Resolve "gomoku-better-heuristic: should have number of wins as highscore parameter"
!123
· created
Apr 13, 2023
by
waldmann
Merged
updated
Apr 13, 2023
Resolve "wanted: Beweisbaum für Mitgliedschaft in Sprache eines regulären Ausdrucks"
!122
· created
Apr 10, 2023
by
waldmann
Merged
updated
Apr 12, 2023
Resolve "wanted: eindeutige reguläre Ausdrücke"
!121
· created
Apr 09, 2023
by
waldmann
Merged
updated
Apr 10, 2023
Resolve "move to ghc-9.2 (stackage LTS 20)"
!108
· created
Nov 17, 2022
by
waldmann
Merged
updated
Apr 01, 2023
Resolve "LCS.Code.lcs does not return (construction of array is not lazy enough?)"
!113
· created
Dec 05, 2022
by
waldmann
backend
bug
Merged
updated
Mar 29, 2023
yesod: avoid many warnings that are easy to prevent
!116
· created
Dec 21, 2022
by
waldmann
Merged
updated
Mar 29, 2023
Resolve "parallelize execution of tests (in particular, autotool-collection)"
!118
· created
Dec 22, 2022
by
waldmann
Merged
updated
Feb 02, 2023
yesod:MD5Aux.ABCD: instance Num -> Semigroup
!117
· created
Dec 22, 2022
by
waldmann
Merged
updated
Feb 02, 2023
yesod:Handler.Statistik.alleneubewerten: extracted from postStatistikR
!115
· created
Dec 21, 2022
by
waldmann
Merged
updated
Feb 02, 2023
stack.yaml: minimize extra-deps
!114
· created
Dec 21, 2022
by
waldmann
Merged
updated
Feb 02, 2023
Resolve "Euclid_Sudoku-poly-Quiz, configuration 1, toDoc . reader . toDoc == toDoc"
!111
· created
Nov 19, 2022
by
waldmann
backend
bug
Merged
updated
Nov 19, 2022
Resolve "src/Exp/Roll.hs:16:9-57: Non-exhaustive patterns in [s]"
!110
· created
Nov 18, 2022
by
waldmann
backend
bug
Merged
updated
Nov 18, 2022
Resolve "HeapbaumList-Quiz: uncaught exception: PatternMatchFail"
!107
· created
Nov 08, 2022
by
waldmann
backend
bug
Merged
updated
Nov 17, 2022
Resolve "Unhandled exception @230 <<timeout>>"
!106
· created
Nov 07, 2022
by
waldmann
Merged
updated
Nov 08, 2022
Prev
1
2
3
4
5
6
7
Next