AdaCore/ada-spark-rfcs

View on GitHub

Platform to submit RFCs for the Ada & SPARK languages

Stars: 70
Forks: 31
Open beginner issues: 1
Indexed issues: 63
Avg merge: 4d 13h
Merged PRs (30d): 4

Dominant language: No language data
License: No license data
Last GitHub push: Sep 15, 2026
Latest indexed: Sep 20, 2026
Contributing guide: Contributing guide
Code of conduct: Code of conduct
Beginner labels: No beginner labels indexed

Beginner friendly Everything

Open All

63 open issues indexed

[feature] Specifying observed/borrowed object on traversal functions Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 35/100

AdaCore/ada-spark-rfcs#256 · 2 comments · 1 reaction · Opened Sep 15, 2026
What is Flare? Open

Difficulty 2/5 1-3 hours Newbie friendliness 68/100

AdaCore/ada-spark-rfcs#252 · Opened Sep 1, 2026
[feature] Flare: mandatory {} delimiters for record aggregates Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 35/100

AdaCore/ada-spark-rfcs#245 · Opened Aug 20, 2026
[feature] SPARK_Mode_Enabled Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 35/100

AdaCore/ada-spark-rfcs#240 · Opened Jul 31, 2026
oop-dispatching: Does 'Specialized have an effect without Default_Dispatching_Calls? Open

AdaCore/ada-spark-rfcs#219 · 5 comments · 1 assignee · Opened May 11, 2026
[feature] Mutable for .. of iteration with Iterable Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 45/100

AdaCore/ada-spark-rfcs#209 · 3 comments · Opened Apr 20, 2026
[feature] Allow use of discriminants of unchecked unions in non-executable ghost code Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 30/100

AdaCore/ada-spark-rfcs#202 · 1 comment · Opened Feb 18, 2026
[feature] source encoding Open

enhancement

AdaCore/ada-spark-rfcs#198 · 4 comments · 1 assignee · Opened Feb 3, 2026
[feature] Mandatory end designator Open

enhancement

AdaCore/ada-spark-rfcs#177 · 7 comments · 1 assignee · Opened Nov 6, 2025
[feature] Pure functions Open

enhancement STAT::proposed

Difficulty 5/5 Over a week Newbie friendliness 25/100

AdaCore/ada-spark-rfcs#176 · 3 comments · Opened Nov 6, 2025
[feature] Ghost blocks Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

AdaCore/ada-spark-rfcs#171 · 2 comments · Opened Sep 26, 2025
[feature] OOP - Aggregates and assignments Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

AdaCore/ada-spark-rfcs#170 · 6 comments · Opened Sep 25, 2025
[feature] Import Array from Address Open

enhancement STAT::proposed

Difficulty 5/5 Over a week Newbie friendliness 25/100

AdaCore/ada-spark-rfcs#169 · Opened Sep 15, 2025
[feature] Referring to values at labels Open

enhancement STAT::design

Difficulty 5/5 Over a week Newbie friendliness 30/100

AdaCore/ada-spark-rfcs#164 · 16 comments · Opened Sep 1, 2025
[feature] Proposal for a ghost Loop_Index attribute Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

AdaCore/ada-spark-rfcs#163 · 6 comments · Opened Aug 29, 2025
[feature] Class types and primitives Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 15/100

AdaCore/ada-spark-rfcs#162 · Opened Aug 29, 2025
[feature] Ghost fields and parameters Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 10/100

AdaCore/ada-spark-rfcs#161 · Opened Aug 29, 2025
[feature] OOP - Protected Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 10/100

AdaCore/ada-spark-rfcs#160 · Opened Aug 29, 2025
[feature] OOP Attributes Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

AdaCore/ada-spark-rfcs#159 · Opened Aug 29, 2025
[feature] OOP Components Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 10/100

AdaCore/ada-spark-rfcs#158 · Opened Aug 29, 2025
[feature] OOP - Dispatching Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 10/100

AdaCore/ada-spark-rfcs#157 · Opened Aug 29, 2025
[feature] finally for handled_sequence_of_statements Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

AdaCore/ada-spark-rfcs#156 · Opened Aug 29, 2025
[feature] improved generic instantiations Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

AdaCore/ada-spark-rfcs#155 · Opened Aug 29, 2025
[feature] constrained indefinite arrays Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

AdaCore/ada-spark-rfcs#154 · Opened Aug 29, 2025
[feature] Final modifier Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

AdaCore/ada-spark-rfcs#153 · Opened Aug 29, 2025
[feature] Class wide subtype constraints Open

enhancement STAT::proposed

Difficulty 5/5 Over a week Newbie friendliness 25/100

AdaCore/ada-spark-rfcs#152 · Opened Aug 29, 2025
[feature] Adjust_Indexing aspect Open

enhancement RFC STAT::proposed syntax

Difficulty 5/5 Over a week Newbie friendliness 15/100

AdaCore/ada-spark-rfcs#151 · Opened Aug 27, 2025
[feature] Overriding_Interface_In_Child_Package Open

enhancement STAT::proposed

Difficulty 5/5 Over a week Newbie friendliness 20/100

AdaCore/ada-spark-rfcs#150 · Opened Aug 27, 2025
[feature] Deferred Partial Instantiation of Generic Specifications Open

enhancement generics RFC

Difficulty 5/5 Over a week Newbie friendliness 15/100

AdaCore/ada-spark-rfcs#149 · Opened Aug 27, 2025
[feature] Lightweight iterators Open

enhancement iterators RFC syntax

Difficulty 5/5 Over a week Newbie friendliness 15/100

AdaCore/ada-spark-rfcs#148 · Opened Aug 27, 2025
[feature] case statement with renamed type values Open

enhancement quality of life RFC syntax

Difficulty 5/5 Over a week Newbie friendliness 20/100

AdaCore/ada-spark-rfcs#147 · Opened Aug 27, 2025
[feature] Default initialization for out parameters Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

AdaCore/ada-spark-rfcs#146 · Opened Aug 27, 2025
[feature] Generic subtype formals Open

enhancement generics RFC STAT::proposed

Difficulty 5/5 Over a week Newbie friendliness 20/100

AdaCore/ada-spark-rfcs#145 · Opened Aug 19, 2025
[feature] Simple return by reference syntax Open

accessibility enhancement RFC

Difficulty 5/5 Over a week Newbie friendliness 25/100

AdaCore/ada-spark-rfcs#143 · 1 comment · Opened Aug 19, 2025
[feature] Constant range indexing Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

AdaCore/ada-spark-rfcs#142 · Opened Aug 19, 2025
[feature] Indexing/iteration aspects on unbounded strings Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 20/100

AdaCore/ada-spark-rfcs#141 · 1 comment · Opened Aug 19, 2025
[feature] Array Slice Access Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

AdaCore/ada-spark-rfcs#140 · Opened Aug 18, 2025
[feature] Aspect Modifies Open

enhancement STAT::ready-for-prototyping

Difficulty 5/5 Over a week Newbie friendliness 20/100

AdaCore/ada-spark-rfcs#139 · Opened Aug 18, 2025
[feature] Multiple Ghost levels Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 20/100

AdaCore/ada-spark-rfcs#138 · Opened Aug 18, 2025
[feature] aspect for ieee-754 float handling Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

AdaCore/ada-spark-rfcs#135 · Opened Jun 26, 2025
[feature] specifying partial immutability for Ada/SPARK composite types Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 30/100

AdaCore/ada-spark-rfcs#129 · 4 comments · Opened Jan 16, 2025
[feature] More precise “modes” for data modified by a subprogram Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

AdaCore/ada-spark-rfcs#126 · 11 comments · 1 reaction · Opened Nov 4, 2024
[feature] Refer to the loop index in a *for .. of* loop Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

AdaCore/ada-spark-rfcs#125 · 6 comments · 1 reaction · Opened Nov 4, 2024
[feature] Scales of measurement Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

AdaCore/ada-spark-rfcs#119 · 1 reaction · Opened Jul 15, 2024
Trailing commas Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 35/100

AdaCore/ada-spark-rfcs#111 · 1 comment · 8 reactions · Opened Jan 26, 2024
[feature] define range integer types without symmetric base range Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 35/100

AdaCore/ada-spark-rfcs#107 · 3 comments · 1 reaction · Opened Oct 26, 2023
Split Ada into Ada 1983 and Ada 202y branches Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 15/100

AdaCore/ada-spark-rfcs#98 · 2 comments · Opened Jan 10, 2023
[feature] Enumeration values must support a wider range of types Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

AdaCore/ada-spark-rfcs#93 · 1 reaction · Opened Aug 23, 2022
Box notation for array length discriminent in agregates Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

AdaCore/ada-spark-rfcs#92 · 2 comments · 4 reactions · Opened May 12, 2022
[feature] Ghost generic formal parameters Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 30/100

AdaCore/ada-spark-rfcs#91 · 10 comments · Opened May 6, 2022

AdaCore/ada-spark-rfcs

Get new issues in your inbox