issues
search
wavewave
/
hoodle
hoodle : A pen notetaking program written in haskell
142
stars
12
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
disable -Werror for now due to partial functions like head, tail.
#155
wavewave
closed
1 year ago
0
Start a grid cache experiment
#154
wavewave
closed
1 year ago
0
Update the library extra to be compatible with GHC HEAD
#153
wavewave
closed
1 year ago
0
Let timeline flow
#152
wavewave
closed
1 year ago
0
separate out Types and Render
#151
wavewave
closed
1 year ago
0
Show eventlog timeline
#150
wavewave
closed
1 year ago
0
Eventlog histogramming
#149
wavewave
closed
1 year ago
0
gi-gtk on GHC 9.2, 9.4 and GHC HEAD
#148
wavewave
closed
1 year ago
0
Refactor out nix expressions into separate files
#147
wavewave
closed
1 year ago
0
Parallel build by default
#146
wavewave
closed
1 year ago
0
Live eventlog monitoring through a socket
#145
wavewave
closed
1 year ago
0
aarch64-darwin build on GHC HEAD with ghc.nix
#144
wavewave
closed
1 year ago
0
GHC HEAD compatible build
#143
wavewave
closed
1 year ago
0
Provide ghc-9.4.4 shell
#142
wavewave
closed
1 year ago
0
Change directory scheme
#141
wavewave
closed
1 year ago
0
hoodle-web dev env on flake.nix
#140
wavewave
closed
1 year ago
0
CI build for hoodle-web
#139
wavewave
opened
1 year ago
0
GHC 9.4 build
#138
wavewave
closed
1 year ago
0
Build matrix for ubuntu/darwin and ghc 9.2 and 9.4
#137
wavewave
opened
1 year ago
0
GHC 9.2 build by disabling broken poppler and hoodle-publish, handwriting recog using Google API
#136
wavewave
closed
1 year ago
0
GHC 9.2 build
#135
wavewave
closed
1 year ago
2
deprecate gtk2hs deps. start to use gi-gtk
#134
wavewave
opened
2 years ago
0
No implicit imports in hoodle
#133
wavewave
closed
2 years ago
0
Plugin that finds implicitly imported names automatically
#132
wavewave
closed
2 years ago
0
module import check utility
#131
wavewave
closed
2 years ago
0
Nix flake build script for hoodle-web
#130
wavewave
closed
1 year ago
0
CI check for all the warnings using -Werror
#129
wavewave
closed
2 years ago
0
Remove all warnings
#128
wavewave
closed
2 years ago
0
hlint CI and follow suggestions
#127
wavewave
closed
2 years ago
1
CI hlint
#126
wavewave
closed
2 years ago
0
CI check for formatting.
#125
wavewave
closed
2 years ago
0
Ormolu format and CI check
#124
wavewave
closed
2 years ago
0
Reform build script using nix flakes.
#123
wavewave
closed
2 years ago
1
New build script using nix flakes
#122
wavewave
closed
2 years ago
0
deprecate the use of poppler. instead use gi-poppler
#121
wavewave
opened
2 years ago
0
deployment scripts
#120
wavewave
closed
4 years ago
1
Replace inefficient text message encoding with efficient binary message
#119
wavewave
closed
4 years ago
0
Replace text message encode/decode to binary for websocket communication
#118
wavewave
closed
4 years ago
1
Initialization of a client with the current doc state, not with the full commit history
#117
wavewave
closed
4 years ago
0
Use lens for state access in hoodle-web
#116
wavewave
closed
4 years ago
0
refactor out stringifyStrokeId
#115
wavewave
closed
4 years ago
0
Lensify internal state in hoodle-web
#114
wavewave
closed
4 years ago
1
Use (int,int) instead of double for efficient serialization
#113
wavewave
opened
4 years ago
1
Automated deployment for hoodle-web
#112
wavewave
closed
4 years ago
0
Efficient initialization
#111
wavewave
closed
4 years ago
1
Cabalize hoodle-web project
#110
wavewave
closed
4 years ago
0
use callCabal2nix
#109
wavewave
closed
4 years ago
0
Remove HUB
#108
wavewave
closed
4 years ago
0
AlterList as an instance of Bifunctor, replace fmapAL with bimap or first, second.
#107
wavewave
closed
4 years ago
0
Stroke selection by lasso in hoodle-web
#106
wavewave
closed
4 years ago
0
Next