Open Issues Need Help
View All on GitHub Remove mapPartial from mllist 10 days ago
good first issue low effort
CakeML/cakeml
1.2K
CakeML: A Verified Implementation of ML
Standard ML
#compiler#formal-semantics#formal-verification#hol#programming-language#sml#theorem-proving
Add contains to Char module about 1 month ago
good first issue low effort basis extensions
CakeML/cakeml
1.2K
CakeML: A Verified Implementation of ML
Standard ML
#compiler#formal-semantics#formal-verification#hol#programming-language#sml#theorem-proving
Improved representation of strings 3 months ago
enhancement help wanted high reward
CakeML/cakeml
1.2K
CakeML: A Verified Implementation of ML
Standard ML
#compiler#formal-semantics#formal-verification#hol#programming-language#sml#theorem-proving
Make chars_to_nums tail-recursive? 3 months ago
good first issue help wanted dev experience
CakeML/cakeml
1.2K
CakeML: A Verified Implementation of ML
Standard ML
#compiler#formal-semantics#formal-verification#hol#programming-language#sml#theorem-proving
Rename str_def (mlstring) 4 months ago
good first issue refactoring
CakeML/cakeml
1.2K
CakeML: A Verified Implementation of ML
Standard ML
#compiler#formal-semantics#formal-verification#hol#programming-language#sml#theorem-proving
Rename mlstring type to str 4 months ago
good first issue refactoring
CakeML/cakeml
1.2K
CakeML: A Verified Implementation of ML
Standard ML
#compiler#formal-semantics#formal-verification#hol#programming-language#sml#theorem-proving
Fuse strlit and implode in mlstringTheory 6 months ago
enhancement good first issue help wanted refactoring dev experience low effort
CakeML/cakeml
1.2K
CakeML: A Verified Implementation of ML
Standard ML
#compiler#formal-semantics#formal-verification#hol#programming-language#sml#theorem-proving
Tidy up FlatLang's op datatype 6 months ago
help wanted refactoring dev experience
CakeML/cakeml
1.2K
CakeML: A Verified Implementation of ML
Standard ML
#compiler#formal-semantics#formal-verification#hol#programming-language#sml#theorem-proving
Remove Dtype and Dexn from FlatLang 7 months ago
good first issue help wanted refactoring low effort medium reward
CakeML/cakeml
1.2K
CakeML: A Verified Implementation of ML
Standard ML
#compiler#formal-semantics#formal-verification#hol#programming-language#sml#theorem-proving
Remove set_trace on var_eq_old 7 months ago
help wanted refactoring
CakeML/cakeml
1.2K
CakeML: A Verified Implementation of ML
Standard ML
#compiler#formal-semantics#formal-verification#hol#programming-language#sml#theorem-proving
Fix `examples/flover` 8 months ago
help wanted
CakeML/cakeml
1.2K
CakeML: A Verified Implementation of ML
Standard ML
#compiler#formal-semantics#formal-verification#hol#programming-language#sml#theorem-proving
remove opt_rel_def in flat_to_closProofTheory 8 months ago
good first issue refactoring
CakeML/cakeml
1.2K
CakeML: A Verified Implementation of ML
Standard ML
#compiler#formal-semantics#formal-verification#hol#programming-language#sml#theorem-proving
Implement `get_opt` in the basis library 10 months ago
enhancement good first issue help wanted
CakeML/cakeml
1.2K
CakeML: A Verified Implementation of ML
Standard ML
#compiler#formal-semantics#formal-verification#hol#programming-language#sml#theorem-proving
Formalise DEFLATE and add implementation to examples 11 months ago
enhancement good first issue medium effort
CakeML/cakeml
1.2K
CakeML: A Verified Implementation of ML
Standard ML
#compiler#formal-semantics#formal-verification#hol#programming-language#sml#theorem-proving
enhancement help wanted user experience high effort low reward
CakeML/cakeml
1.2K
CakeML: A Verified Implementation of ML
Standard ML
#compiler#formal-semantics#formal-verification#hol#programming-language#sml#theorem-proving
Constant propagation in word_simp 12 months ago
good first issue low effort
CakeML/cakeml
1.2K
CakeML: A Verified Implementation of ML
Standard ML
#compiler#formal-semantics#formal-verification#hol#programming-language#sml#theorem-proving
Update CakeML tutorial to use monadic translator about 1 year ago
help wanted
CakeML/cakeml
1.2K
CakeML: A Verified Implementation of ML
Standard ML
#compiler#formal-semantics#formal-verification#hol#programming-language#sml#theorem-proving