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

387 Open 1,716 Closed
387 Open 1,716 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

Percent (%) symbol is being rendered in italics in the SRS
#3748 opened May 22, 2024 by BilalM04
2
Add Constant Folding to GOOL? question
#3747 opened May 22, 2024 by B-rando1
@balacij @JacquesCarette
1
Adding Support for 1-Indexed Arrays needs-design
#3746 opened May 22, 2024 by B-rando1
@balacij @JacquesCarette
Drasil Research Group Meeting, Friday, May 24, 11:00 am, Room TBD
#3742 opened May 17, 2024 by smiths
5
Naming all things derived from Quantity question
#3733 opened May 10, 2024 by NoahCardoso
4
Generated Python header comment missing empty line beneath
#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
5
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
1
Inventory all uses of indexing in the examples
#3716 opened May 3, 2024 by JacquesCarette
@J1aM1ng
2
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
CI: Make sure to check gool test artifacts against stable/gooltest
#3678 opened Nov 20, 2023 by balacij
@balacij
CI: Maintain a cache
#3675 opened Nov 9, 2023 by balacij
@balacij
Website: case studies list: add a link to the source code too documentation Documentation of Drasil itself - how to install, how to use, build system etc. newcomers Good first issue to work on!
#3668 opened Sep 17, 2023 by balacij
1
8
Create a criterion for 'valid' proper nouns newcomers Good first issue to work on!
#3666 opened Sep 17, 2023 by balacij
3
Use Swift-DocC and swiftpm for dealing with swift package documentation and builds, respectively enhancement
#3659 opened Sep 13, 2023 by balacij
Enforcing that examples have outputs question
#3652 opened Aug 23, 2023 by samm82
2
ProTip! Exclude everything labeled bug with -label:bug.