{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"tamarin-prover","owner":"tamarin-prover","isFork":false,"description":"Main source code repository of the Tamarin prover for security protocol verification.","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":14,"issueCount":102,"starsCount":401,"forksCount":128,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-25T13:48:55.827Z"}},{"type":"Public","name":"vscode-tamarin","owner":"tamarin-prover","isFork":true,"description":"A VSCode plugin for Tamarin files","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":6,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-25T12:12:13.133Z"}},{"type":"Public","name":"manual","owner":"tamarin-prover","isFork":false,"description":"Tamarin prover manual: source files","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":20,"starsCount":23,"forksCount":39,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-19T15:22:02.985Z"}},{"type":"Public","name":"tamarin-prover.github.io","owner":"tamarin-prover","isFork":false,"description":"Source repository for the tamarin-prover.github.io github pages.","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-24T22:37:28.199Z"}},{"type":"Public","name":"editors","owner":"tamarin-prover","isFork":false,"description":"Repository for text editor syntax highlighting","allTopics":[],"primaryLanguage":{"name":"Vim Script","color":"#199f4b"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":5,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-15T13:42:28.279Z"}},{"type":"Public","name":"teaching","owner":"tamarin-prover","isFork":false,"description":"Teaching materials related to the Tamarin Prover","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":4,"starsCount":59,"forksCount":6,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-11T14:58:00.633Z"}},{"type":"Public","name":"homebrew-tap","owner":"tamarin-prover","isFork":false,"description":"Homebrew tap for installing the Tamarin prover","allTopics":[],"primaryLanguage":{"name":"Ruby","color":"#701516"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":7,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-02T19:43:59.238Z"}},{"type":"Public","name":"binaries","owner":"tamarin-prover","isFork":false,"description":"Binary files","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-04-29T13:55:39.384Z"}},{"type":"Public","name":"editor-sublime","owner":"tamarin-prover","isFork":false,"description":"Repository for text editor (sublime) syntax highlighting","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":2,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-04-26T10:15:19.234Z"}}],"repositoryCount":9,"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":"tamarin-prover repositories"}