
StarkNet
STRKLayer 2Cairo is the first Turing-complete language for creating provable programs for general computation.
Top Contributors
Recent Commits
8c454e34 days agoMerge remote-tracking branch 'origin/dev-v2.16.1' into orizi/merge-dev-v2.16.1-into-main
Ori Ziv
f0837a97 days agoAdded a check for unsupported const operation on generic and impl constants (#9722)
TomerStarkware
4b5739b7 days agoAdded a check for unsupported const operation on generic and impl constants (#9722)
TomerStarkware
a169e5c19 days agoperformance(starknet): Made contract functions fetching not require inference. (#9699)
orizi
e64e0d121 days agofixed negative impls to not solve when trait is not var free (#9668)
TomerStarkware
69eb72b24 days agobugfix(semantic): Made enum variants stable even if there are redefinitions. (#9695)
orizi
30f9adc10 days agodocs: clarify unsupported chained comparisons across operator pages (#9727)
Aaron Ajose
69f0c6d11 days agodocs: clarify associativity and chained comparisons in operator prece… (#9721)
Luca Moretti