The following resources should be added in these categories:
Sequencers
Cairo VMs
- cairo-vm-ts - Typescript implementation of the Cairo VM.
- cairo-vm-gs - Google app script implementation of the Cairo VM.
Operating systems
- SNOS - Rust Library for running the Starknet OS via the Cairo VM.
Node implementations
- Cairo Hints - extension to Cairo language that makes programs easier to implement and cheaper to execute. They allow supplementing programs with data that is difficult to obtain in ZK circuits.
Also, Madara repo link needs to be updated to this one -> https://github.com/madara-alliance/madara