Skip to content
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

.NET Interactive notebooks are usable in flexible environments including GitHub Codespaces #5844

Closed
Tracked by #5466
cartermp opened this issue Jan 13, 2021 · 1 comment
Labels
bulk-closed User Story A single user-facing feature. Can be grouped under an epic.

Comments

@cartermp
Copy link
Contributor

Summary

As a student or teacher, I can use .NET Interactive notebooks in my preferred environment for learning tasks.

Details

.NET Interactive notebooks must be available:

  • Offline and on anyone's personal machine
  • Installed in a lab environment that students can connect to
  • Hosted in an online service, such as GitHub Codespaces or Binder

Critically, GitHub Codespaces is likely to be an essential environment for notebooks to be hosted and executed. This is because it supports a:

  • Git repo-focused workflow so that there is a single source of truth for content: a git repo
    • Fork -> Work -> Submit pipeline
    • Ability to integrate CI into the equation, such as CI-based grading with nbgrader
  • Zero (or minimal) installation requirements for students and teachers
  • Reproducible and reliable environment to execute notebooks
  • Freedom to move from online to offline expereinces without disruption or change of paradigm
  • All dependencies needed to do an exercise (e.g., do data analysis and graph results) can be specified entirely within the notebook itself
@cartermp cartermp added the User Story A single user-facing feature. Can be grouped under an epic. label Jan 13, 2021
@mairaw
Copy link
Contributor

mairaw commented May 26, 2023

Bulk closing .NET 6 epics and user stories. If you think this issue was closed in error, please reopen the issue and update it accordingly.

@mairaw mairaw closed this as completed May 26, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bulk-closed User Story A single user-facing feature. Can be grouped under an epic.
Projects
None yet
Development

No branches or pull requests

2 participants