{"payload":{"pageCount":1,"repositories":[{"type":"Public archive","name":"wholesome-blog","owner":"fu-dietersheim","isFork":false,"description":"A wholesome blog","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-03-03T17:54:22.676Z"}},{"type":"Public archive","name":"Blockchain","owner":"fu-dietersheim","isFork":false,"description":"A verified permissioned centralized Blockchain for Isabelle/HOL","allTopics":["blockchain","centralized","cyber","formal-verification","distributed-ledger","permissioned"],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":0,"issueCount":0,"starsCount":11,"forksCount":6,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-02-03T07:31:05.970Z"}},{"type":"Public","name":"nukular","owner":"fu-dietersheim","isFork":true,"description":"Das Wort heißt nukular.","allTopics":[],"primaryLanguage":{"name":"CoffeeScript","color":"#244776"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":17395,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-08-13T15:20:37.127Z"}},{"type":"Public","name":"fu-dietersheim.github.io","owner":"fu-dietersheim","isFork":false,"description":"Webseite der Freien Universität Dietersheim","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-07-30T18:01:10.294Z"}},{"type":"Public","name":"verifuck","owner":"fu-dietersheim","isFork":false,"description":"This is a terrible idea that should never have happened","allTopics":[],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-07-30T13:59:34.063Z"}},{"type":"Public","name":"MoonGen","owner":"fu-dietersheim","isFork":true,"description":"MoonGen95","allTopics":[],"primaryLanguage":{"name":"Lua","color":"#000080"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":234,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-08-25T11:27:37.831Z"}},{"type":"Public","name":"theology","owner":"fu-dietersheim","isFork":false,"description":"ontological argument in Isabelle/HOL","allTopics":[],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-08-13T20:11:24.773Z"}},{"type":"Public","name":"isabelle-lol","owner":"fu-dietersheim","isFork":false,"description":"Isabelle/Lower Order Logic","allTopics":[],"primaryLanguage":{"name":"Isabelle","color":"#FEFE00"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":0,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-07-13T15:17:16.940Z"}},{"type":"Public","name":"fully_verified_jvm","owner":"fu-dietersheim","isFork":false,"description":"A fully verified implementation of the Java Virtual Machine","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":9,"forksCount":0,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-06-26T09:07:05.125Z"}},{"type":"Public","name":"hol-falso","owner":"fu-dietersheim","isFork":false,"description":"The Falso axiomatic system for Isabelle/HOL","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":7,"forksCount":0,"license":"Do What The F*ck You Want To Public License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2013-03-31T22:13:56.000Z"}}],"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":"fu-dietersheim repositories"}