{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"CHA","owner":"iscas-tis","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":12,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-12T03:34:59.912Z"}},{"type":"Public","name":"chicala","owner":"iscas-tis","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-11T16:32:48.942Z"}},{"type":"Public","name":"riscv-spec-core","owner":"iscas-tis","isFork":false,"description":"Minimal RISC-V Chisel design strictly reflecting the ISA document for verification.","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-11T15:42:57.942Z"}},{"type":"Public","name":"nutshell-fv","owner":"iscas-tis","isFork":true,"description":"Formal verification on NutShell using riscv-spec-core","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":235,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-11T06:17:51.401Z"}},{"type":"Public","name":"chisel-formal-verification","owner":"iscas-tis","isFork":false,"description":"Formal verification tools for Chisel and RISC-V","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":10,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-02T02:58:12.727Z"}},{"type":"Public","name":"PacPMA","owner":"iscas-tis","isFork":false,"description":"The PAC-based Parametric Model Analyzer","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-12T01:50:08.438Z"}},{"type":"Public","name":"roll-library","owner":"iscas-tis","isFork":false,"description":"Regular Omega Language Learning Library","allTopics":["learning","automata","omega-regular","inclusion-checking","complementation"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":9,"forksCount":6,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-10T10:38:19.937Z"}},{"type":"Public","name":"ePMC","owner":"iscas-tis","isFork":false,"description":"EPMC: An Extendible Probabilistic Model Checker","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":2,"starsCount":14,"forksCount":5,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-16T02:44:53.570Z"}},{"type":"Public","name":"deepg","owner":"iscas-tis","isFork":true,"description":"Certifying Geometric Robustness of Neural Networks","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":7,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-12-05T09:16:14.020Z"}},{"type":"Public","name":"PRODeep","owner":"iscas-tis","isFork":false,"description":"PRODeep: A Platform for Robustness Verification of Deep Neural Networks","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":11,"forksCount":3,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-11-11T11:55:17.752Z"}},{"type":"Public","name":"ReluplexCav2017","owner":"iscas-tis","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":48,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-11-11T10:50:00.481Z"}},{"type":"Public","name":"SVMRanker","owner":"iscas-tis","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":0,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-09-04T01:43:13.876Z"}},{"type":"Public","name":"spotj","owner":"iscas-tis","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-01-11T09:31:08.940Z"}},{"type":"Public","name":"RABIT","owner":"iscas-tis","isFork":false,"description":"Buchi Inclusion Testing Tool from <a href=\"http://www.languageinclusion.org/doku.php\" rel=\"nofollow\">http://www.languageinclusion.org/doku.php</a>","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-01-09T03:44:38.904Z"}},{"type":"Public","name":"omega-tests","owner":"iscas-tis","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-12-18T08:22:15.866Z"}},{"type":"Public","name":"qcomp","owner":"iscas-tis","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"CSS","color":"#563d7c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":7,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-12-10T16:28:39.163Z"}},{"type":"Public","name":"roll-library-tests","owner":"iscas-tis","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-11-09T12:29:01.402Z"}},{"type":"Public","name":"fdfa","owner":"iscas-tis","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-12-12T16:21:36.621Z"}}],"repositoryCount":18,"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":"iscas-tis repositories"}