Open Issues Need Help
View All on GitHub Add word shifts to basis 8 days ago
enhancement 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 mapPartial from mllist 18 days ago
good first issue low effort looking for LLMs
CakeML/cakeml
1.2K
CakeML: A Verified Implementation of ML
Standard ML
#compiler#formal-semantics#formal-verification#hol#programming-language#sml#theorem-proving
Refactor simps in fsFFIProps 28 days 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
Add contains to Char module 2 months 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 4 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? 4 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) 5 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 5 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 7 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 7 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 8 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 8 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` 9 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 9 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 11 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 12 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
Support for multi-case functions defined by pattern matching about 1 year ago
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 about 1 year 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