{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"jayhorn","owner":"jayhorn","isFork":false,"description":"Static checker for Java","topicNames":["static-analysis","verification","model-checking","java"],"topicsNotShown":0,"allTopics":["static-analysis","verification","model-checking","java"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":19,"starsCount":79,"forksCount":21,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-23T07:16:49.503Z"}},{"type":"Public","name":"web-jayhorn","owner":"jayhorn","isFork":false,"description":"Webservice for JayHorn","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"CSS","color":"#563d7c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-03-04T22:14:17.925Z"}},{"type":"Public","name":"eldarica","owner":"jayhorn","isFork":true,"description":"The Eldarica model checker","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":21,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-02-03T04:00:42.722Z"}},{"type":"Public","name":"benchmarks","owner":"jayhorn","isFork":false,"description":"Benchmarks for JayHorn","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":1,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-01-22T17:00:23.256Z"}},{"type":"Public","name":"JayHornSpecs","owner":"jayhorn","isFork":false,"description":"Specifications for Java library classes/interfaces (e.g. List) to enable analysis with JayHorn.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-11-04T23:07:43.084Z"}},{"type":"Public","name":"benchtop","owner":"jayhorn","isFork":false,"description":"JayHorn’s bytecode transformations validator","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-08-30T15:52:36.785Z"}},{"type":"Public","name":"cav_experiments","owner":"jayhorn","isFork":false,"description":"Experimental setup. Look at TravisCI to see the results of the experiments.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-05-17T19:25:47.728Z"}},{"type":"Public","name":"DynSlicer","owner":"jayhorn","isFork":false,"description":"Use Randoop, Daikon, ASM, and Soot to generate executable error traces.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":4,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-05-10T03:46:07.809Z"}},{"type":"Public","name":"dljc","owner":"jayhorn","isFork":false,"description":"do-like-javac (or dljc for short) is a tool for monitoring the build process of a Java project and recording information passed to javac","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-03-22T21:37:59.748Z"}},{"type":"Public","name":"soot","owner":"jayhorn","isFork":true,"description":"Soot - A Java optimization framework","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":706,"license":"GNU Lesser General Public License v2.1","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-02-18T15:52:35.299Z"}}],"repositoryCount":10,"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"}