Contiki: The Open Source Operating System for the Internet of Things
Contiki-ng (new development)
Historical contiki-os git repo
Thingsquare