-
Notifications
You must be signed in to change notification settings - Fork 1
Issues: hackworthltd/primer
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Compile Primer programs to Wasm
long-term goal
A long-term goal, but not attached to a particular milestone yet
tracking
This is a tracking issue
#1200
opened Jan 9, 2024 by
dhess
More robust Wasm support
tracking
This is a tracking issue
wasm
WebAssembly
#1192
opened Nov 30, 2023 by
dhess
2 of 4 tasks
More flexible typedef editing
tracking
This is a tracking issue
#1142
opened Sep 12, 2023 by
georgefst
1 of 6 tasks
How to avoid deleting students' work
question
This issue is a question, not a bug or feature request
tracking
This is a tracking issue
#1133
opened Sep 5, 2023 by
georgefst
Re-enable Blocked by upstream issue
testing
Related to tests/testing
tracking
This is a tracking issue
docker-image-sqlite
NixOS test
blocked/upstream ❌
#1114
opened Aug 16, 2023 by
dhess
haskell.nix
exactDeps
is fragile
blocked/upstream ❌
#876
opened Feb 19, 2023 by
dhess
A collection of performance-related links
core
Core issue
performance
Performance issue
tracking
This is a tracking issue
#816
opened Dec 15, 2022 by
dhess
Finishing the OpenAPI API
API
API issue
blocked
Blocked by another issue
primer-service
Specific to the primer-service package
Servant
Related to Servant
tracking
This is a tracking issue
#605
opened Aug 2, 2022 by
dhess
5 of 6 tasks
Primitives
core
Core issue
enhancement
New feature or request
eval
Evaluation issue
tracking
This is a tracking issue
UI
UX
UX issue
HLS multi-component bug in primer-service and primer-test
blocked/upstream ❌
Blocked by upstream issue
tracking
This is a tracking issue
#181
opened Oct 20, 2021 by
georgefst
1 task done
Replace old API with OpenAPI
API
API issue
enhancement
New feature or request
tracking
This is a tracking issue
#161
opened Oct 11, 2021 by
dhess
[tracking] Better name generation
tracking
This is a tracking issue
#104
opened Apr 20, 2021 by
brprice
Usable multi-student sessions
API
API issue
blocked/need-info ❌
Blocked, need more information
enhancement
New feature or request
frontend
Affects/is affected by the web frontend
tracking
This is a tracking issue
#95
opened Mar 2, 2021 by
dhess
UX improvements to cursor location
priority: medium
This issue has medium priority
tracking
This is a tracking issue
UX
UX issue
#20
opened Jan 11, 2021 by
hmac
Tracking issue: spurious cabal "extraneous version range" warning
tracking
This is a tracking issue
#121
opened Nov 26, 2020 by
brprice
ProTip!
Follow long discussions with comments:>50.