Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Platonic.Systems
Shpadoinkle
Merge requests
Open
11
Merged
208
Closed
59
All
278
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{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}}
Created date
add checked property bugfix
!81
· created
Jul 26, 2020
by
Morgan Thomas
Merged
updated
Jul 30, 2020
Update to latest version of Shpadoinkle-continuations
!82
· created
Aug 07, 2020
by
Morgan Thomas
Merged
updated
Aug 07, 2020
Table filters and themes
!83
· created
Aug 07, 2020
by
Morgan Thomas
Merged
updated
Aug 07, 2020
add more file extensions to nginx filter
!84
· created
Aug 07, 2020
by
Morgan Thomas
Merged
updated
Aug 07, 2020
Hover widget
!85
· created
Aug 07, 2020
by
Morgan Thomas
Merged
updated
Aug 07, 2020
Snabbdom compatibility fixes & upgrade to latest Snabbdom version
!86
· created
Aug 07, 2020
by
Morgan Thomas
Merged
updated
Aug 07, 2020
refactor dropdown themes for more generality
!87
· created
Aug 07, 2020
by
Morgan Thomas
Merged
updated
Aug 07, 2020
Type safe CSS
!88
· created
Aug 09, 2020
by
Isaac Shapira
Merged
updated
Aug 13, 2020
Run S11-router programs in ghci
!89
· created
Aug 11, 2020
by
Morgan Thomas
Closed
updated
Oct 22, 2020
Synchronicity
!90
· created
Aug 19, 2020
by
Morgan Thomas
Closed
1
updated
Sep 23, 2020
Throttle and debounce
!91
· created
Aug 26, 2020
by
Morgan Thomas
Merged
updated
Aug 26, 2020
fix ghcjs parsing of css files
!92
· created
Aug 29, 2020
by
Isaac Shapira
Merged
updated
Aug 29, 2020
Dev extension
!93
· created
Sep 03, 2020
by
Isaac Shapira
Merged
updated
Oct 22, 2020
Spike js optimization helper using closure compiler
!94
· created
Sep 16, 2020
by
Marek Fajkus
Merged
18
Approved
updated
Sep 22, 2020
Refactor
!95
· created
Sep 21, 2020
by
Isaac Shapira
Merged
updated
Sep 29, 2020
Update index.adoc Put quotes and Initial capped "Hello World"
!96
· created
Sep 22, 2020
by
robbin rogers
Merged
updated
Sep 23, 2020
Draft: Update index.adoc
!97
· created
Sep 22, 2020
by
robbin rogers
Closed
updated
Sep 29, 2020
Robbinr88 master patch 02997
!98
· created
Sep 23, 2020
by
robbin rogers
Closed
updated
Sep 29, 2020
Update immediate-execution.adoc
!99
· created
Sep 23, 2020
by
robbin rogers
Merged
updated
Sep 24, 2020
Update core.adoc I found an instance of HtmlM in docs/modules/ROOT/pages/packages/core.adoc.
!100
· created
Sep 23, 2020
by
robbin rogers
Closed
1
updated
Sep 23, 2020
Prev
1
2
3
4
5
6
7
8
9
…
14
Next