{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"InfSeqExt","owner":"DistributedComponents","isFork":false,"description":"A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators","topicNames":["coq","proof","temporal-logic","modal-logic","ltl","coq-library"],"topicsNotShown":0,"allTopics":["coq","proof","temporal-logic","modal-logic","ltl","coq-library"],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":1,"starsCount":13,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-01-07T12:58:58.682Z"}},{"type":"Public","name":"disel","owner":"DistributedComponents","isFork":false,"description":"Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq","topicNames":["distributed-systems","proof","separation-logic","coq-library","two-phase-commit","ssreflect","mathcomp","coq"],"topicsNotShown":0,"allTopics":["distributed-systems","proof","separation-logic","coq-library","two-phase-commit","ssreflect","mathcomp","coq"],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":93,"forksCount":8,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-16T21:51:36.571Z"}},{"type":"Public","name":"verdi-runtime","owner":"DistributedComponents","isFork":false,"description":"Verdi framework runtime library","topicNames":["ocaml-library","network-library","runtime-system","ocaml","verdi"],"topicsNotShown":0,"allTopics":["ocaml-library","network-library","runtime-system","ocaml","verdi"],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":2,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-16T20:33:10.007Z"}},{"type":"Public","name":"opam-repository-dev","owner":"DistributedComponents","isFork":false,"description":"Distributed Components development package repository for OPAM","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-05-02T19:49:08.327Z"}},{"type":"Public","name":"verdi-chord","owner":"DistributedComponents","isFork":false,"description":"An implementation of the Chord lookup protocol verified in Coq using the Verdi framework","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":6,"starsCount":10,"forksCount":1,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-02-18T21:41:28.927Z"}},{"type":"Public","name":"distributedcomponents.github.io","owner":"DistributedComponents","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-09-19T17:00:58.386Z"}},{"type":"Public","name":"coqproject","owner":"DistributedComponents","isFork":false,"description":"Bash script for simple generation of Coq project metadata files","topicNames":["bash","coq","build-tools"],"topicsNotShown":0,"allTopics":["bash","coq","build-tools"],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":1,"starsCount":9,"forksCount":6,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-01-19T08:31:00.792Z"}},{"type":"Public","name":"verdi-lockserv","owner":"DistributedComponents","isFork":false,"description":"An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework","topicNames":["distributed-systems","proof","verdi","mutual-exclusion","coq"],"topicsNotShown":0,"allTopics":["distributed-systems","proof","verdi","mutual-exclusion","coq"],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":13,"forksCount":5,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-10-23T10:53:43.951Z"}},{"type":"Public","name":"opam-repository-coq-dev","owner":"DistributedComponents","isFork":false,"description":"Distributed Components Coq development package repository for OPAM","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-09-25T05:37:06.803Z"}},{"type":"Public archive","name":"verdi-cheerios","owner":"DistributedComponents","isFork":false,"description":"A verified system transformer for serialization of Verdi systems using the Cheerios library.","topicNames":["proof","coq-library","verdi","serialization","coq"],"topicsNotShown":0,"allTopics":["proof","coq-library","verdi","serialization","coq"],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-08-24T20:41:40.976Z"}},{"type":"Public","name":"verdi-aggregation","owner":"DistributedComponents","isFork":false,"description":"An implementation of a distributed aggregation protocol, verified in Coq using the Verdi framework","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":1,"starsCount":2,"forksCount":0,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-08-05T04:48:07.424Z"}},{"type":"Public archive","name":"coq-parser-validator","owner":"DistributedComponents","isFork":false,"description":"Standalone version of CompCert's parser validator Coq library as used by the Menhir parser generator","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-07-24T01:40:08.562Z"}},{"type":"Public","name":"opam-repository","owner":"DistributedComponents","isFork":false,"description":"Distributed Components package repository for OPAM","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-01-19T19:20:56.922Z"}},{"type":"Public","name":"discoberry-farm","owner":"DistributedComponents","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-01-06T06:06:17.044Z"}}],"repositoryCount":14,"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":"Repositories"}