{"payload":{"pageCount":10,"repositories":[{"type":"Public","name":"cheri-unixbench","owner":"CTSRD-CHERI","isFork":true,"description":"Automatically exported from code.google.com/p/byte-unixbench","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":308,"license":"GNU General Public License v2.0","participation":[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,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-05-27T14:40:54.730Z"}},{"type":"Public","name":"cheribuild","owner":"CTSRD-CHERI","isFork":false,"description":"Easily build and run CHERI related projects","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":15,"issueCount":30,"starsCount":60,"forksCount":43,"license":"Other","participation":[3,16,7,14,3,6,25,5,19,15,31,6,1,10,13,36,2,12,11,25,1,1,4,0,3,0,1,8,8,0,0,2,4,0,9,0,30,6,5,3,0,2,10,0,0,1,8,0,2,6,4,12],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-27T10:02:13.368Z"}},{"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","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Bluespec","color":"#12223c"},"pullRequestCount":2,"issueCount":4,"starsCount":17,"forksCount":30,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-26T22:59:11.192Z"}},{"type":"Public","name":"v8","owner":"CTSRD-CHERI","isFork":true,"description":"The official mirror of the V8 Git repository","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":3914,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-25T14:42:03.662Z"}},{"type":"Public","name":"vipbundle","owner":"CTSRD-CHERI","isFork":false,"description":"A verilog IP bundling tool","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,3,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-24T16:44:57.482Z"}},{"type":"Public","name":"DE10Pro-cheri-bgas","owner":"CTSRD-CHERI","isFork":false,"description":"CHERI-BGAS DE10Pro quartus project","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Bluespec","color":"#12223c"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-24T14:04:58.949Z"}},{"type":"Public","name":"cheribsd","owner":"CTSRD-CHERI","isFork":false,"description":"FreeBSD adapted for CHERI-RISC-V and Arm Morello.","topicNames":["riscv","cheri","cheribsd","morello","freebsd"],"topicsNotShown":0,"allTopics":["riscv","cheri","cheribsd","morello","freebsd"],"primaryLanguage":null,"pullRequestCount":35,"issueCount":130,"starsCount":152,"forksCount":57,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-24T00:11:49.296Z"}},{"type":"Public","name":"fmem-uart","owner":"CTSRD-CHERI","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":[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,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,11],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-23T13:24:21.433Z"}},{"type":"Public","name":"gdb","owner":"CTSRD-CHERI","isFork":false,"description":"The GNU debugger extended to support CHERI","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":3,"issueCount":7,"starsCount":2,"forksCount":2,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-21T22:40:36.052Z"}},{"type":"Public","name":"jenkins-scripts","owner":"CTSRD-CHERI","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Groovy","color":"#4298b8"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":"Other","participation":[0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,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,0,0,0,0,0,0,2,1],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-21T19:00:15.455Z"}},{"type":"Public","name":"BlueStuff","owner":"CTSRD-CHERI","isFork":false,"description":"A Bluespec SystemVerilog library of miscellaneous components","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Bluespec","color":"#12223c"},"pullRequestCount":0,"issueCount":0,"starsCount":13,"forksCount":2,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-21T15:21:50.122Z"}},{"type":"Public","name":"poudriere-infrastructure","owner":"CTSRD-CHERI","isFork":false,"description":"Poudriere infrastructure for CheriBSD packages.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":6,"starsCount":2,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-21T14:54:56.916Z"}},{"type":"Public","name":"cheribsd-ports","owner":"CTSRD-CHERI","isFork":true,"description":"FreeBSD ports tree adapted for CheriBSD.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":9,"issueCount":34,"starsCount":5,"forksCount":724,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-21T09:37:28.944Z"}},{"type":"Public","name":"libffi","owner":"CTSRD-CHERI","isFork":true,"description":"A portable foreign-function interface library.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":2,"issueCount":0,"starsCount":1,"forksCount":663,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-20T21:35:44.721Z"}},{"type":"Public","name":"qemu","owner":"CTSRD-CHERI","isFork":false,"description":"QEMU with support for CHERI","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":17,"issueCount":27,"starsCount":47,"forksCount":27,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-20T17:44:02.195Z"}},{"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.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1481,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-20T11:09:43.139Z"}},{"type":"Public","name":"FreeRTOS-Demos-CHERI-RISC-V","owner":"CTSRD-CHERI","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":6,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-20T10:53:16.562Z"}},{"type":"Public","name":"llvm-project","owner":"CTSRD-CHERI","isFork":false,"description":"Fork of LLVM adding CHERI support","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":24,"issueCount":117,"starsCount":42,"forksCount":36,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-20T09:53:47.408Z"}},{"type":"Public","name":"cheritest","owner":"CTSRD-CHERI","isFork":false,"description":"CHERI-MIPS ISA testsuite","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Assembly","color":"#6E4C13"},"pullRequestCount":0,"issueCount":8,"starsCount":1,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-18T21:35:27.451Z"}},{"type":"Public","name":"tcl","owner":"CTSRD-CHERI","isFork":true,"description":"The Tcl Core. (Mirror of core.tcl-lang.org) ","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":180,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-17T11:35:18.588Z"}},{"type":"Public","name":"cheri-specification","owner":"CTSRD-CHERI","isFork":false,"description":"CHERI ISA Specification","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":3,"issueCount":36,"starsCount":17,"forksCount":6,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-16T12:58:30.544Z"}},{"type":"Public","name":"chericat","owner":"CTSRD-CHERI","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":1,"issueCount":15,"starsCount":2,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-15T20:12:50.335Z"}},{"type":"Public","name":"BlueAXI4","owner":"CTSRD-CHERI","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Bluespec","color":"#12223c"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-15T17:33:28.474Z"}},{"type":"Public","name":"QuickCheckVEngine","owner":"CTSRD-CHERI","isFork":false,"description":"A RISC-V TestRIG Verification Engine based on QuickCheck","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":1,"issueCount":5,"starsCount":7,"forksCount":8,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-15T08:00:26.925Z"}},{"type":"Public","name":"zfs","owner":"CTSRD-CHERI","isFork":true,"description":"OpenZFS ported to CheriBSD (NOTE: cheri-* branches will be rebased)","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1696,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-14T17:55:20.644Z"}},{"type":"Public","name":"de10pro-playground-user-scripts","owner":"CTSRD-CHERI","isFork":false,"description":"User scripts for the de10pro playground framework","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-14T08:25:52.862Z"}},{"type":"Public","name":"BlueBasics","owner":"CTSRD-CHERI","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Bluespec","color":"#12223c"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":3,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-10T14:17:10.782Z"}},{"type":"Public","name":"ghidra","owner":"CTSRD-CHERI","isFork":true,"description":"Ghidra is a software reverse engineering (SRE) framework","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":5580,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-09T17:22:17.762Z"}},{"type":"Public","name":"cheri-exercises","owner":"CTSRD-CHERI","isFork":false,"description":"Learning exercises for CHERI","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":4,"issueCount":3,"starsCount":16,"forksCount":9,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-09T14:53:47.869Z"}},{"type":"Public","name":"sail-cheri-riscv","owner":"CTSRD-CHERI","isFork":false,"description":"CHERI-RISC-V model written in Sail","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":10,"issueCount":3,"starsCount":54,"forksCount":18,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-09T08:58:59.993Z"}}],"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"}