Skip to content

Issues: JacquesCarette/Drasil

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.

Sign up for GitHub

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

393 Open 1,717 Closed
393 Open 1,717 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Figuring out good precedence
#3759 opened May 29, 2024 by NoahCardoso
2
Fix the portability non-functional requirements descriptions
#3757 opened May 28, 2024 by BilalM04
5 tasks
Change Non-Functional Requirement (NFR) labels in the SRS to be consistent with the template artifacts newcomers Good first issue to work on! stable-fix
#3756 opened May 28, 2024 by BilalM04
8 tasks
5
Potential redesign of chunks
#3754 opened May 28, 2024 by JacquesCarette
Inconsistencies in SRS Non-Functional Requirements question
#3753 opened May 27, 2024 by BilalM04
@smiths
6
Semantics of Constructors in GOOL design Related to the current design of Drasil (not artifacts).
#3752 opened May 27, 2024 by B-rando1
@JacquesCarette @bmaclach
5
Drasil Research Group Meeting, Monday, May 27, 3:00 pm, ITB/225
#3750 opened May 24, 2024 by smiths
3
Percent (%) symbol is being rendered in italics in the SRS
#3748 opened May 22, 2024 by BilalM04
3
Add Constant Folding to GOOL? question
#3747 opened May 22, 2024 by B-rando1
@balacij @JacquesCarette
3
Adding Support for 1-Indexed Arrays needs-design
#3746 opened May 22, 2024 by B-rando1
@balacij @JacquesCarette
4
Naming all things derived from Quantity question
#3733 opened May 10, 2024 by NoahCardoso
4
Generated Python header comment missing empty line beneath newcomers Good first issue to work on!
#3732 opened May 9, 2024 by B-rando1
1
Drasil Research Group Meeting, Monday, May 13, 3:00 pm, ITB/225
#3730 opened May 9, 2024 by smiths
4
Suggest GHCup (with a Stack installation via GHCup) for all operating systems in the New Workspace Wiki newcomers Good first issue to work on!
#3728 opened May 8, 2024 by balacij
Experiment with generating an mdBook-based variant of the SRS artifacts potential-project
#3722 opened May 8, 2024 by balacij
6
Requirements analysis for discrete indexing design Related to the current design of Drasil (not artifacts).
#3719 opened May 3, 2024 by JacquesCarette
@smiths @balacij
@JacquesCarette @J1aM1ng
Design the types we need for discrete indexing design Related to the current design of Drasil (not artifacts).
#3718 opened May 3, 2024 by JacquesCarette
@balacij @J1aM1ng
2
Inventory all issues related to indexable structures design Related to the current design of Drasil (not artifacts).
#3717 opened May 3, 2024 by JacquesCarette
@balacij @J1aM1ng
3
Inventory all uses of indexing in the examples
#3716 opened May 3, 2024 by JacquesCarette
@J1aM1ng
6
Add stan and weeder to our dev. workflow newcomers Good first issue to work on!
#3710 opened Apr 3, 2024 by balacij
2
Make sure "specialized" definitions reference their "primitive" concepts newcomers Good first issue to work on!
#3706 opened Apr 1, 2024 by samm82
1
SRS PDFs have disappeared from the website bug
#3704 opened Mar 25, 2024 by balacij
@balacij
Identify "concepts" that could be "pulled out" newcomers Good first issue to work on!
#3698 opened Mar 3, 2024 by samm82
2
Forbid capital letters in various sentence and noun phrase constructors newcomers Good first issue to work on!
#3693 opened Feb 16, 2024 by balacij
'Theories': Shift association with IM/DD/TM/GD terms to 'printing' level needs-design
#3691 opened Feb 14, 2024 by balacij
@balacij
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.