issues
search
diku-dk
/
futhark-playground
Futhark playground
http://playground.futhark-lang.org
GNU General Public License v3.0
8
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
CSS of output is not great
#15
athas
opened
1 year ago
0
Syntax highlighting in literate output
#14
athas
opened
1 year ago
1
Compute clients should be robust towards the webserver terminating
#13
athas
opened
1 year ago
0
Server seems like it can crash if client misbehaves or is missing
#12
athas
closed
1 year ago
1
Save editor state in cookies or with local storage
#11
athas
closed
1 year ago
0
Editor cuts off weirdly sometimes
#10
Lukires
closed
1 year ago
1
Add a "view output" page that only shows output
#9
Lukires
closed
1 year ago
1
Create a Dockerfile for compute-server and for flask-server
#8
Lukires
opened
1 year ago
2
Remove veritical line at 80 characters in the editor
#7
Lukires
closed
1 year ago
0
Add some loading indicator when awaiting API responses
#6
Lukires
closed
1 year ago
0
Document how to run this in production
#5
athas
closed
1 year ago
2
Caching the result of 'futhark literate'
#4
athas
closed
1 year ago
0
Correct syntax highlighting
#3
athas
closed
1 year ago
0
Error tolerance
#2
athas
closed
1 year ago
0
Compute server options
#1
athas
closed
1 year ago
0