{"payload":{"pageCount":10,"repositories":[{"type":"Public","name":"riscv-cheri","owner":"CTSRD-CHERI","isFork":true,"description":"This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory protection and scalable compartmentalization.","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":22,"license":"Creative Commons Attribution 4.0 International","participation":[0,0,4,0,0,0,0,0,0,0,0,0,1,1,0,0,0,0,1,0,0,0,0,0,0,1,4,0,0,3,4,12,75,26,18,12,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-10T11:10:38.400Z"}},{"type":"Public","name":"cheribsd","owner":"CTSRD-CHERI","isFork":false,"description":"FreeBSD adapted for CHERI-RISC-V and Arm Morello.","allTopics":["riscv","cheri","cheribsd","morello","freebsd"],"primaryLanguage":null,"pullRequestCount":33,"issueCount":128,"starsCount":152,"forksCount":57,"license":"Other","participation":[267,309,322,357,220,279,342,352,249,444,265,297,369,266,302,255,311,322,288,224,210,203,312,317,310,230,198,251,393,207,228,149,3,32,32,30,14,28,18,24,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-10T07:38:51.304Z"}},{"type":"Public","name":"llvm-project","owner":"CTSRD-CHERI","isFork":false,"description":"Fork of LLVM adding CHERI support","allTopics":[],"primaryLanguage":null,"pullRequestCount":23,"issueCount":117,"starsCount":43,"forksCount":36,"license":null,"participation":[1,2,1,16,0,0,3,2,13,59,54,24,22,24,1,0,0,0,0,1,0,0,1,0,4,0,0,0,0,0,0,0,0,2,5,6,1,0,0,0,2,0,2,0,3,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-08T19:08:26.177Z"}},{"type":"Public","name":"cheribsd-ports","owner":"CTSRD-CHERI","isFork":true,"description":"FreeBSD ports tree adapted for CheriBSD.","allTopics":[],"primaryLanguage":null,"pullRequestCount":9,"issueCount":36,"starsCount":5,"forksCount":728,"license":"Other","participation":[490,575,1004,1650,559,721,573,895,18,24,13,8,15,17,2,2,1,4,1,0,9,3,2,0,21,3,7,5,0,1,1,3,5,1,3,4,2,1,8,3,6,0,3,0,0,0,0,0,1,1,1,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-07T18:34:21.759Z"}},{"type":"Public","name":"poudriere-infrastructure","owner":"CTSRD-CHERI","isFork":false,"description":"Poudriere infrastructure for CheriBSD packages.","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":6,"starsCount":2,"forksCount":1,"license":null,"participation":[0,0,0,0,0,0,0,0,0,2,2,0,4,6,0,0,0,0,0,0,4,1,0,0,1,2,0,0,0,0,0,0,3,0,0,0,0,0,0,0,3,0,0,0,0,0,0,0,0,3,0,18],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-07T18:20:36.916Z"}},{"type":"Public","name":"QuickCheckVEngine","owner":"CTSRD-CHERI","isFork":false,"description":"A RISC-V TestRIG Verification Engine based on QuickCheck","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":2,"issueCount":5,"starsCount":7,"forksCount":8,"license":"BSD 2-Clause \"Simplified\" License","participation":[0,0,0,0,1,3,0,2,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,1,11,2,1,0,1,0,0,2],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-07T15:25:46.586Z"}},{"type":"Public","name":"BlueAXI4","owner":"CTSRD-CHERI","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Bluespec","color":"#12223c"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":[0,1,0,1,0,2,1,0,0,2,8,0,0,0,1,0,0,1,0,0,0,1,0,0,0,0,0,0,0,0,1,1,0,0,0,2,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-07T13:41:13.474Z"}},{"type":"Public","name":"freebsd-morello","owner":"CTSRD-CHERI","isFork":true,"description":"FreeBSD src tree (read-only mirror)","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":1,"issueCount":0,"starsCount":2,"forksCount":2800,"license":"Other","participation":[126,150,165,161,101,131,142,177,127,213,135,136,138,107,148,110,151,153,135,92,90,87,40,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-07T09:29:09.539Z"}},{"type":"Public","name":"gdb","owner":"CTSRD-CHERI","isFork":false,"description":"The GNU debugger extended to support CHERI","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":3,"issueCount":8,"starsCount":2,"forksCount":2,"license":"GNU General Public License v2.0","participation":[75,59,80,49,58,48,93,84,112,67,68,127,66,48,33,83,56,8,7,12,10,10,10,7,33,2,0,0,0,0,4,6,0,3,0,4,5,3,1,0,2,0,0,5,0,0,0,0,0,1,0,1],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-06T23:16:36.052Z"}},{"type":"Public","name":"chericat","owner":"CTSRD-CHERI","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":1,"issueCount":14,"starsCount":2,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-06T19:46:57.631Z"}},{"type":"Public","name":"v8","owner":"CTSRD-CHERI","isFork":true,"description":"The official mirror of the V8 Git repository","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":3917,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-06T13:49:51.662Z"}},{"type":"Public","name":"libffi","owner":"CTSRD-CHERI","isFork":true,"description":"A portable foreign-function interface library.","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":2,"issueCount":0,"starsCount":1,"forksCount":667,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-06T13:14:15.766Z"}},{"type":"Public","name":"DE10Pro-cheri-bgas","owner":"CTSRD-CHERI","isFork":false,"description":"CHERI-BGAS DE10Pro quartus project","allTopics":[],"primaryLanguage":{"name":"Bluespec","color":"#12223c"},"pullRequestCount":2,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-05T13:13:35.318Z"}},{"type":"Public","name":"cheribsd-website","owner":"CTSRD-CHERI","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":2,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-04T23:48:08.614Z"}},{"type":"Public","name":"cheri-bgas-fuse-devfs","owner":"CTSRD-CHERI","isFork":false,"description":"A fuse filesystem to expose devices in the CHERI BGAS simulator","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-04T15:32:26.228Z"}},{"type":"Public","name":"t-cheri","owner":"CTSRD-CHERI","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-04T15:19:47.371Z"}},{"type":"Public","name":"sail-morello-proofs","owner":"CTSRD-CHERI","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-04T15:18:33.173Z"}},{"type":"Public","name":"TestRIG","owner":"CTSRD-CHERI","isFork":false,"description":"Testing processors with Random Instruction Generation","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":2,"issueCount":6,"starsCount":25,"forksCount":8,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-04T15:12:09.498Z"}},{"type":"Public","name":"ibex","owner":"CTSRD-CHERI","isFork":true,"description":"Ibex is a small 32 bit RISC-V CPU core, previously known as zero-riscy. Forked from <a href=\"https://github.com/ivanmgribeiro-google/ibex\">https://github.com/ivanmgribeiro-google/ibex</a>","allTopics":[],"primaryLanguage":{"name":"SystemVerilog","color":"#DAE1C2"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"Apache License 2.0","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,2,0,1,0,0,0,0,0,0,0,0,0,4],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-04T14:51:39.200Z"}},{"type":"Public","name":"FreeRTOS","owner":"CTSRD-CHERI","isFork":true,"description":"'Classic' FreeRTOS distribution. Started as Git clone of FreeRTOS SourceForge SVN repo. Submodules the kernel.","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1494,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-04T12:27:36.139Z"}},{"type":"Public","name":"FreeRTOS-Labs","owner":"CTSRD-CHERI","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":33,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-04T12:27:04.620Z"}},{"type":"Public","name":"FreeRTOS-Demos-CHERI-RISC-V","owner":"CTSRD-CHERI","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":6,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-04T12:24:55.562Z"}},{"type":"Public","name":"comsg","owner":"CTSRD-CHERI","isFork":false,"description":"Co-process IPC Implementation using a userspace microkernel. ","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":1,"starsCount":3,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-04T12:08:54.009Z"}},{"type":"Public","name":"qemu","owner":"CTSRD-CHERI","isFork":false,"description":"QEMU with support for CHERI","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":17,"issueCount":27,"starsCount":48,"forksCount":27,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-03T23:28:06.968Z"}},{"type":"Public","name":"jenkins-scripts","owner":"CTSRD-CHERI","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Groovy","color":"#4298b8"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-03T18:29:31.892Z"}},{"type":"Public","name":"fmem-uart","owner":"CTSRD-CHERI","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-03T17:27:54.433Z"}},{"type":"Public","name":"Toooba","owner":"CTSRD-CHERI","isFork":true,"description":"RISC-V Core; superscalar, out-of-order, multi-core capable; based on RISCY-OOO from MIT","allTopics":[],"primaryLanguage":{"name":"Bluespec","color":"#12223c"},"pullRequestCount":2,"issueCount":4,"starsCount":18,"forksCount":33,"license":"Other","participation":[1,9,2,1,11,1,1,0,0,1,2,2,0,0,0,0,0,0,0,1,1,0,0,0,0,0,1,0,0,0,5,10,6,6,2,2,1,0,0,0,1,1,4,2,3,0,0,1,3,2,1,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-03T14:51:48.918Z"}},{"type":"Public","name":"FreeRTOS-Labs-libvirtio","owner":"CTSRD-CHERI","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":1,"issueCount":0,"starsCount":5,"forksCount":5,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-03T14:02:39.045Z"}},{"type":"Public","name":"riscv-pk","owner":"CTSRD-CHERI","isFork":true,"description":"RISC-V Proxy Kernel","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":301,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-31T14:52:33.104Z"}},{"type":"Public","name":"cheri-demos","owner":"CTSRD-CHERI","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-30T16:55:20.752Z"}}],"repositoryCount":289,"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":"Repositories"}