{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"cheriot-rtos","owner":"CHERIoT-Platform","isFork":false,"description":"The RTOS components for the CHERIoT research platform","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":5,"issueCount":11,"starsCount":125,"forksCount":42,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-23T10:58:13.607Z"}},{"type":"Public","name":"CHERIoT-Platform.github.io","owner":"CHERIoT-Platform","isFork":false,"description":"CHERIoT web site","allTopics":[],"primaryLanguage":{"name":"CSS","color":"#563d7c"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":6,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-21T08:12:11.591Z"}},{"type":"Public","name":"network-stack","owner":"CHERIoT-Platform","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":2,"issueCount":1,"starsCount":5,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-20T04:49:52.446Z"}},{"type":"Public","name":"llvm-project","owner":"CHERIoT-Platform","isFork":true,"description":"Fork of LLVM adding CHERIoT, based on the CHERI LLVM fork","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":1,"issueCount":10,"starsCount":4,"forksCount":39,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-19T10:32:53.736Z"}},{"type":"Public","name":"cheriot-sail","owner":"CHERIoT-Platform","isFork":false,"description":"Sail code model of the CHERIoT ISA","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":1,"issueCount":16,"starsCount":32,"forksCount":9,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-13T14:58:22.151Z"}},{"type":"Public","name":"devcontainer","owner":"CHERIoT-Platform","isFork":false,"description":"Scripts for creating the CHERIoT dev container","allTopics":[],"primaryLanguage":{"name":"Dockerfile","color":"#384d54"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":3,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-12T07:54:18.715Z"}},{"type":"Public","name":"cheriot-demos","owner":"CHERIoT-Platform","isFork":false,"description":"Space for all of the CHERIoT demos that people have been building for various purposes","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-05T11:54:37.625Z"}},{"type":"Public","name":"book","owner":"CHERIoT-Platform","isFork":false,"description":"The public drafts of the CHERIoT Programmers' Guide","allTopics":[],"primaryLanguage":{"name":"Dockerfile","color":"#384d54"},"pullRequestCount":1,"issueCount":5,"starsCount":4,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-05T09:28:00.019Z"}},{"type":"Public","name":"cheriot-audit","owner":"CHERIoT-Platform","isFork":false,"description":"Auditing tooling for CHEIRoT firmware images","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-15T14:39:12.816Z"}},{"type":"Public","name":"sail-container","owner":"CHERIoT-Platform","isFork":false,"description":"Repository for building a container with Sail preinstalled","allTopics":[],"primaryLanguage":{"name":"Dockerfile","color":"#384d54"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-16T16:27:39.798Z"}},{"type":"Public","name":"sail-riscv","owner":"CHERIoT-Platform","isFork":true,"description":"Sail RISC-V model, tweaked for CHERIoT. Regularly rebased!","allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":2,"issueCount":0,"starsCount":0,"forksCount":159,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-10T23:14:30.547Z"}},{"type":"Public","name":"cheriot-safe-uart-boot-rom","owner":"CHERIoT-Platform","isFork":false,"description":"Boot ROM for loading firmware images onto the CHERIoT Ibex build for the Arty A7","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-26T11:19:54.032Z"}},{"type":"Public","name":".github","owner":"CHERIoT-Platform","isFork":false,"description":"The CHERIoT Platform is a hardware-software platform for secure embedded devices","allTopics":["security","embedded","rtos","cheri","cheriot"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-01T16:01:24.879Z"}}],"repositoryCount":13,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"CHERIoT-Platform repositories"}