{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"libriscv","owner":"agra-uni-bremen","isFork":false,"description":"Extensible implementation of the RISC-V ISA based on FreeMonads","topicNames":["simulation","free-monads","formal-specification","riscv-v"],"topicsNotShown":0,"allTopics":["simulation","free-monads","formal-specification","riscv-v"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":1,"license":"MIT License","participation":[0,0,0,0,7,7,0,6,0,0,1,0,0,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,2,17,22,0,0,1,1,12],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-28T08:17:55.349Z"}},{"type":"Public","name":"BinSym","owner":"agra-uni-bremen","isFork":false,"description":"Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model","topicNames":["symbolic-execution","riscv","program-analysis","riscv32"],"topicsNotShown":0,"allTopics":["symbolic-execution","riscv","program-analysis","riscv32"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":31,"forksCount":3,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-24T07:28:49.723Z"}},{"type":"Public","name":"formal-iss","owner":"agra-uni-bremen","isFork":false,"description":"Generate an ISS for riscv-vp from a formal LibRISCV ISA model","topicNames":["simulation","code-generation","risc-v","formal-specification","riscv32","unparser"],"topicsNotShown":0,"allTopics":["simulation","code-generation","risc-v","formal-specification","riscv32","unparser"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-13T12:24:13.588Z"}}],"repositoryCount":3,"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"}