Open Issues Need Help
View All on GitHub Add contains to Char module 18 days 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 2 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? 2 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) 3 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 3 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 5 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` 7 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 7 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 10 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 11 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 12 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