{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"mirage-xen","owner":"mirage","isFork":false,"description":"Xen core platform libraries for MirageOS","topicNames":["xen","ocaml","mirageos","mirage-platform"],"topicsNotShown":0,"allTopics":["xen","ocaml","mirageos","mirage-platform"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":1,"issueCount":2,"starsCount":18,"forksCount":20,"license":"ISC License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-18T11:29:43.891Z"}},{"type":"Public","name":"mirage-crypto","owner":"mirage","isFork":false,"description":"Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)","topicNames":["cryptography","aes","ocaml","rsa","sha2","mirageos","rng","dsa","dh","fortuna"],"topicsNotShown":0,"allTopics":["cryptography","aes","ocaml","rsa","sha2","mirageos","rng","dsa","dh","fortuna"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":3,"issueCount":17,"starsCount":74,"forksCount":42,"license":"ISC License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-17T08:41:54.148Z"}},{"type":"Public","name":"ocaml-solo5","owner":"mirage","isFork":false,"description":"Freestanding OCaml runtime","topicNames":["mirageos","ocaml"],"topicsNotShown":0,"allTopics":["mirageos","ocaml"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":2,"issueCount":4,"starsCount":100,"forksCount":29,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-21T10:33:42.334Z"}},{"type":"Public","name":"checkseum","owner":"mirage","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":1,"starsCount":15,"forksCount":13,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-24T11:28:43.221Z"}},{"type":"Public archive","name":"xen","owner":"mirage","isFork":false,"description":"Unofficial mirror of xenbits.xen.org/xen.git","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":1,"issueCount":1,"starsCount":74,"forksCount":67,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-29T18:06:41.025Z"}},{"type":"Public archive","name":"hacl","owner":"mirage","isFork":false,"description":"Archived. Curve25519 support has been integrated into mirage-crypto-ec (via fiat-crypto). Hacl bindings are available from the hacl-star opam package. OCaml bindings for HACL* elliptic curves","topicNames":["cryptography","ocaml","elliptic-curves","verified","f-star"],"topicsNotShown":0,"allTopics":["cryptography","ocaml","elliptic-curves","verified","f-star"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":1,"issueCount":5,"starsCount":21,"forksCount":6,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-04-23T15:16:45.236Z"}},{"type":"Public archive","name":"fiat","owner":"mirage","isFork":false,"description":"Archived, now integrated into mirage-crypto-ec (please use that and report issues there) -- Cryptographic primitives taken from Fiat","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":1,"issueCount":3,"starsCount":8,"forksCount":5,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-04-23T15:13:54.861Z"}},{"type":"Public archive","name":"mirage-platform","owner":"mirage","isFork":false,"description":"Archived, see <a href=\"https://github.com/mirage/mirage/issues/1159\">https://github.com/mirage/mirage/issues/1159</a> for details. Old: Core platform libraries for Mirage (UNIX and Xen). This provides the `OS` library which handles timers, device setup and the main loop, as well as the runtime for the Xen unikernel.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":77,"forksCount":45,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-08-07T14:12:18.616Z"}},{"type":"Public archive","name":"mini-os","owner":"mirage","isFork":false,"description":"Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":5,"starsCount":63,"forksCount":23,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-03-22T16:42:17.692Z"}},{"type":"Public","name":"yuscii","owner":"mirage","isFork":false,"description":"UTF-7 decoder to Unicode","topicNames":["utf8","rfc2151","utf7"],"topicsNotShown":0,"allTopics":["utf8","rfc2151","utf7"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":7,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-03-14T10:32:44.354Z"}}],"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":"Repositories"}