{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"verifaps-lib","owner":"VerifAPS","isFork":false,"description":"Libraries for the analysis of IEC61131-3 code ","allTopics":["iec61131","plc","aps"],"primaryLanguage":{"name":"Kotlin","color":"#A97BFF"},"pullRequestCount":0,"issueCount":0,"starsCount":15,"forksCount":5,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-26T07:59:36.603Z"}},{"type":"Public","name":"verifaps.github.io","owner":"VerifAPS","isFork":false,"description":"Website","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-12-04T09:50:46.205Z"}},{"type":"Public","name":"verifaps-website","owner":"VerifAPS","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-03-28T03:55:31.616Z"}},{"type":"Public","name":"geteta-vscode","owner":"VerifAPS","isFork":false,"description":"VS Code extension for Generalized Test Tables","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-02-13T23:20:28.494Z"}},{"type":"Public","name":"stvs","owner":"VerifAPS","isFork":false,"description":"StructuredText Verification Studio","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":1,"issueCount":22,"starsCount":9,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-10-12T00:07:26.424Z"}},{"type":"Public","name":"playground","owner":"VerifAPS","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-08-07T21:28:20.088Z"}},{"type":"Public","name":"xPPU_Model_Share","owner":"VerifAPS","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-03-21T03:47:50.684Z"}},{"type":"Public","name":"atom-iec61131","owner":"VerifAPS","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-02-17T03:11:45.975Z"}},{"type":"Public archive","name":"iec-modularization","owner":"VerifAPS","isFork":false,"description":"Proof modularization for IEC61131 software","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-06-08T09:14:35.641Z"}},{"type":"Public","name":"pysmvtools","owner":"VerifAPS","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-03-22T14:56:49.239Z"}}],"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":"VerifAPS repositories"}