{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"hacl-nix","owner":"hacl-star","isFork":false,"description":"Nightly lock files for HACL*","allTopics":[],"primaryLanguage":{"name":"Nix","color":"#7e7eff"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-04T01:37:33.069Z"}},{"type":"Public","name":"hacl-star","owner":"hacl-star","isFork":false,"description":"HACL*, a formally verified cryptographic library written in F*","allTopics":["security","cryptography","high-performance","formal-methods","formal-verification","verification","verified-primitives","everest","inria","hacl"],"primaryLanguage":{"name":"F*","color":"#572e30"},"pullRequestCount":6,"issueCount":28,"starsCount":1596,"forksCount":160,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-03T13:05:26.197Z"}},{"type":"Public","name":"merkle-tree","owner":"hacl-star","isFork":false,"description":"A verified Merkle Tree, built as a standalone project on top of EverCrypt","allTopics":[],"primaryLanguage":{"name":"F*","color":"#572e30"},"pullRequestCount":1,"issueCount":8,"starsCount":6,"forksCount":5,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-21T16:24:35.323Z"}},{"type":"Public","name":"hacl-star.github.io","owner":"hacl-star","isFork":false,"description":"Website for the hacl-star project.","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-03T04:52:00.055Z"}}],"repositoryCount":4,"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"}