{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"nunchaku","owner":"nunchaku-inria","isFork":false,"description":"Model finder for higher-order logic","allTopics":["logic","proof-assistant","isabelle","sat","model-finding","cvc4","higher-order","hol"],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":13,"starsCount":41,"forksCount":3,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-07T05:43:58.249Z"}},{"type":"Public","name":"nunchaku-problems","owner":"nunchaku-inria","isFork":false,"description":"Set of problems for exercizing Nunchaku","allTopics":[],"primaryLanguage":{"name":"SMT","color":"#ccc"},"pullRequestCount":0,"issueCount":1,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-11-14T03:43:21.069Z"}},{"type":"Public","name":"nunchaku-coq","owner":"nunchaku-inria","isFork":false,"description":"[not-working] Coq plugin for using Nunchaku from Coq","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":1,"starsCount":3,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-06-26T08:14:16.285Z"}},{"type":"Public","name":"nunchaku-vagrant","owner":"nunchaku-inria","isFork":false,"description":"vagrant boxes for compiling nunchaku for several architectures","allTopics":[],"primaryLanguage":{"name":"Ruby","color":"#701516"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-12-15T09:39:18.965Z"}},{"type":"Public","name":"kodkodi-pkg","owner":"nunchaku-inria","isFork":false,"description":"small archlinux package for kodkodi","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-11-03T10:21:45.038Z"}},{"type":"Public","name":"vim-nunchaku","owner":"nunchaku-inria","isFork":false,"description":"Vim syntax coloring for Nunchaku","allTopics":[],"primaryLanguage":{"name":"Vim Script","color":"#199f4b"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-10-28T09:58:35.747Z"}},{"type":"Public","name":"isabelle-nunchaku","owner":"nunchaku-inria","isFork":false,"description":"Nunchaku for Isabelle","allTopics":[],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-10-26T15:31:15.708Z"}},{"type":"Public","name":"tlaps-nunchaku","owner":"nunchaku-inria","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-06-21T13:40:25.204Z"}}],"repositoryCount":8,"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"}