{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"openjml-rac","owner":"Spekl","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Clojure","color":"#db5855"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-08-15T02:05:05.713Z"}},{"type":"Public","name":"openjml-esc","owner":"Spekl","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"SMT","color":"#ccc"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-08-15T02:03:42.848Z"}},{"type":"Public","name":"openjml","owner":"Spekl","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Clojure","color":"#db5855"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-08-15T02:01:23.844Z"}},{"type":"Public","name":"badbank","owner":"Spekl","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-11-03T02:07:13.416Z"}},{"type":"Public","name":"badbank-branch","owner":"Spekl","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-11-03T02:05:24.768Z"}},{"type":"Public","name":"frama-c","owner":"Spekl","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Clojure","color":"#db5855"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-11-02T13:07:29.240Z"}},{"type":"Public","name":"paper-library","owner":"Spekl","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-10-29T21:46:30.054Z"}},{"type":"Public","name":"extension-test","owner":"Spekl","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-10-29T01:50:53.881Z"}},{"type":"Public","name":"test-specs","owner":"Spekl","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-10-29T01:48:24.559Z"}},{"type":"Public","name":"specs-A-Bank","owner":"Spekl","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-10-24T03:15:09.269Z"}},{"type":"Public","name":"Bank_A-spec","owner":"Spekl","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-10-24T03:08:30.715Z"}},{"type":"Public","name":"aa","owner":"Spekl","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-05-26T15:12:52.704Z"}},{"type":"Public","name":"p1","owner":"Spekl","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-03-26T17:20:32.440Z"}},{"type":"Public","name":"spekl.github.io","owner":"Spekl","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-02-16T19:41:39.244Z"}},{"type":"Public","name":"saw","owner":"Spekl","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Clojure","color":"#db5855"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-12-04T19:54:04.641Z"}},{"type":"Public","name":"checklt","owner":"Spekl","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Clojure","color":"#db5855"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-10-28T19:32:19.964Z"}},{"type":"Public","name":"maybe-add-specs","owner":"Spekl","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-09-02T16:54:11.333Z"}},{"type":"Public","name":"checker-framework","owner":"Spekl","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Clojure","color":"#db5855"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-09-01T23:24:59.804Z"}},{"type":"Public","name":"jml-java-7","owner":"Spekl","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-09-01T17:29:53.317Z"}},{"type":"Public","name":"jml-java-6","owner":"Spekl","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-09-01T17:27:13.695Z"}},{"type":"Public","name":"jml-java-5","owner":"Spekl","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-09-01T17:23:08.379Z"}},{"type":"Public","name":"jml-java-4","owner":"Spekl","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-09-01T17:12:36.312Z"}},{"type":"Public","name":"findbugs","owner":"Spekl","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Clojure","color":"#db5855"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-08-31T21:25:31.832Z"}},{"type":"Public","name":"cvc4","owner":"Spekl","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Clojure","color":"#db5855"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-08-30T20:09:57.847Z"}},{"type":"Public","name":"yices2","owner":"Spekl","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Clojure","color":"#db5855"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-08-30T20:07:39.218Z"}},{"type":"Public","name":"static-files","owner":"Spekl","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-08-30T18:10:05.255Z"}},{"type":"Public","name":"z3","owner":"Spekl","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Clojure","color":"#db5855"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-08-30T16:41:49.969Z"}},{"type":"Public","name":"spekl-package-manager","owner":"Spekl","isFork":true,"description":"Spekl is a system designed to make the specification authoring lifecycle easier.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Clojure","color":"#db5855"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"ISC License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-08-14T22:09:17.820Z"}},{"type":"Public","name":"clj-jgit","owner":"Spekl","isFork":true,"description":"Clojure wrapper around JGit","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Clojure","color":"#db5855"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":54,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-08-05T16:05:33.254Z"}},{"type":"Public","name":"spekl-server","owner":"Spekl","isFork":true,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-07-27T16:30:33.703Z"}}],"repositoryCount":30,"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":"mirror","text":"Mirrors"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}