{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"proofengineering.github.io","owner":"proofengineering","isFork":false,"description":"Studying Software Engineering in the Proof Assistant world.","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":6,"starsCount":7,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-07-04T17:21:12.211Z"}},{"type":"Public","name":"regmatch","owner":"proofengineering","isFork":false,"description":"Certified regular expression matcher in Coq","allTopics":["regexp","ssreflect","mathcomp","coq"],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-03-17T23:57:11.786Z"}},{"type":"Public","name":"proofengineering-bib","owner":"proofengineering","isFork":false,"description":"BibTeX bibliographies for proof engineering-related papers","allTopics":["bibtex","bibliography","bibtex-db","proof-engineering"],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":28,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-07-24T19:31:14.566Z"}},{"type":"Public","name":"opam-repository-dev","owner":"proofengineering","isFork":false,"description":"Proof engineering development package repository for OPAM ","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-07-21T18:19:10.762Z"}},{"type":"Public","name":"atbr-plugin","owner":"proofengineering","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-07-21T17:59:30.918Z"}},{"type":"Public","name":"coq","owner":"proofengineering","isFork":true,"description":"Coq with extensions for proof engineering","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":636,"license":"GNU Lesser General Public License v2.1","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-06-13T23:51:12.903Z"}},{"type":"Public","name":"coq-dpdgraph","owner":"proofengineering","isFork":true,"description":"Build dependency graphs between COQ objects","allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":28,"license":"GNU Lesser General Public License v2.1","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-05-03T23:10:48.503Z"}},{"type":"Public","name":"serapi-tests","owner":"proofengineering","isFork":false,"description":"Some Coq regression tests for SerAPI","allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-11-25T16:52:19.557Z"}},{"type":"Public archive","name":"coq-docker","owner":"proofengineering","isFork":false,"description":"Dockerfiles with various versions of Coq","allTopics":[],"primaryLanguage":{"name":"Roff","color":"#ecdebe"},"pullRequestCount":0,"issueCount":1,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-09-30T05:45:14.584Z"}},{"type":"Public archive","name":"reglang","owner":"proofengineering","isFork":false,"description":"OPAM friendly version of files from the paper Regular Language Representations in the Constructive Type Theory of Coq","allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-09-23T21:28:51.264Z"}},{"type":"Public archive","name":"coqhammer","owner":"proofengineering","isFork":false,"description":"A fork of the CoqHammer proof automation plugin","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-09-23T21:20:41.331Z"}},{"type":"Public","name":"ott","owner":"proofengineering","isFork":true,"description":"Ott is a tool for writing definitions of programming languages and calculi","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":45,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-04-27T21:30:56.375Z"}},{"type":"Public","name":"htt","owner":"proofengineering","isFork":true,"description":"Hoare Type Theory ","allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":5,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-02-28T16:24:47.649Z"}},{"type":"Public","name":"UniMath","owner":"proofengineering","isFork":true,"description":"This coq library aims to formalize a substantial body of mathematics using the univalent point of view.","allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":171,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-01-17T09:32:28.271Z"}},{"type":"Public","name":"proofengineering-doc","owner":"proofengineering","isFork":false,"description":"Documentation related to proof engineering","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-12-20T19:23:13.235Z"}},{"type":"Public archive","name":"coqproject-legacy","owner":"proofengineering","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":6,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-12-09T01:41:09.515Z"}},{"type":"Public","name":"icoq","owner":"proofengineering","isFork":false,"description":"A regression proof selection tool for the Coq proof assistant","allTopics":["continuous-integration","coq","proof","regression-proof-selection"],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-12-01T05:27:46.577Z"}},{"type":"Public","name":"opam-repository","owner":"proofengineering","isFork":false,"description":"Proof engineering released package repository for OPAM ","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-11-17T22:55:13.490Z"}},{"type":"Public","name":"coq-depends","owner":"proofengineering","isFork":false,"description":"Coq plugin for plain dependency extraction","allTopics":["dependency-analysis","coq","coq-plugin"],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"GNU Lesser General Public License v2.1","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-09-20T22:41:53.978Z"}},{"type":"Public","name":"coq-ast","owner":"proofengineering","isFork":false,"description":"Coq plugin for printing term abstract syntax trees and their digests","allTopics":["coq","syntax-tree","digest","coq-plugin"],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":1,"starsCount":7,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-09-20T18:14:07.686Z"}}],"repositoryCount":20,"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":"proofengineering repositories"}