issues
search
ButlerOS
/
haskell-butler
BSD 3-Clause "New" or "Revised" License
89
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
MD2Jira: update to the new pandoc based implementation
#62
TristanCacqueray
opened
17 hours ago
0
Add a new md2jira application
#61
TristanCacqueray
closed
1 month ago
0
Integrate quill and OT for Noter
#60
TristanCacqueray
closed
1 month ago
0
Cleanup left-over unix socket
#59
TristanCacqueray
closed
1 month ago
0
Add a new dynamic md2jira application
#58
TristanCacqueray
closed
1 month ago
0
macos support
#57
joelmccracken
opened
3 months ago
7
Add multiplayer REPL to the text editor
#56
TristanCacqueray
closed
4 months ago
0
Add release workflow
#55
TristanCacqueray
closed
6 months ago
0
Add JIRA client filters
#54
TristanCacqueray
closed
8 months ago
0
Auth.OIDC - Save User account picture url in Sessions DB
#53
morucci
closed
12 months ago
1
Auth.OIDC - Add a '_delete' endpoint to remove a session
#52
morucci
closed
1 year ago
0
Demo Social Login - Add a session state to show logged user recover session
#51
morucci
closed
1 year ago
1
Integrate the multi-repl fix
#50
TristanCacqueray
closed
1 year ago
0
Unable to run bin/run-ghcid.sh
#49
morucci
closed
1 year ago
8
Cannot run doctests via bin/run-tests.sh
#48
morucci
closed
1 year ago
2
Split butler-desktop library and adopt the saturn layout
#47
TristanCacqueray
closed
1 year ago
1
Add OIDC logout support
#46
morucci
closed
1 year ago
0
Auth.OIDC - Set claim 'name' as Butler username
#45
morucci
closed
1 year ago
0
Garbage collect unused sessions
#44
TristanCacqueray
opened
1 year ago
0
Support custom servant auth
#43
TristanCacqueray
closed
1 year ago
0
Auth.OIDC - make the public URL configurable
#42
morucci
closed
1 year ago
0
Handle guest session promotion in OIDC
#41
TristanCacqueray
closed
1 year ago
4
Add Butler.Servant helper to serve the auth application
#40
TristanCacqueray
closed
1 year ago
0
Update the session api to ensure that username are uniques
#39
TristanCacqueray
closed
1 year ago
0
Add session provider to the sessions database
#38
TristanCacqueray
closed
1 year ago
1
WebSocket: update implementation to use cookie authentication
#37
TristanCacqueray
closed
1 year ago
0
Add Auth.OIDC and a social login demo application
#36
morucci
closed
1 year ago
7
AuthApplication: remove the getsession field
#35
TristanCacqueray
closed
1 year ago
0
Add retry logic
#34
TristanCacqueray
closed
1 year ago
0
Terminal: make the HOME match /etc/passwd
#33
TristanCacqueray
closed
1 year ago
0
Add htmlApp helper
#32
TristanCacqueray
closed
1 year ago
0
Bump hspkgs for ghc-9.6.1
#31
TristanCacqueray
closed
1 year ago
0
Add initial system REPL
#30
TristanCacqueray
closed
1 year ago
0
JiraClient: add initial app
#29
TristanCacqueray
closed
1 year ago
0
Some improvements for the TodoManager
#28
morucci
closed
1 year ago
0
Load directory on demand
#27
TristanCacqueray
closed
1 year ago
0
Introduce 'newAppMemory'
#26
TristanCacqueray
closed
1 year ago
0
RandomCat - Add Gif cat support
#25
morucci
closed
1 year ago
1
Qol
#24
morucci
closed
1 year ago
0
Auth: refactor the session creation logic
#23
TristanCacqueray
closed
1 year ago
0
Update cachix actions for CI
#22
morucci
closed
1 year ago
1
Todo manager - Add due date
#21
morucci
closed
1 year ago
1
Use EBML var int encoding for wid in binary message
#20
TristanCacqueray
closed
1 year ago
0
Integrate Ace
#19
TristanCacqueray
closed
1 year ago
0
Update todo manager
#18
morucci
closed
1 year ago
1
Add getSharedDynamic for the TodoManager
#17
TristanCacqueray
closed
1 year ago
0
Introduce AppSettings
#16
TristanCacqueray
closed
1 year ago
0
Update RandomCat app according to suggestions
#15
morucci
closed
1 year ago
0
Mobile Shell feature
#14
TristanCacqueray
opened
1 year ago
0
Add a Todo manager App
#13
morucci
closed
1 year ago
0
Next