{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"river_core","owner":"incoresemi","isFork":false,"description":"RiVer Core is an open source Python based RISC-V Core Verification framework.","allTopics":["processor","verification","tests","risc-v"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":1,"starsCount":21,"forksCount":7,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-21T10:29:16.867Z"}},{"type":"Public","name":"verilator","owner":"incoresemi","isFork":true,"description":"Verilator open-source SystemVerilog simulator and lint system","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":558,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-29T13:10:43.831Z"}},{"type":"Public","name":"riscv-isa-sim","owner":"incoresemi","isFork":true,"description":"Spike, a RISC-V ISA Simulator","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":814,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-21T05:52:21.564Z"}},{"type":"Public","name":"ELFIO","owner":"incoresemi","isFork":true,"description":"ELFIO - ELF (Executable and Linkable Format) reader and producer implemented as a header only C++ library","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":150,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-28T07:22:34.734Z"}},{"type":"Public","name":"uatg","owner":"incoresemi","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":3,"starsCount":3,"forksCount":4,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-11T12:01:32.931Z"}},{"type":"Public","name":"river_core_plugins","owner":"incoresemi","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Ruby","color":"#701516"},"pullRequestCount":1,"issueCount":1,"starsCount":0,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-09T08:49:57.163Z"}},{"type":"Public","name":"abc","owner":"incoresemi","isFork":true,"description":"ABC: System for Sequential Logic Synthesis and Formal Verification","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":522,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-29T07:41:40.147Z"}},{"type":"Public","name":"chromite_uatg_tests","owner":"incoresemi","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":3,"forksCount":1,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-19T11:36:39.480Z"}},{"type":"Public","name":"cocotb-test","owner":"incoresemi","isFork":true,"description":"Unit testing for cocotb","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":67,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-22T10:35:08.775Z"}},{"type":"Public","name":"riscv-hyp-tests","owner":"incoresemi","isFork":true,"description":"A bare-metal application to test specific features of the risc-v hypervisor extension","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":15,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-08T23:57:55.144Z"}},{"type":"Public","name":"riscv-opcodes","owner":"incoresemi","isFork":true,"description":"RISC-V Opcodes","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":274,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-09T13:49:10.261Z"}},{"type":"Public","name":"cocotb-coverage","owner":"incoresemi","isFork":true,"description":"Functional Coverage and Constrained Randomization Extensions for Cocotb","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":15,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-20T07:03:28.929Z"}},{"type":"Public","name":"sail-riscv","owner":"incoresemi","isFork":true,"description":"Sail RISC-V model","allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":147,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-07-22T04:23:50.088Z"}},{"type":"Public","name":"riscv-arch-test","owner":"incoresemi","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"Assembly","color":"#6E4C13"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":185,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-07-20T06:19:39.892Z"}},{"type":"Public","name":"espresso-logic","owner":"incoresemi","isFork":true,"description":"A modern (2017) compilable re-host of the Espresso heuristic logic minimizer.","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":36,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-04-11T03:00:00.082Z"}}],"repositoryCount":15,"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":"incoresemi repositories"}