{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"zulip-archive","owner":"isabelle-prover","isFork":false,"description":"Public archive of the Isabelle Zulip isabelle.zulipchat.com","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-20T20:17:04.971Z"}},{"type":"Public","name":"mirror-isabelle","owner":"isabelle-prover","isFork":false,"description":"Git mirror of <a href=\"https://isabelle.in.tum.de/repos/isabelle\" rel=\"nofollow\">https://isabelle.in.tum.de/repos/isabelle</a>","allTopics":[],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":1,"issueCount":0,"starsCount":59,"forksCount":14,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-20T02:00:16.518Z"}},{"type":"Public","name":"mirror-afp-devel","owner":"isabelle-prover","isFork":false,"description":"Git mirror of <a href=\"https://foss.heptapod.net/isa-afp/afp-devel\" rel=\"nofollow\">https://foss.heptapod.net/isa-afp/afp-devel</a>","allTopics":[],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-20T01:00:06.112Z"}},{"type":"Public","name":"admin","owner":"isabelle-prover","isFork":false,"description":"Isabelle CI infrastructure","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-08T13:45:55.380Z"}},{"type":"Public","name":"isabelle-linter","owner":"isabelle-prover","isFork":false,"description":"Linter component for Isabelle.","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":2,"starsCount":17,"forksCount":3,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-02T09:12:13.451Z"}},{"type":"Public","name":"mirror-afp-2024","owner":"isabelle-prover","isFork":false,"description":"Git mirror of <a href=\"https://foss.heptapod.net/isa-afp/afp-2024\" rel=\"nofollow\">https://foss.heptapod.net/isa-afp/afp-2024</a>","allTopics":[],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-20T05:00:14.189Z"}},{"type":"Public","name":"isabelle-go-codegen","owner":"isabelle-prover","isFork":false,"description":"Go Code Generation for Isabelle","allTopics":[],"primaryLanguage":{"name":"Standard ML","color":"#dc566d"},"pullRequestCount":2,"issueCount":3,"starsCount":2,"forksCount":2,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-12T06:05:02.555Z"}},{"type":"Public","name":"isabelle-tools-collection","owner":"isabelle-prover","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-10T11:30:11.013Z"}},{"type":"Public","name":"isabelle-build-system","owner":"isabelle-prover","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-04T15:45:21.527Z"}},{"type":"Public archive","name":"mirror-afp-2023","owner":"isabelle-prover","isFork":false,"description":"Git mirror of <a href=\"https://foss.heptapod.net/isa-afp/afp-2023\" rel=\"nofollow\">https://foss.heptapod.net/isa-afp/afp-2023</a>","allTopics":[],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-18T06:00:31.466Z"}},{"type":"Public","name":"cookbook","owner":"isabelle-prover","isFork":false,"description":"A collection of useful tips/tricks/hints for Isabelle users.","allTopics":[],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":0,"issueCount":0,"starsCount":15,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-02T08:14:35.184Z"}},{"type":"Public","name":"proving-contest-backends","owner":"isabelle-prover","isFork":false,"description":"\"proving-contest\"-backends for several theorem provers","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":18,"starsCount":12,"forksCount":5,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-12T11:23:36.000Z"}},{"type":"Public archive","name":"go-component","owner":"isabelle-prover","isFork":false,"description":"Isabelle component for Go (ARCHIVED)","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-27T12:39:31.829Z"}},{"type":"Public","name":"afp-submission","owner":"isabelle-prover","isFork":false,"description":"AFP submission service","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":1,"forksCount":1,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-27T08:36:39.540Z"}},{"type":"Public archive","name":"mirror-afp-2022","owner":"isabelle-prover","isFork":false,"description":"Git mirror of <a href=\"https://foss.heptapod.net/isa-afp/afp-2022\" rel=\"nofollow\">https://foss.heptapod.net/isa-afp/afp-2022</a>","allTopics":[],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-20T05:00:07.112Z"}},{"type":"Public","name":"isabelle-context-build","owner":"isabelle-prover","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-28T16:16:47.656Z"}},{"type":"Public","name":"isabelle-prover.github.io","owner":"isabelle-prover","isFork":false,"description":"Quicklinks","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":2,"issueCount":0,"starsCount":3,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-27T15:30:06.549Z"}},{"type":"Public archive","name":"cakeml-component","owner":"isabelle-prover","isFork":false,"description":"Isabelle component for CakeML","allTopics":["isabelle","cakeml"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-20T07:01:42.041Z"}},{"type":"Public archive","name":"mirror-afp-2021-1","owner":"isabelle-prover","isFork":false,"description":"Git mirror of <a href=\"https://foss.heptapod.net/isa-afp/afp-2021-1\" rel=\"nofollow\">https://foss.heptapod.net/isa-afp/afp-2021-1</a>","allTopics":[],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-15T06:00:05.749Z"}},{"type":"Public","name":"conventions","owner":"isabelle-prover","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":2,"starsCount":2,"forksCount":4,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-02-09T17:06:38.504Z"}},{"type":"Public archive","name":"mirror-afp-2021","owner":"isabelle-prover","isFork":false,"description":"Git mirror of <a href=\"https://foss.heptapod.net/isa-afp/afp-2021\" rel=\"nofollow\">https://foss.heptapod.net/isa-afp/afp-2021</a>","allTopics":[],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-12-13T06:00:17.019Z"}},{"type":"Public archive","name":"mirror-afp-2020","owner":"isabelle-prover","isFork":false,"description":"Git mirror of <a href=\"https://foss.heptapod.net/isa-afp/afp-2020\" rel=\"nofollow\">https://foss.heptapod.net/isa-afp/afp-2020</a>","allTopics":[],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-02-11T05:00:45.683Z"}},{"type":"Public archive","name":"mirror-afp-2019","owner":"isabelle-prover","isFork":false,"description":"Git mirror of <a href=\"https://bitbucket.org/isa-afp/afp-2019\" rel=\"nofollow\">https://bitbucket.org/isa-afp/afp-2019</a>","allTopics":[],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-04-13T04:00:43.807Z"}},{"type":"Public archive","name":"mirror-afp-2018","owner":"isabelle-prover","isFork":false,"description":"Git mirror of <a href=\"https://bitbucket.org/isa-afp/afp-2018\" rel=\"nofollow\">https://bitbucket.org/isa-afp/afp-2018</a>","allTopics":[],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-05-16T04:00:13.808Z"}},{"type":"Public archive","name":"mirror-afp-2017","owner":"isabelle-prover","isFork":false,"description":"Git mirror of <a href=\"https://bitbucket.org/isa-afp/afp-2017\" rel=\"nofollow\">https://bitbucket.org/isa-afp/afp-2017</a>","allTopics":[],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-08-15T03:00:15.560Z"}},{"type":"Public","name":"opentheory-component","owner":"isabelle-prover","isFork":false,"description":"Isabelle component for OpenTheory","allTopics":[],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-05-27T16:15:24.450Z"}},{"type":"Public","name":"inductive_sledgehammer","owner":"isabelle-prover","isFork":false,"description":"ATMEGA32U4 code for the physical Sledgehammer device developed at TUM","allTopics":["isabelle","atmega32u4","atmega"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-03-08T10:18:46.187Z"}},{"type":"Public archive","name":"mirror-afp-2016-1","owner":"isabelle-prover","isFork":false,"description":"Git mirror of <a href=\"https://bitbucket.org/isa-afp/afp-2016-1\" rel=\"nofollow\">https://bitbucket.org/isa-afp/afp-2016-1</a>","allTopics":[],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-09-20T00:00:57.446Z"}},{"type":"Public archive","name":"mirror-afp-2016","owner":"isabelle-prover","isFork":false,"description":"Git mirror of <a href=\"https://bitbucket.org/isa-afp/afp-2016\" rel=\"nofollow\">https://bitbucket.org/isa-afp/afp-2016</a>","allTopics":[],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-02-01T21:40:45.717Z"}}],"repositoryCount":29,"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":"isabelle-prover repositories"}