Open Issues Need Help
View All on GitHub Implement `get_opt` in the basis library 2 days ago
enhancement good first issue help wanted looking for LLMs
CakeML/cakeml CakeML/cakeml CakeML: A Verified Implementation of ML
Open project →
1.2K
CakeML: A Verified Implementation of ML
Standard ML
#compiler#formal-semantics#formal-verification#hol#programming-language#sml#theorem-proving
Add word shifts to basis 15 days ago
enhancement help wanted
CakeML/cakeml CakeML/cakeml CakeML: A Verified Implementation of ML
Open project →
1.2K
CakeML: A Verified Implementation of ML
Standard ML
#compiler#formal-semantics#formal-verification#hol#programming-language#sml#theorem-proving
Exploit TMC more in the codebase 23 days ago
good first issue performance looking for LLMs
CakeML/cakeml CakeML/cakeml CakeML: A Verified Implementation of ML
Open project →
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 about 2 months ago
good first issue low effort looking for LLMs
CakeML/cakeml CakeML/cakeml CakeML: A Verified Implementation of ML
Open project →
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 2 months ago
good first issue refactoring
CakeML/cakeml CakeML/cakeml CakeML: A Verified Implementation of ML
Open project →
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 3 months ago
good first issue low effort basis extensions
CakeML/cakeml CakeML/cakeml CakeML: A Verified Implementation of ML
Open project →
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 5 months ago
enhancement help wanted high reward
CakeML/cakeml CakeML/cakeml CakeML: A Verified Implementation of ML
Open project →
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? 5 months ago
good first issue help wanted dev experience
CakeML/cakeml CakeML/cakeml CakeML: A Verified Implementation of ML
Open project →
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) 6 months ago
good first issue refactoring
CakeML/cakeml CakeML/cakeml CakeML: A Verified Implementation of ML
Open project →
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 6 months ago
good first issue refactoring
CakeML/cakeml CakeML/cakeml CakeML: A Verified Implementation of ML
Open project →
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 8 months ago
enhancement good first issue help wanted refactoring dev experience low effort
CakeML/cakeml CakeML/cakeml CakeML: A Verified Implementation of ML
Open project →
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 8 months ago
help wanted refactoring dev experience
CakeML/cakeml CakeML/cakeml CakeML: A Verified Implementation of ML
Open project →
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 9 months ago
good first issue help wanted refactoring low effort medium reward
CakeML/cakeml CakeML/cakeml CakeML: A Verified Implementation of ML
Open project →
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 9 months ago
help wanted refactoring
CakeML/cakeml CakeML/cakeml CakeML: A Verified Implementation of ML
Open project →
1.2K
CakeML: A Verified Implementation of ML
Standard ML
#compiler#formal-semantics#formal-verification#hol#programming-language#sml#theorem-proving
Fix `examples/flover` 10 months ago
help wanted
CakeML/cakeml CakeML/cakeml CakeML: A Verified Implementation of ML
Open project →
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 10 months ago
good first issue refactoring
CakeML/cakeml CakeML/cakeml CakeML: A Verified Implementation of ML
Open project →
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 about 1 year ago
enhancement good first issue medium effort
CakeML/cakeml CakeML/cakeml CakeML: A Verified Implementation of ML
Open project →
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 CakeML/cakeml CakeML: A Verified Implementation of ML
Open project →
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 CakeML/cakeml CakeML: A Verified Implementation of ML
Open project →
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 CakeML/cakeml CakeML: A Verified Implementation of ML
Open project →
1.2K
CakeML: A Verified Implementation of ML
Standard ML
#compiler#formal-semantics#formal-verification#hol#programming-language#sml#theorem-proving