{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"tezos-mirror","owner":"tezos","isFork":false,"description":"Github test mirror of the Octez software. Please do not submit pull-requests here!","allTopics":["ocaml","smart-contracts","tezos","blockchain"],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":78,"forksCount":28,"license":"MIT License","participation":[279,359,231,241,306,220,133,138,165,189,265,291,267,266,218,308,278,282,277,351,307,297,310,356,288,336,52,81,174,247,256,326,444,360,422,302,337,413,376,346,183,274,258,354,203,158,246,225,242,285,229,146],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-20T15:11:47.308Z"}},{"type":"Public","name":"opam-repository","owner":"tezos","isFork":true,"description":"Clone of the public opam repository from which merge requests can be created to publish Tezos-related packages, such as Octez releases.","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1098,"license":"Creative Commons Zero v1.0 Universal","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-20T13:56:30.264Z"}},{"type":"Public","name":"tezos","owner":"tezos","isFork":false,"description":"Mirror of the release branches for Tezos, a self-amending cryptographic ledger","allTopics":["smart-contracts","blockchain","ocaml","tezos"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":22,"starsCount":1514,"forksCount":204,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-05-30T09:06:34.314Z"}},{"type":"Public","name":"optimal_stack","owner":"tezos","isFork":false,"description":"Compiler for stack manipulation in Michelson","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":14,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-12-19T17:17:18.305Z"}},{"type":"Public","name":"fundraiser-tools","owner":"tezos","isFork":false,"description":"Tolls for checking keys created in the Tezos fundraiser","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":1,"issueCount":3,"starsCount":6,"forksCount":9,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-06-19T12:27:44.628Z"}},{"type":"Public","name":"tezos-papers","owner":"tezos","isFork":false,"description":"Original position paper and white paper for Tezos","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":1,"starsCount":38,"forksCount":20,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-05-20T18:38:55.721Z"}},{"type":"Public","name":"bips","owner":"tezos","isFork":true,"description":"Bitcoin Improvement Proposals","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":5289,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-01-06T23:14:46.917Z"}},{"type":"Public","name":"zarith-benchmark","owner":"tezos","isFork":false,"description":"Benchmarking tool for Zarith (libGMP) to calibrate gas costs in Michelson","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-11-02T10:34:09.206Z"}},{"type":"Public","name":"Flex","owner":"tezos","isFork":true,"description":"The minimalist Pelican theme.","allTopics":[],"primaryLanguage":{"name":"CSS","color":"#563d7c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":337,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-08-10T04:37:52.996Z"}},{"type":"Public","name":"tezoscoq","owner":"tezos","isFork":false,"description":"working with coq and tezos","allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":5,"starsCount":28,"forksCount":9,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-07-20T15:32:38.057Z"}},{"type":"Public","name":"tezos-explorer","owner":"tezos","isFork":false,"description":"A block explorer for Tezos","allTopics":[],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":0,"issueCount":0,"starsCount":12,"forksCount":5,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-03-31T13:04:20.367Z"}},{"type":"Public","name":"irmin","owner":"tezos","isFork":true,"description":"Irmin is a distributed database that follows the same design principles as Git","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":154,"license":"ISC License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-12-05T21:38:41.942Z"}}],"repositoryCount":12,"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"}