{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"libcrux","owner":"cryspen","isFork":false,"description":"The formally verified crypto library for Rust","allTopics":["cryptography","encryption","signatures","formal-verification"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":6,"issueCount":76,"starsCount":48,"forksCount":8,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-27T16:23:34.943Z"}},{"type":"Public","name":"hacl-packages","owner":"cryspen","isFork":false,"description":"The Cryspen HACL Distribution","allTopics":["hashing","cryptography","encryption","aead","digest","hmac","hkdf","signatures","decryption","formally-verified"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":6,"issueCount":60,"starsCount":13,"forksCount":18,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-27T14:47:24.359Z"}},{"type":"Public","name":"bertie","owner":"cryspen","isFork":false,"description":"Bertie TLS 1.3 Implementation","allTopics":[],"primaryLanguage":{"name":"F*","color":"#572e30"},"pullRequestCount":2,"issueCount":25,"starsCount":109,"forksCount":3,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-27T13:37:07.697Z"}},{"type":"Public","name":"actions","owner":"cryspen","isFork":false,"description":"GitHub Actions","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-26T15:46:11.871Z"}},{"type":"Public","name":"boringssl","owner":"cryspen","isFork":true,"description":"Mirror of BoringSSL","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":2,"issueCount":0,"starsCount":0,"forksCount":733,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-23T08:01:12.929Z"}},{"type":"Public","name":"libxmtp","owner":"cryspen","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":13,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-18T22:24:06.829Z"}},{"type":"Public","name":"rust-core-spec","owner":"cryspen","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-13T13:35:04.764Z"}},{"type":"Public","name":"cryspen.github.io","owner":"cryspen","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-05T13:52:45.013Z"}},{"type":"Public","name":"atlas","owner":"cryspen","isFork":false,"description":"BMBF ATLAS project","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":1,"issueCount":15,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-05T06:51:26.872Z"}},{"type":"Public","name":"nss","owner":"cryspen","isFork":true,"description":"Read only mirror of <a href=\"https://hg.mozilla.org/projects/nss\" rel=\"nofollow\">https://hg.mozilla.org/projects/nss</a>","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":86,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-28T08:47:26.230Z"}},{"type":"Public","name":".github","owner":"cryspen","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-03T12:58:06.300Z"}},{"type":"Public","name":"utils","owner":"cryspen","isFork":false,"description":"A mono repo for utilities that are used across different places","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-19T12:50:46.077Z"}},{"type":"Public","name":"FStar","owner":"cryspen","isFork":true,"description":"A Proof-oriented Programming Language","allTopics":[],"primaryLanguage":{"name":"F*","color":"#572e30"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":232,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-11T13:01:59.839Z"}},{"type":"Public","name":"hpke-spec","owner":"cryspen","isFork":false,"description":"Annotated HPKE specification in hacspec","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":2,"issueCount":1,"starsCount":3,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-30T17:45:10.859Z"}},{"type":"Public","name":"dfinity-lob","owner":"cryspen","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-25T08:29:58.781Z"}},{"type":"Public","name":"dfinity-mini-ledger","owner":"cryspen","isFork":true,"description":"A simple ICRC-1 Rust ledger","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-31T13:06:47.207Z"}},{"type":"Public","name":"blog","owner":"cryspen","isFork":false,"description":"Cryspen Blog","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-15T09:15:30.204Z"}},{"type":"Public","name":"hacl-star","owner":"cryspen","isFork":true,"description":"HACL*, a formally verified cryptographic library written in F*","allTopics":[],"primaryLanguage":{"name":"F*","color":"#572e30"},"pullRequestCount":0,"issueCount":2,"starsCount":1,"forksCount":161,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-18T06:49:26.574Z"}},{"type":"Public archive","name":"Concordium-Free-Open-Grants-Program","owner":"cryspen","isFork":true,"description":"Concordium Free &amp; Open Grants Program aims to power innovative opensource applications in the Concordium Ecosystem. ","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":21,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-09-01T11:21:23.163Z"}},{"type":"Public","name":"hacl-star-benchmarks","owner":"cryspen","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-08-24T14:55:03.564Z"}}],"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":"Repositories"}