{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"Z_Machines","owner":"isabelle-utp","isFork":false,"description":"Z-style Machines based on Interaction Trees","allTopics":[],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-10T15:25:24.879Z"}},{"type":"Public","name":"interaction-trees","owner":"isabelle-utp","isFork":false,"description":"Interactions Trees in Isabelle/HOL and a CSP model","allTopics":[],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":1,"issueCount":1,"starsCount":6,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-06T20:43:19.880Z"}},{"type":"Public","name":"Z_Toolkit","owner":"isabelle-utp","isFork":false,"description":"This is an implementation of the Z mathematical toolkit in Isabelle/HOL, as described in ISO 13568:2002.","allTopics":[],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":0,"issueCount":2,"starsCount":5,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-02T13:48:33.873Z"}},{"type":"Public","name":"CyPhyAssure","owner":"isabelle-utp","isFork":false,"description":"Distribution of the CyPhyAssure tools","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":1,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-21T11:01:14.190Z"}},{"type":"Public","name":"Abstract_Prog_Syntax","owner":"isabelle-utp","isFork":false,"description":"A simple Isabelle session introducing syntax for abstract programs","allTopics":[],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-10T15:56:33.633Z"}},{"type":"Public","name":"Hybrid-Verification","owner":"isabelle-utp","isFork":false,"description":"Components for Verifying Hybrid Systems in Isabelle/HOL","allTopics":[],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-09T15:48:26.608Z"}},{"type":"Public","name":"Shallow-Expressions","owner":"isabelle-utp","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":0,"issueCount":1,"starsCount":3,"forksCount":2,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-30T01:51:18.031Z"}},{"type":"Public","name":"Total_Recall","owner":"isabelle-utp","isFork":false,"description":"A utility to enable better support for overriding of syntax notation in Isabelle/HOL, developed by Dr Frank Zeyda.","allTopics":[],"primaryLanguage":{"name":"Standard ML","color":"#dc566d"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-30T01:13:42.258Z"}},{"type":"Public","name":"Optics","owner":"isabelle-utp","isFork":false,"description":"Lenses, Prisms, Scenes, and other Optics in Isabelle/HOL","allTopics":[],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-30T01:12:42.267Z"}},{"type":"Public","name":"explore-subgoal","owner":"isabelle-utp","isFork":true,"description":"Adds an \"explore_subgoal\" command to Mathias Fleury's Explorer.thy","allTopics":[],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-30T01:10:55.216Z"}},{"type":"Public","name":"UTP-Designs","owner":"isabelle-utp","isFork":false,"description":"The UTP theory of designs","allTopics":[],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":2,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-30T14:35:55.738Z"}},{"type":"Public","name":"utp-main","owner":"isabelle-utp","isFork":false,"description":"An implementation of Hoare and He's Unifying Theories of Programming in Isabelle","allTopics":["theory","isabelle","hol","utp","unifying-theories"],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":1,"issueCount":2,"starsCount":34,"forksCount":10,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-29T22:07:26.075Z"}},{"type":"Public","name":"mirror-afp-2023","owner":"isabelle-utp","isFork":true,"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":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-15T16:44:09.466Z"}},{"type":"Public","name":"CAS-Integration","owner":"isabelle-utp","isFork":true,"description":"A project to integrate the functionality of Computer Algebra Systems into Isabelle","allTopics":[],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-09T11:33:29.321Z"}},{"type":"Public","name":"UTP","owner":"isabelle-utp","isFork":false,"description":"A refreshed and minimalist implementation of Isabelle/UTP","allTopics":[],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":1,"issueCount":0,"starsCount":4,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-31T15:46:45.312Z"}},{"type":"Public","name":"UTP-Reactive","owner":"isabelle-utp","isFork":false,"description":"UTP theory of reactive processes","allTopics":[],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-15T22:34:39.621Z"}},{"type":"Public","name":"Z_Machines_Examples","owner":"isabelle-utp","isFork":false,"description":"A library of examples based on Z-Machines","allTopics":[],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-12T21:18:46.247Z"}},{"type":"Public","name":"mirror-afp-2022","owner":"isabelle-utp","isFork":true,"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":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-02T16:15:02.793Z"}},{"type":"Public","name":"isabelle-quantity","owner":"isabelle-utp","isFork":false,"description":"Quantities in Isabelle/HOL","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-01-09T15:25:43.179Z"}},{"type":"Public","name":"RoboChart-Isabelle","owner":"isabelle-utp","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":"2023-01-04T15:42:29.320Z"}},{"type":"Public","name":"FSA_Proof","owner":"isabelle-utp","isFork":false,"description":"A simple example tool for verifying finite state automata with a little DSL","allTopics":[],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-12T11:13:38.690Z"}},{"type":"Public","name":"UTP-Docs","owner":"isabelle-utp","isFork":false,"description":"Documentation for Isabelle/UTP","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-29T16:44:05.921Z"}},{"type":"Public","name":"isabelle-x11-docker","owner":"isabelle-utp","isFork":false,"description":"Docker image and runtime for Isabelle with X11 support.","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-27T02:05:09.419Z"}},{"type":"Public","name":"mirror-afp-2021-1","owner":"isabelle-utp","isFork":true,"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":0,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-08T08:58:29.564Z"}},{"type":"Public","name":"mirror-afp-2021","owner":"isabelle-utp","isFork":true,"description":"Git mirror of foss.heptapod.net/isa-afp/afp-2021","allTopics":[],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-07T15:40:20.816Z"}},{"type":"Public","name":"Hybrid-Library","owner":"isabelle-utp","isFork":false,"description":"Additional theorems and tools to supporting reasoning about hybrid systems in Isabelle/HOL","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-02-23T14:55:08.231Z"}},{"type":"Public","name":"Isabelle-API","owner":"isabelle-utp","isFork":false,"description":"A simple reflective API for Isabelle/HOL targeting code generation.","allTopics":[],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-11-20T09:32:41.640Z"}},{"type":"Public","name":"Isabelle-SACM","owner":"isabelle-utp","isFork":false,"description":"An implementation of the Structured Assurance Case Meta-model in Isabelle using Isabelle/DOF","allTopics":[],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-11-10T02:26:54.137Z"}}],"repositoryCount":28,"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-utp repositories"}