Skip to content
GitLab
Explore
Sign in
Algorithms Library Toolkit
Merge requests
Open
2
Merged
308
Closed
25
All
335
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Popularity
worker: add filter
webui-client!56
· created
May 08, 2022
by
Hana Litavská
Merged
7
updated
May 10, 2022
Worker cleanup
webui-client!55
· created
May 08, 2022
by
Tomáš Pecka
Merged
0
updated
May 13, 2022
WIP: Webui version
automata-library!239
· created
May 08, 2022
by
Tomáš Pecka
Closed
0
updated
May 08, 2022
docker: bump alpine version
automata-library!238
· created
May 08, 2022
by
Tomáš Pecka
Merged
0
updated
May 13, 2022
Introduce parser generators for ALT formats
webui-client!54
· created
May 06, 2022
by
Tomáš Pecka
C-webui
P-medium
T-feature
Merged
1
updated
May 13, 2022
webui: use one box for all overloads
webui-client!53
· created
Apr 29, 2022
by
Hana Litavská
BP
C-webui
P-high
Merged
13
updated
May 14, 2022
apkg: package for ubuntu 22.04
automata-library!237
· created
Apr 29, 2022
by
Tomáš Pecka
Merged
0
updated
Apr 29, 2022
Merge jt
automata-library!236
· created
Apr 28, 2022
by
Jan Trávníček
Merged
5
updated
Apr 29, 2022
webui: automaton table input
webui-client!52
· created
Apr 25, 2022
by
Hana Litavská
BP
C-webui
Merged
19
updated
May 02, 2022
Merge jt
automata-library!235
· created
Apr 24, 2022
by
Jan Trávníček
Merged
6
updated
Apr 28, 2022
Resolve "Let output nodes decide their features from the actual visualized type"
webui-client!51
· created
Apr 24, 2022
by
Tomáš Pecka
Merged
3
updated
Apr 25, 2022
Merge jt
automata-library!234
· created
Apr 19, 2022
by
Jan Trávníček
Merged
0
updated
Apr 19, 2022
apkg: build packages for f36
automata-library!233
· created
Apr 18, 2022
by
Tomáš Pecka
Merged
2
updated
Apr 18, 2022
work around docker toomanyrequests error
automata-library!232
· created
Apr 17, 2022
by
Tomáš Pecka
Merged
2
updated
Apr 18, 2022
Common documentation
webui-client!49
· created
Apr 17, 2022
by
Tomáš Pecka
staging
Merged
0
updated
Apr 17, 2022
ci: speed up, possibly remove docker TOOMANYREQUESTS errors
webui-client!48
· created
Apr 17, 2022
by
Tomáš Pecka
staging
Merged
2
updated
Apr 17, 2022
webui: output and parse
webui-client!47
· created
Apr 16, 2022
by
Hana Litavská
BP
C-webui
T-feature
Merged
17
updated
May 09, 2022
Merge jt
automata-library!231
· created
Apr 16, 2022
by
Jan Trávníček
Merged
14
updated
Apr 17, 2022
webui: filters
webui-client!46
· created
Apr 14, 2022
by
Hana Litavská
BP
staging
C-webui
T-feature
Merged
7
updated
Apr 16, 2022
webui: fix grammar form bugs
webui-client!45
· created
Apr 14, 2022
by
Hana Litavská
BP
staging
C-webui
T-bug
Merged
3
updated
Apr 14, 2022
Prev
1
2
3
4
5
6
7
…
17
Next